Login / Signup
Yasuwo Hasegawa
Publication Activity (10 Years)
Years Active: 2012-2014
Publications (10 Years): 0
Top Topics
Process Model
Petri Net
Reactive Systems
State Machine
Top Venues
IEICE Trans. Inf. Syst.
PNSE
</>
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
,
Yasuwo Hasegawa
A Petri Net Approach to Synthesize Intelligible State Machine Models from Choreography.
PNSE
(2012)