On supervisory policies that enforce liveness in controlled Petri nets that are similar.

E. Salimi N. Somnath Ramavarapu S. Sreenivas

Published in: RAM/CIS (2015)

Keyphrases

petri net
petri net model
discrete event systems
high level petri nets
manufacturing systems
colored petri nets
fuzzy petri net
process model
state machines
optimal policy
ims ld
control system
concurrent systems
decision making
discrete dynamical systems
stochastic petri net
neural network