On Distributability of Petri Nets - (Extended Abstract).

Rob J. van Glabbeek Ursula Goltz Jens-Wolfhard Schicke-Uffmann

Published in: FoSSaCS (2012)

Keyphrases

extended abstract
petri net
petri net model
manufacturing systems
discrete event systems
high level petri nets
stochastic petri net
fuzzy petri net
colored petri nets
concurrent systems
ims ld
state machines
temporal logic