Towards a Standard for Modular Petri Nets: A Formalisation.

Ekkart Kindler Laure Petrucci

Published in: Petri Nets (2009)

Keyphrases

petri net
discrete event systems
petri net model
manufacturing systems
high level petri nets
service composition
state machines
fuzzy petri net
process model
colored petri nets
stochastic petri net
ims ld
knowledge acquisition
sequence diagrams
programmable logic controller