On reachability graphs of Petri nets.

Xinming Ye Jiantao Zhou Xiaoyu Song

Published in: Comput. Electr. Eng. (2003)

Keyphrases

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