Modeling and supervisory control of railway networks using petri nets

IEEE Transactions on Automation Science and Engineering

Volumn 5, Issue 3, 2008, Pages 431-445

  Giua, Alessandro ^a,b   Seatzu, Carla ^a,b  

^a IEEE

^b UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

Liveness; Monitors; Petri nets; Railway networks; Supervisory control

Indexed keywords

CONTROL SYSTEMS; GRAPH THEORY; MARINE BIOLOGY; PETRI NETS; RAILROADS; RAILS; SCADA SYSTEMS;

(E ,2E) THEORY; (EXTENDED) PETRI NETS; DETAILED MODELS; DISCRETE EVENT SYSTEMS (DESS); LIVENESS; MODULAR REPRESENTATIONS; MUTUAL EXCLUSIONS; RAILWAY NETWORKS; SUPERVISORY CONTROL;

SENSOR NETWORKS;

EID: 46849106091     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2008.916925     Document Type: Article

References (43)

1. K. Barkaoui and I. ben Abdallah, "A deadlock prevention method for a class of FMS," in Proc. 1995 IEEE Int. Conf. Syst., Man, Cybern., Vancouver, BC, Canada, 1995, pp. 4119-1124.
2. K. Barkaoui. A. Chaoui, and B. Zouari, "Supervisory control of discrete event systems based on structure theory of Petri nets," in Proc. 1997 IEEE Int. Conf. Syst., Man, Cybern., Orlando. FL. 1997, pp. 3750-3755.
3. F. Basile, P. Chiacchio. A. Giua, and C. Seatzu, "Deadlock recovery of controlled Petri net models using observers," in Proc. 8th IEEE Int. Conf. Emerging Technol. Factory Autom., Antibes, France, Oct. 2001, pp. 441-449.
4. J. Billington, "Many-sorted high-level nets," in Proc. 3rd Int. Work. Petri Nets and Performance Models, Kyoto. Japan, 1989, pp. 166-179.
5. I. Britton, "Links galore-Railroad/railway links," 2000. [Online]. Available: http://www.britton2000.com/links/railroad.htm
6. D. Bromage, "Railpage: Information on Australian railways," 2002. [Online]. Available: http://www.railpage.org.au
7. Commission of the European Communities, White Paper on "European transport policy for 2010: Time to decide." Dec. 9, 2001, COM (2001) 370.
8. F. Chu and X. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming," IEEE Trans. Robot. Autom., vol. 13, no. 6, pp. 793-804, 1997.
9. G. Decknatel and E. Schnieder, "Modelling railway systems with hybrid Petri nets," in Proc. 3rd Int. Conf. Autom. Mixed Process., Reims, France, Mar. 1998, pp. 309-315.
10. F. Diana, A. Giua. and C. Seatzu, "Safeness-enforcing supervisory control for railway networks," in Proc. 2001 IEEE/ASME Int. Conf Adv. Intell. Mechatronics, Como. Italy, Jul. 2001, pp. 99-104.
11. A. Di Febbraro and A. Ferrara, "A new two-level model for multiclass freeway traffic," IEEE Trans. Veh. Technol., pp. 189-200, 1996.
12. J. Ezpeleta, J. M. Colom, and J. Martínez, "A Petri net based deadlock prevention policy for flexible manufacturing systems." IEEE Trans. Robot. Autom., vol. 11, no. 2, pp. 173-184, Apr. 1995.
13. M. P. Fanti and M. Zhou, "Deadlock control methods in automated manufacturing systems," IEEE Trans. Syst., Man, Cybern., Part A: Syst. Humans, vol. 34, no. 1, pp. 5-22, Jan. 2004.
14. M. P. Fanti, A. Giua, and C. Seatzu, "Monitor design for colored Petri nets: An application to deadlock prevention in railway networks," Control Engineering Practice, vol. 14, no. 10, pp. 1231-1247, Oct. 2006.
15. H. J. Genrich, "Predicate/Transition nets," in Advances in Petri Nets, Lecture Notes in Computer Science, W. Brauer, W. Reisig, and G. Rozenberg, Eds. Berlin, Germany: Springer-Verlag, 1987, vol. 254, 255.
16. A. Giua, F. DiCesare, and M. Silva. "Generalized mutual exclusion constraints for nets with uncontrollable transitions," in Proc. IEEE Int. Conf. Syst., Man, Cybern., Chicago, IL, Oct. 1992, pp. 974-979.
17. 2 PR Petri nets," in Proc. WODES02: 6th Int. Work. Discrete Event Syst., Zaragoza, Spain, Oct. 2002, pp. 55-60.
18. G. Guerre-Chaley, "Conception et réalisation d'un simulateur de réseaux de Petri continus et hybrides pour l'évaluation de performances des systmes discrets et/ou continus," CNAM dissertation, Conservatoire National des Arts et Métiers, Grenoble, France, Apr. 1997.
19. L. E. Holloway, B. H. Krogh, and A. Giua, "A survey of Petri net methods for controlled discrete event systems." Discrete Event Syst., vol. 7, pp. 151-190, 1997.
20. P. G. Howlett and P. J. Pudney, Energy Efficient Train Control, Advances in Industrial Control, Berlin, Germany: Springer-Verlag, 1995.
21. M. V. Iordache, J. O. Moody, and P. J. Antsaklis, "Synthesis of deadlock prevention supervisors using Petri nets," IEEE Trans. Robot. Autom., vol. 18, no. 1, pp. 59-68, Feb. 2002.
22. C. W. Janczura, "Modelling and analysis of railway network control logic using colored Petri nets," Ph.D. dissertation, Univ. South Australia, South Australia, Australia. Aug. 1998.
23. N. G. Levson and J. L. Stolzy, "Safety analysis using Petri nets," IEEE Trans. Softw. Eng., vol. 13, no. 3, pp. 386-397, 1987.
24. Z. Li and M. C. Zhou, "Elementary siphons of petri nets and their applications to deadlock prevention in flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern., vol. 34, no. 1, pp. 38-51, 2004.
25. A. Moen Hagalisletto and I. C. Yu, "Large scale construction of railroad models from specifications," in Proc. IEEE Int. Conf. Syst., Man, Cybern., Den Haag. Holland, 2004, pp. 6212-6219.
26. J. O. Moody, K. Yamalidou, M. D. Lemmon, and P. J. Antsaklis, "Feedback control of Petri nets based on place invariants," Automatica, vol. 32, no. 1, pp. 15-28, Jan. 1996.
27. J. O. Moody and P. J. Antsaklis, Supervisory Control of Discrete Event Systems Using Petri Nets. Norwell, MA: Kluwer, 1998.
28. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
29. T. K. S. Murthy, L. S. Laurence, and R. E. Rivier, Eds., Computers in Railways Management. Berlin, Germany: Springer-Verlag, 1987.
30. T. K. S. Murthy, F. E. Young, S. Lehmann, and W. R. Smith, Eds., Computers in Railways Installations, Track and Signalling. Berlin, Germany: Springer-Verlag. 1987.
31. O. S. Nock, Hystoric Railway Disasters. London, U.K.: Ian Allan, 1983.
32. X. Ren and M. C. Zhou, "Tactical scheduling of rail operations: A Petri net approach," in Proc. IEEE Int. Conf. Syst., Man., Cybern., Vancouver, BC, Canada, 1995, pp. 3087-3092.
33. J. Pachl, Railway Operation and Control. Mountlake Terrace, USA: VTD Rail Publishing, 2002.
34. J. Park and S. A. Reveliotis, "Algebraic sinthesis of efficient deadlock avoidance policies for sequential resource allocation systems." IEEE Trans. Robot. Autom., vol. 16, no. 2, pp. 190-195, 2000.
35. J. Park and S. A. Reveliotis, "Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings," IEEE Trans. Autom. Control, vol. 46, no. 10, pp. 1572-1583, 2001.
36. J. Park and S. A. Reveliotis, "Liveness-enforcing supervision for resource allocation systems with uncontrollable behavior and forbidden states," IEEE Trans. Robot. Autom., vol. 18, no. 2, pp. 234-240, 2002.
37. V. A. Profillidis, Railway Engineering 1995, Avebury Technical.
38. P. J. Ramadge and W. M. Wonham, "Control of discrete-event systems," Proc. IEEE, vol. 77, no. 1, pp. 81-98, Jan. 1989.
39. S. A. Reveliotis, "Conflict resolution in AGV systems," IIE Trans., vol. 32, no. 7, pp. 647-659, 2000.
40. F. Tricas, F. García-Vallés, J. M. Colom, and J. Ezpeleta, "A structural approach to the problem of deadlock prevention in processes with resources," in Proc. WODES98: 4th Int. Work. Discrete Event Syst., Cagliari, Italy, Aug. 1998, pp. 273-278.
41. F. Tricas, F. García-Vallés, J. M. Colom, and J. Ezpeleta, A partial approach to the problem of deadlocks in processes with resources Dept. de Informática e Ingegnería de Sistemas-Univ. de Zaragoza, Tech. Rep. GISI-RR-97-05, Sep. 1997.
42. F. Tricas, J. M. Colom, and J. Ezpeleta. "A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming," in Proc. 11th Eur. Simulation Symp., Erlangen. Germany, Oct. 1999, pp. 542-546.
43. N. Q. Wu and M. C. Zhou, "Deadlock modeling and control of automated guided vehicle systems," IEEE/ASME Trans. Mechatronics, vol. 9, no. 1, pp. 50-57, 2004.