Synthesis of Petri nets from infinite partial languages.

Robin Bergenthum Jörg Desel Robert Lorenz Sebastian Mauser

Published in: ACSD (2008)

Keyphrases

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