Login / Signup
On the Existence of Supervisory Policies That Enforce Liveness in Partially Controlled Free-Choice Petri Nets.
R. S. Sreenivas
Published in:
IEEE Trans. Autom. Control. (2012)
Keyphrases
</>
petri net
manufacturing systems
discrete event systems
petri net model
service composition
colored petri nets
control system
fuzzy petri net
stochastic petri net
ims ld
state machines
discrete dynamical systems
neural network
concurrent systems
simulation model
low cost
learning environment
knowledge base