1. Proceedings
  2. I3M
  3. 2021
  4. MAS
  5. 10.46354/i3m.2021.mas.022

Synthesis of Petri Nets based controllers for the automation of train routing in a railway node

  • a Armand Toguyéni 
  • a Centrale Lille Institut, CRIStAL, UMR 9189 F-59650 Villeneuve-d’Ascq, France
    Univ. Lille Nord de France, F-59650, Lille, France
Cite as
Toguyéni A. (2021). Synthesis of Petri Nets based controllers for the automation of train routing in a railway node. Proceedings of the 20th International Conference on Modeling & Applied Simulation (MAS 2021), pp. 176-185. DOI: https://doi.org/10.46354/i3m.2021.mas.022

Abstract

Traffic fluidity has become a critical issue for the development of railway systems. Changing the control paradigm and automating the control of traffic passing through a railway node is a solution for increasing traffic at constant hardware resources. This work proposes an approach to synthesize controllers based on Petri nets for the automated control of railway nodes. The approach developed consists in first modeling the potential routes for the crossing of a node by different rail traffic. We then use the synthesis to build a closed loop control model that guarantees collision avoidance. However, given the instrumentation
of the railway system, it is necessary to propose a synthesis method adapted to a partial controllability and observability. We propose a constraint transformation algorithm to make them admissible in this context. "

References

  1. Achour, Z., Rezg, N. and Xie, X. (2004). Supervisory controller of petri nets under partial observation. IFAC Proceedings Volumes, 37(18):51-56.
  2. Burggraeve, S. and Vansteenwegen, P. (2017). Robust routing and timetabling in complex railway stations. Transportation Research Part B: Methodological, 101:228-244.
  3. Dang, Q. K., Bourdeaud’huy, T., Mesghouni, K. and Toguyeni, A. (2019). Low-Level Modeling for Optimal Train Routing and Scheduling in Busy Railway Stations. International Journal of Transport and Vehicle Engineering, 13(8), 467-477.
  4. Durmuş, M. S. and Söylemez, M. T. (2009). Automation Petri net based railway interlocking and signalization design. In Int. Symposium on Innovations in Intelligent Systems and Applications, 12-16.
  5. Fanti, M. P., Giua, A. and Seatzu, C. (2006). Monitor design for colored Petri nets: An application to deadlock prevention in railway networks. Control engineering practice, 14(10):1231-1247.
  6. Ghaffari, A., Rezg, N. and Xie, X. (2003). Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE transactions on robotics and Automation, 19(1):137-141.
  7. Giua, A. and Seatzu, C. (2008). Modeling and supervisory control of railway networks using Petri nets. IEEE Transactions on automation science and engineering, 5(3):431-445.
  8. Giua, A., DiCesare, F. and Silva, M. (1992). Generalized mutual exclusion contraints on nets with uncontrollable transitions. In [Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics, 974-979.
  9. Iordache, M. V., & Antsaklis, P. J. (2006). Supervision based on place invariants: A survey. Discrete Event Dynamic Systems, 16(4):451-492. 
  10. López-Grao, J. P. and Colom, J. M. (2013). Structural methods for the control of discrete event dynamic systems–the case of the resource allocation problem. In Control of Discrete-Event Systems, Springer, London, 257-278. 
  11. Moody, J. O. and Antsaklis, P. J. (2000). Petri net supervisors for DES with uncontrollable and unobservable transitions. IEEE Transactions on Automatic Control, 45(3):462-476.
  12. Ramadge, P. J. and Wonham, W. M. (1987). Supervisory control of a class of discrete event processes. SIAM journal on control and optimization, 25(1):206-230.
  13. Rezig, S., Achour, Z. and Rezg, N. (2017). Theory of Regions for Control Synthesis without Computing Reachability Graph. Applied Sciences, 7(3):270. 
  14. Vanit-Anunchai, S. (2014). Experience using coloured petri nets to model railway interlocking tables. arXiv preprint arXiv:1407.3891.