Supervisory control of railway networks with Petri nets

Proceedings of the IEEE Conference on Decision and Control

Volumn 5, Issue , 2001, Pages 5004-5009

  Giua, Alessandro ^a   Seatzu, Carla ^a  

^a UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

GENERALIZED MUTUAL EXCLUSION CONSTRAINTS; GLOBAL DEADLOCK AVOIDANCE; RAILWAY CONTROL LOGIC; SELF-LOOPS; SUPERVISORY CONTROL;

ACCIDENT PREVENTION; COLLISION AVOIDANCE; COMPUTER SIMULATION; CONSTRAINT THEORY; CONTROL SYSTEM ANALYSIS; HEURISTIC METHODS; MATHEMATICAL MODELS; PETRI NETS; RAILROAD ACCIDENTS; RAILROADS; SCADA SYSTEMS;

CONTROL SYSTEM SYNTHESIS;

EID: 84872634191     PISSN: 01912216     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. Deadlock recovery of controlled Petri net models using observers
2. Many-sorted high-level nets
3. Deadlock analysis of Petri nets using siphons and mathematical programming
4. Modelling railway systems with hybrid Petri nets
5. Safeness-enforcing supervisory control for railway networks
6. A new two-level model for multiclass freeway traffic
7. Predicate/transition nets
8. Generalized mutual exclusion constraints for nets with uncontrollable transitions
9. Conception et réalisation d'un simulateur de réseaux de Petri continus et hybrides pour l'evaluation de performances des systmes discrets et/ou continus
10. A survey of Petri net method for controlled discrete event systems
11. Automated synthesis of deadlock prevention supervisors using Petri nets
12. Modelling and analysis of railway network control logic using coloured Petri nets
13. Safety analysis using Petri nets
14. Feedback control of Petri nets based on place invariants
15. Supervisory control of discrete event systems using Petri nets
16. Petri nets: Properties, analysis and applications
17. Control of discrete-event systems
18. A structural approach to the problem of deadlock prevention in process with resources