On Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets.

Chen Chen Arun Raman Hesuan Hu Ramavarapu S. Sreenivas

Published in: IEEE Trans. Autom. Control. (2020)

Keyphrases

petri net
petri net model
discrete event systems
service composition
control system
manufacturing systems
colored petri nets
stochastic petri net
optimal policy
ims ld
fuzzy petri net
discrete dynamical systems
genetic algorithm
low cost
state machines
concurrent systems