SYNOPS - Generation of Partial Languages and Synthesis of Petri Nets.

Robert Lorenz Markus Huber Christoph Etzel Dan Zecha

Published in: PNSE (2012)

Keyphrases

petri net
petri net model
manufacturing systems
discrete event systems
colored petri nets
fuzzy petri net
high level petri nets
ims ld
state machines
concurrent systems
artificial intelligence
process model
service composition
discrete dynamical systems
programmable logic controller