1. Proceedings
  2. I3M
  3. 2019
  4. IMAACA
  5. 10.46354/i3m.2019.imaaca.014

Component approach based on Petri Nets for the design of the automatic control for railway system

  • a Armand Toguyéni 
  • aUniversity of Lille Nord de France, F-59650, Lille, France
Cite as
Toguyéni A. (2019). Component approach based on Petri Nets for the design of the automatic control for railway system. Proceedings of the 12th International Conference on Integrated Modeling and Analysis in Applied Control and Automation (IMAACA 2019), pp. 105-114. DOI: https://doi.org/10.46354/i3m.2019.imaaca.014

Abstract

The automation of rail systems is a major challenge for the development of this mode of transport. This automation must affect all the functions of the control system and not just the replacement of train drivers. This study proposes a component approach for modelling control functions based on Colored Petri Nets. This component approach masks the complexity of the system components and their functions from the designers of a rail system. In this work we also propose a new formal verification method based on the construction of a reduced reachability graph of a global model. This approach makes it possible to verify the main properties of the components necessary for their implementation in software libraries that can be used by railway system designers.

References

  1. Christos G. Cassandras, & Lafortune, S., 2008. Introduction to discrete event systems. NewYork
    (USA), Springer.
  2. Christensen, S., & Mortensen, K. H. Design/CPN ASKCTL Manual, version 0.9, 1996. URL
    http://cpntools.org/_media/documentation/askctl manual. pdf.[checked on 2013-12-16].
  3. David, R., & Alla, H, 2005. Discrete, continuous, and hybrid Petri nets (Vol. 1). Berlin: Springer.
  4. Eshuis R, Dehnert J. 2003. Reactive Petri Nets for Workflow Modeling. Appl Theory Petri Nets 2003, vol. 2679, pp. 295–314.
  5. European Railway Agency. 2016. ERTMS/ETCS System Requirements Specification (SUBSET-
    026) v3.6.0
  6. Jensen, K., & Rozenberg, G, 2012. High-level Petri nets: theory and application. Springer Science & Business Media
  7. Jensen, K., Kristensen, L.M. & Wells, L., 2007. Coloured Petri Nets and CPN Tools for modelling
    and validation of concurrent systems. International Journal on Software Tools for Technology
    Transfer, 9(3–4), pp. 213–254.
  8. Lusby, R. M., Larsen, J., Ehrgott, M., & Ryan, D. M. (2013). A set packing inspired method for realtime junction train routing. Computers & Operations Research, 40(3), pp. 713-724.
  9. Murata, T., 1989. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 77(4), pp. 541–580
  10. Vanit-Anunchai, S., 2014. Experience using Coloured Petri Nets to Model Railway Interlocking Tables. In 2nd French Singaporean Workshop on Formal Methods and Applications (FSFMA’2014). Singapore, pp. 17–28.
  11. Xie, Y., Khlif-bouassida, M. & Toguyeni, A., 2017. Well-formed Petri Net Based Patterns for
    Modeling Logic Controllers for Autonomous Trains. Proc. of IMAACA2017, Barcelona
    (Spain), pp. 25–34
  12. Yin, J., Tang, T., Yang, L., Xun, J., Huang, Y., & Gao, Z., 2017. Research and development of automatic train operation for railway transportation systems: A survey. Transportation Research Part C: Emerging Technologies, 85, 548-572.