Login / Signup
On supervisory policies that enforce liveness in a class of completely controlled Petri nets obtained via refinement.
Ramavarapu S. Sreenivas
Published in:
IEEE Trans. Autom. Control. (1999)
Keyphrases
</>
petri net
discrete event systems
manufacturing systems
high level petri nets
petri net model
colored petri nets
stochastic petri net
discrete dynamical systems
neural network
ims ld
process model
service composition
concurrent systems