Encoding Asynchronous Interactions Using Open Petri Nets.

Paolo Baldan Filippo Bonchi Fabio Gadducci

Published in: CONCUR (2009)

Keyphrases

petri net
state machines
discrete event systems
petri net model
manufacturing systems
high level petri nets
fuzzy petri net
colored petri nets
process model
service composition
ims ld
sequence diagrams
discrete dynamical systems
concurrent systems
state machine
neural network
knowledge acquisition
genetic algorithm