C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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