Monitor design for colored Petri nets: An application to deadlock prevention in railway networks

Control Engineering Practice

Volumn 14, Issue 10, 2006, Pages 1231-1247

  Fanti, M P ^a   Giua, A ^b   Seatzu, C ^b  

^a POLITECNICO DI BARI   (Italy)

^b UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

Colored Petri nets; Deadlock prevention; Generalized mutual exclusion constraints; Monitor places; Railway networks

Indexed keywords

COMPUTER SIMULATION; CONSTRAINT THEORY; MONITORING; PETRI NETS; RAILROAD STATIONS; RAILROAD TRACKS;

COLORED PETRI NETS; DEADLOCK PREVENTION; GENERALIZED MUTUAL EXCLUSION CONSTRAINTS; MONITOR PLACES; RAILWAY NETWORKS;

RAILROAD TRANSPORTATION;

COMPUTER SIMULATION; CONSTRAINT THEORY; MONITORING; PETRI NETS; RAILROAD STATIONS; RAILROAD TRACKS; RAILROAD TRANSPORTATION;

EID: 33744939477     PISSN: 09670661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.conengprac.2006.02.007     Document Type: Article

References (31)

1. Banaszak Z.A., and Krogh B.H. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Transactions on Robotics and Automation 6 6 (1990) 724-734
2. Britton, I. (2000). Links galore-railroad/railway links. 〈http://www.britton2000.com/links/railroad.htm〉.
3. Bromage, D. (2002). Railpage: Information on Australian railways. 〈http://www.railpage.org.au〉.
4. Commission of the European Communities. (2001). European transport policy for 2010: Time to decide. White Paper COM (2001) 370, 12/09/2001.
5. De Schutter, B., & van den Boom, T. (2001). Model predictive control for railway networks. 2001 IEEE/ASME international conference on advanced intelligent mechatronics. Como, Italy, July 2001.
6. Ezpeleta J., Colom J.M., and Martinez J. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation 11 2 (1995) 173-184
7. Fanti, M. P., Giua, A., & Seatzu, C. (2003a). A deadlock prevention method for railway networks using monitors for colored Petri nets. 2003 IEEE international conference on systems, man and cybernetics (pp. 1866-1873). Washington, USA, October 2003.
8. Fanti, M. P., Giua, A., & Seatzu, C. (2003b). Generalized mutual exclusion constraints and monitors for colored Petri nets. 2003 IEEE international conference on systems, man and cybernetics (pp. 1860-1865). Washington, USA, October 2003.
9. Fanti M.P., Maione B., Mascolo S., and Turchiano B. Event based feedback control for deadlock avoidance in flexible production systems. IEEE Transactions on Robotics and Automation 13 3 (1997) 347-363
10. Fanti M.P., Maione B., and Turchiano B. Deadlock avoidance in flexible production systems with multiple capacity resources. Studies in Informatics and Control 7 4 (1998) 343-364
11. Giua, A., DiCesare, F., & Silva, M. (1992). Generalized mutual exclusion constraints for nets with uncontrollable transitions. IEEE international conference on systems, man and cybernetics (pp. 974-979). Chicago, USA, October 1992.
12. 2PR Petri nets. International workshop on discrete event systems, sixth international workshop on discrete event systems (pp. 361-366). Zaragoza, Spain, October 2002.
13. Giua, A., & Seatzu C. (2004). Monitor design for Colored Petri nets with uncontrollable and unobservable transitions. International workshop on discrete event systems, seventh international workshop on discrete event systems. Reims, France, September 2004.
14. Harary F., Norman R.Z., and Cartwright D. Structural models: An introduction to the theory of directed graphs (1965), Wiley, New York
15. Holloway L.E., Krogh B.H., and Giua A. A survey of Petri net methods for controlled discrete event systems. Discrete Event Dynamic Systems: Theory and Application 7 2 (1997) 151-190
16. Howlett, P. G., & Pudney, P. J. (1995). Energy efficient train control. Advances in Industrial Control. Berlin: Springer.
17. Iordache M.V., Moody J.O., and Antsaklis P.J. Synthesis of deadlock prevention supervisors using Petri nets. IEEE Transactions on Robotics and Automation 18 1 (2002) 59-68
18. Janczura, C. W. (1998). Modelling and analysis of railway network control logic using coloured Petri nets. Ph.D. thesis, University of South Australia.
19. Jensen, K. (1992). Coloured Petri nets. Basic concepts, analysis methods and practical use. Vol. 1: Basic concepts, EATCS monographs on theoretical computer science. Berlin: Springer.
20. Jensen, K. (1994). Coloured Petri Nets. Basic concepts, analysis methods and practical use. Vol. 2: Analysis methods, EATCS monographs on theoretical computer science. Berlin: Springer.
21. Moody J.O., and Antsaklis P.J. Supervisory control of discrete event systems using Petri nets (1998), Kluwer, Dordrecht
22. Murata T. Petri nets: Properties analysis and applications. Proceedings of the IEEE 77 4 (1989) 541-580
23. Murthy, T. K. S., Laurence, L. S., & Rivier, R. E. (Eds.). (1987a). Computers in railways management. Berlin: Springer.
24. Murthy, T. K. S., Young, F. E., Lehmann, S., Smith, W. R. (Eds.). (1987b). Computers in railways installations, track and signalling. Berlin: Springer.
25. Nock, O. S. (1967). Hystoric railway disasters. Ian Allan.
26. Profillidis, V. A. (1995). Railway engineering. Avebury Technical.
27. Reingold E.M., Nievergelt J., and Deo N. Combinatorial algorithms. Theory and practice (1977), Prentice-Hall, New Jersey
28. Reveliotis S.A., Lawley M.A., and Ferreira P.M. Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems. IEEE Transactions on Automatic Control 42 (1997) 1344-1357
29. Rezg, N., Xie, X.L., Ghaffari, A. (2000). Supervisory control in discrete event systems using the theory of regions. Fifth workshop on discrete event systems (pp. 391-398). Ghent, Belgium, August 2000.
30. Stremersch G., and Boel R.K. Structuring acyclic Petri nets for reachability analysis and control. Discrete Event Dynamic Systems: Theory and Applications 12 1 (2002) 7-42
31. Weits E.A.G. Simulation of railway traffic control. International Transactions on Operational Research 5 6 (1998) 461-469