Non-reachability in Petri Nets with Delaying Places.

Matthias Werner Gero Mühl

Published in: MASCOTS (2006)

Keyphrases

petri net
petri net model
high level petri nets
discrete event systems
manufacturing systems
colored petri nets
state space
fuzzy petri net
stochastic petri net
service composition
discrete dynamical systems
rough sets
ims ld
decision making