Liveness enforcing supervisors for railway networks using ES2PR Petri nets

Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002

Volumn , Issue , 2002, Pages 55-60

  Giua, A ^a   Seatzu, C ^a  

^a UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS; RAILROADS; SIPHONS; SUPERVISORY PERSONNEL;

CLOSED LOOPS; HIGH LEVEL DESCRIPTION; LIVENESS CONSTRAINTS; LIVENESS-ENFORCING SUPERVISOR; MONITOR PLACES; RAILWAY NETWORK; SIMPLE TESTS;

DISCRETE EVENT SIMULATION;

EID: 33846150297     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WODES.2002.1167669     Document Type: Conference Paper

References (15)

1. K. Barkaoui, I. Ben Abdallah, "A deadlock prevention method for a class of FMS, " 1995 IEEE Int. Conf. on Systems, Man and Cybernetics, pp. 4119-4124, (Vauncouver, Canada) 1995.
2. K. Barkaoui, A. Chaoui, B. Zouari, "Supervisory control of discrete event systems using structure theory of Petri nets , " 1997 IEEE Int. Conf. on Systems, Man and Cybernetics, pp. 3750-3755, (Orlando, USA) 1997.
3. F. Basile, P. Chiacchio, A. Giua, C. Seatzu, "Deadlock recovery of controlled Petri net models using observers, " 8th IEEE Int. Conf. on Emerging Technologies and Factory Automation, pp. 441-449, (Antibes, France) October 2001.
4. F. Chu, X. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming, " IEEE Trans. on Robotics and Automation, Vol. 13, No. 6, pp. 793-804, 1997.
5. F. Diana, A. Giua, C. Seatzu "Safeness enforcing supervisory control for railway networks, " 2001 IEEE/ASME Int. Conf. on Adv. Intell. Mechatronics (Como, Italy), pp. 99-104, July 2001.
6. J. Ezpeleta, J.M. Colom, J. Martńez, "A Petri net based deadlock prevention policy for flexible manufacturing systems, " IEEE Trans. on Robotics and Automation, Vol. 11, No. 2, pp. 173-184, April 1995.
7. A. Giua, F. DiCesare, M. Silva, "Generalized Mutual Exclusion Constraints for Nets with Uncontrollable Transitions", Proc. IEEE Int. Conf. on Systems, Man & Cybernetics (Chicago, USA), pp. 974-979, October 1992.
8. A. Giua, C. Seatzu "Supervisory control of railway networks with Petri nets, " 40th IEEE Conf. on Decision and Control (Orlando, USA), pp. 5004-5009, December 2001.
9. L. E. Holloway, B. H. Krogh, A. Giua, "A survey of Petri net nethods for controlled discrete event systems", Discrete Event Systems, Vol. 7, pp. 151-190, 1997.
10. M. V. Iordache, J. O. Moody and P. J. Antsaklis, "Automated synthesis of deadlock prevention supervisors using Petri nets", ISIS Techinical Report ISIS 2000-003, May 2000.
11. C.W. Janczura, "Modelling and analysis of railway network control logic using coloured Petri nets, " Ph.D. Thesis, University of South Australia, August 1998.
12. J.O. Moody, P.J. Antsaklis, "Supervisory control of discrete event systems using Petri nets, " Kluwer Academic Publ., 1998.
13. T. Murata, "Petri nets: properties, analysis and applications, " Proc. of the IEEE, Vol. 77, N. 4, pp. 541-580, April 1989.
14. J. Park, S.A. Reveliotis, "Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings, " IEEE Trans. on Automatic Control, Vol. 46, No. 10, pp. 1572-1583, 2001.
15. F. Tricas, F. Garcá-Vallés, J.M. Colom, J. Ezpeleta, "A structural approach to the problem of deadlock prevention in process with resources, " Proc. WODES98: 4th Int. Work. on Discrete Event Systems (Cagliari, Italy), pp. 273-278, August 1998.