Login / Signup
Hiroyuki Oimura
Publication Activity (10 Years)
Years Active: 2013-2014
Publications (10 Years): 0
Top Topics
State Machine
Petri Net
Reactive Systems
Fault Tolerant
Top Venues
IEICE Trans. Inf. Syst.
PNSE+ModPE
</>
Publications
</>
Toshiyuki Miyamoto
,
Yasuwo Hasegawa
,
Hiroyuki Oimura
An Approach for Synthesizing Intelligible State Machine Models from Choreography Using Petri Nets.
IEICE Trans. Inf. Syst.
(5) (2014)
Toshiyuki Miyamoto
,
Hiroyuki Oimura
A Tool to Synthesize Intelligible State Machine Models from Choreography using Petri Nets.
PNSE+ModPE
(2013)