On a minimally restrictive supervisory policy that enforces liveness in partially controlled free choice Petri nets.

Ramavarapu S. Sreenivas

Published in: CDC (2000)

Keyphrases

petri net
discrete event systems
petri net model
manufacturing systems
colored petri nets
control system
state machines
service composition
discrete dynamical systems
fuzzy petri net
ims ld
optimal policy
stochastic petri net
real time
knowledge acquisition
state space
expert systems