Deadlock recovery of Petri net models controlled using observers

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Volumn 2, Issue , 2001, Pages 441-449

  Basile, Francesco ^a   Chiacchio, Pasquale ^a   Giua, Alessandro ^b   Seatzu, Carla ^b  

^a UNIVERSITY OF NAPLES FEDERICO II   (Italy)

^b UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DEADLOCK RECOVERY; GENERALIZED MUTUAL EXCLUSION CONSTRAINT; LINEAR ALGEBRAIC TECHNIQUE; SIPHON ANALYSIS;

ALGORITHMS; CLOSED LOOP CONTROL SYSTEMS; COMPUTER SYSTEM RECOVERY; CONSTRAINT THEORY; LINEAR EQUATIONS; MATHEMATICAL MODELS; PETRI NETS; STATE FEEDBACK; THEOREM PROVING;

FEEDBACK CONTROL;

EID: 0035557365     PISSN: 19460740     EISSN: 19460759     Source Type: Journal    
DOI: 10.1109/ETFA.2001.997718     Document Type: Article

References (17)

1. Petri nets with uncertain markings
2. Deadlock analysis of petri nets using siphons and mathematical programming
3. Predicates and predicate transformers for supervisory control of discrete event dynamical systems
4. Control and error recovery of petri net models with event observers
5. Generalized mutual exclusion constraints on nets with uncontrollable transitions
6. Petri net state estimators based on event observation
7. Observability properties of petri nets
8. Controllability and observability in the state-feedback control of discrete-event systems
9. Control of vector discrete-event systems - Part I: The base model
10. Control of vector discrete-event systems - Part II: Controller synthesis
11. Petri nets: Properties, analysis and applications
12. On the computation of structural synchronic invariants in P/T nets
13. Static-state feedback control of discrete-event systems under partial observation
14. Feedback control of petri nets based on place invariants
15. Forbidden state avoidance in controlled petri nets under partial observation