Reachability in Petri Nets with Inhibitor Arcs.

Klaus Reinhardt

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

petri net
petri net model
manufacturing systems
state space
discrete event systems
colored petri nets
service composition
high level petri nets
ims ld
fuzzy petri net
state machines
concurrent systems
stochastic petri net
discrete dynamical systems
web services