Login / Signup
On supervisory policies that enforce liveness in completely controlled Petri nets with directed cut-places and cut-transitions.
Ramavarapu S. Sreenivas
Published in:
IEEE Trans. Autom. Control. (1999)
Keyphrases
</>
petri net
discrete event systems
petri net model
manufacturing systems
colored petri nets
concurrent systems
high level petri nets
decision making
multi agent systems
knowledge acquisition
computer systems
knowledge based systems
service composition
ims ld
fuzzy petri net
discrete dynamical systems