Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri Nets.
Arun RamanRamavarapu S. SreenivasPublished in: Autom. (2021)
Keyphrases
- discrete event systems
- petri net
- failure diagnosis
- petri net model
- timed petri nets
- manufacturing systems
- colored petri nets
- control system
- optimal policy
- state machines
- fuzzy petri net
- complex systems
- service composition
- model based diagnosis
- knowledge based systems
- concurrent systems
- concurrent processes
- stochastic petri net