A Petri Net Approach to Synthesize Intelligible State Machine Models from Choreography.

Toshiyuki Miyamoto Yasuwo Hasegawa

Published in: PNSE (2012)

Keyphrases

petri net
state machine
state machines
stochastic petri net
process model
manufacturing systems
colored petri nets
discrete event systems
knowledge representation
complex systems
finite state machines
relational databases
learning process
web service composition
reactive systems
fuzzy petri net