Decidable Problems on the Strong Connectivity of Petri Net Reachability Sets.

Toshiro Araki Tadao Kasami

Published in: Theor. Comput. Sci. (1977)

Keyphrases

petri net
discrete event systems
neural network
manufacturing systems
service composition
petri net model
decision making
e learning
state space
transitive closure
polynomial hierarchy