Analyzing Reachability for Some Petri Nets With Fast Growing Markings.

M. Praveen Kamal Lodaya

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

Keyphrases

petri net
manufacturing systems
high level petri nets
colored petri nets
discrete event systems
service composition
petri net model
state machines
state space
ims ld
concurrent systems
stochastic petri net
process model
fuzzy petri net
artificial intelligence
low cost
concurrent processes
discrete dynamical systems