Petri Nets, Event Structures and Algebra.

Published in: Formal Models, Languages and Applications (2007)

Keyphrases

petri net
discrete event systems
petri net model
high level petri nets
manufacturing systems
service composition
colored petri nets
fuzzy petri net
ims ld
state machines
sequence diagrams
programmable logic controller
neural network
information processing
concurrent systems
discrete dynamical systems