An Approach for Synthesizing Intelligible State Machine Models from Choreography Using Petri Nets
An Approach for Synthesizing Intelligible State Machine Models from Choreography Using Petri Nets
复制标题
一种使用 Petri 网从编排中合成可理解状态机模型的方法
DOI：
10.1587/transinf.e97.d.1171
复制
发表时间：
2014
影响因子：
0.7
通讯作者：
and Hiroyuki Oimura
中科院分区：
文献类型：
--
作者：
Toshiyuki Miyamoto;Yasuwo Hasegawa;and Hiroyuki Oimura
