Equality of languages coincides with isomorphism of reachable state graphs for bounded and persistent Petri nets.

Philippe Darondeau

Published in: Inf. Process. Lett. (2005)

Keyphrases

petri net
petri net model
discrete event systems
manufacturing systems
graph theory
service composition
graph search
graph isomorphism
colored petri nets
stochastic petri net
concurrent systems
expert systems
state machines
subgraph isomorphism
fuzzy petri net
neural network
discrete dynamical systems