Login / Signup
On a Decidable Class of Partially Controlled Petri Nets With Liveness Enforcing Supervisory Policies.
R. S. Sreenivas
Published in:
IEEE Trans. Syst. Man Cybern. Syst. (2013)
Keyphrases
</>
petri net
petri net model
discrete event systems
manufacturing systems
service composition
state machines
fuzzy petri net
ims ld
concurrent systems
knowledge acquisition
colored petri nets
neural network
fuzzy rules
discrete dynamical systems
programmable logic controller