Property-Preserving Generation of Tailored Benchmark Petri Nets.

Bernhard Steffen Marc Jasper Jeroen Meijer Jaco van de Pol

Published in: ACSD (2017)

Keyphrases

petri net
discrete event systems
petri net model
high level petri nets
manufacturing systems
ims ld
colored petri nets
process model
fuzzy petri net
stochastic petri net
discrete dynamical systems
decision making
state machines
natural language
sequence diagrams
programmable logic controller