A deadlock prevention method for railway networks using monitors for colored Petri nets

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 2, Issue , 2003, Pages 1866-1873

  Fanti, Maria Pia ^a   Giua, Alessandro ^b   Seatzu, Carla ^b  

^a POLITECNICO DI BARI   (Italy)

^b UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

Colored Petri nets; Deadlock prevention; Railway network system control

Indexed keywords

COLLISION AVOIDANCE; CONSTRAINT THEORY; MATHEMATICAL MODELS; PETRI NETS; RAILROAD TRAFFIC CONTROL; RAILROAD TRANSPORTATION;

COLORED PETRI NETS; DEADLOCK PREVENTION; RAILWAY NETWORK SYSTEM CONTROL;

CONTROL SYSTEM SYNTHESIS;

EID: 0242576235     PISSN: 08843627     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. B. De Schutter, T. van den Boom, "Model predictive control for railway networks," 2001 IEEE/ASME Int. Conf. on Advanced Intelligent Mechatronics, Como, Italy, July 2001.
2. A.A. Desrochers, R.Y. Al-Jaar, Applications of Petri nets in manufacturing systems, New York, IEEE Press, 1995.
3. J. Ezpeleta, J.M. Colom, J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems", IEEE Trans. on Robotics and Automation, Vol. 11, No. 2, pp. 173-184, 1995.
4. M.P. Fanti, B. Maione, S. Mascolo, B. Turchiano, "Control policies conciliating deadlock avoidance and flexibility in FMS resource allocation," ETFA95, INRIA/IEEE Symp. on Emerging Technologies and Factory Automation, Paris, France, October 1995.
5. M.P. Fanti, B. Maione, S. Mascolo, B. Turchiano, "Event based feedback control for deadlock avoidance in flexible production systems", IEEE Trans. on Robotics and Automation, Vol. 13, No. 3, pp. 347-363, 1997.
6. M.P. Fanti, B. Maione, B. Turchiano, "Deadlock avoidance in flexible production systems with multiple capacity resources", Studies in Informatics and Control, Vol. 7, No. 4, pp. 343-364, 1998.
7. M.P. Fanti, A. Giua, C. Seatzu, "A deadlock prevention method for railway networks using monitors for colored Petri nets," 2003 IEEE Int. Conf. on Systems, Man and Cybernetics, Washington, USA, October 2003.
8. 2PR Petri nets," Int. Workshop on Discrete Event Systems, WODES02, Zaragoza, Spain, October 2002.
9. F. Harary, R.Z. Norman, D. Cartwright, Structural models: an introduction to the theory of directed graphs, John Wiley & Sons, Inc. New York, 1965.
10. K. Jensen, Colored Petri nets: basic concepts, analysis methods and practical use, Vol. 1, New York Springer, 1992.
11. M. Missikoff, "An object-oriented approach to an information and decision support systems for railway traffic control," Emerging Application of Artificial Intelligence, Vol. 11, pp. 25-40, 1998.
12. E.A.G. Weits, "Simulation of railway traffic control," Int. Trans. Operational Research, Vol. 5, No. 6, pp. 461-469, 1998.