Login / Signup
An Approach for Synthesizing Intelligible State Machine Models from Choreography Using Petri Nets.
Toshiyuki Miyamoto
Yasuwo Hasegawa
Hiroyuki Oimura
Published in:
IEICE Trans. Inf. Syst. (2014)
Keyphrases
</>
petri net
state machines
state machine
colored petri nets
stochastic petri net
finite state machines
discrete event systems
complex systems
process model
manufacturing systems
reactive systems
cellular automata
fault tolerant
discrete dynamical systems