A Tool to Synthesize Intelligible State Machine Models from Choreography using Petri Nets.

Toshiyuki Miyamoto Hiroyuki Oimura

Published in: PNSE+ModPE (2013)

Keyphrases

petri net
state machines
state machine
stochastic petri net
manufacturing systems
discrete event systems
finite state machines
colored petri nets
petri net model
complex systems
reactive systems
neural network
data analysis
knowledge based systems
process model
embedded real time systems