Generating Benchmarks by Random Stepwise Refinement of Petri Nets.

Kees M. van Hee Zheng Liu

Published in: ACSD/Petri Nets Workshops (2010)

Keyphrases

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