Abstract
This chapter deals with operating mode management of European railway systems, and this contribution is based on Supervisory Control Theory (SCT). The studied system contains several trains, and each one presents several operating modes varying by countries and satisfying the European Rail Traffic Management System (ERTMS). Our contribution enables to represent the railway system behavior through the use of colored Petri nets (CP-nets) on the basis of a multi-model design where each model (CP-net) represents an operating mode of the system. In order to handle a model with a reasonable size, the proposed approach designs a global CP-net model representing all operating modes of trains taking into consideration the aspects of mode activation/deactivation and handling of resource states common to multiple operating modes.
In addition to the simulation capability, formal verification of the global CP-net properties is also enabled based on the proposed CP-net model. Such feasibility represents one of the major differences distinguishing the proposed method of all the existing simulators dedicated to operating mode management.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Change history
06 November 2021
This chapter was inadvertently published with incorrect University name in the affiliation of Dr. Hela Kadri.
References
Barger, P., Schön, W., & Bouali, M. (2009). A study of railway ERTMS safety with colored Petri nets. In The European Safety and Reliability Conference (ESREL’09), Prague, Czech Republic.
Chafik, S., & Niel, E. (2000). Hierarchical-decentralized solution of supervisory control. In Proc. 3rd Int. Symp. Math. Modelling, MATHMOD, Vienna, Austria (Vol. 2, pp. 787–790).
Chao, Z., & Xi, Y. (2003). Necessary conditions for control consistency in hierarchical control of discrete-event systems. IEEE Transactions on Automatic Control, 48(3), 465–468.
CPN Tools. (2014). CPN Tools Webpage, http://cpntools.org
Faraut, G., Piétrac, L., & Niel, E. (2009). Formal approach to multi-modal control design: Application to mode switching. IEEE Transactions on Industrial Informatics, 5(4), 443–453.
Harel, D. (1987). Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3), 231–274.
Jahanian, F., & Mok, A. K. (1994). Modechart: A specification language for real-time systems. IEEE Transactions on Software Engineering, 20(12), 933–947.
Jensen, K. (1997). Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Monographs in Theoretical Computer Science (Vol. 1). Berlin: Springer
Jiang, S., & Kumar, R. (2000). Decentralized control of discrete event systems with specializations to local control and concurrent systems. IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics), 30(5), 653–660.
Kadri, H., Zairi, S., & Zouari, B. (2013, September 11–13). Global model for the management of operating modes in discrete event systems. In Management and Control of Production and Logistics, Fortaleza, Brazil (Vol. 6, Part 1).
Kadri, H., Collart-Dutilleul, S., & Zouari, B. (2014). Crossing border in the european railway system: Operating modes management by colored Petri nets. In Proceedings of the 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, FORMS/FORMAT 2014 (pp. 244–252). Technische Universität Braunschweig. ISBN: 978-3-9816886-6-5.
Kamach, O., Piétrac, L., & Niel, E. (2006). Multi-Model approach to discrete events systems: Application to operating mode management. Mathematics and Computers in Simulation, 70(5–6), 394–407. Computational Engineering in Systems Applications.
Lahlou, O., El-Koursi, E., Bon, Ph., & Yim, P. (2006). Evaluation des règles d’exploitation pour l’interopérabilité et la sécurité dans les transports ferroviaires. Mosim’06, Rabat, Maroc.
Maraninchi, F., & Rémond, Y. (2003). Mode-automata: A new domain-specific construct for the development of safe critical systems. Science of Computer Programming, 1(46), 219–254.
Nourelfath, M., & Niel, E. (2004). Modular supervisory control of an experimental automated manufacturing system. Control Engineering Practice, 12(2), 205–216.
Ramadge, P. J., & Wonham, W. M. (1989). The control of discrete event systems. Proceedings of the IEEE, 77(1), 81–98.
UNISIG, ERTMS Users Group. (2005). Subset026, System Requirements Specification (SRS), version 2.3.0d.
UNISIG, ERTMS Users Group. (2008). Subset026, System Requirements Specification (SRS), version 3.0.0.
UNISIG, ERTMS Users Group. (2014). Subset026, System Requirements Specification (SRS), version 3.4.0
Zouari, B., Frefita, R., & Niel, E. (2007). A coloured Petri net approach for the management of operating modes in discrete event systems. In Management and Control of Production and Logistics, 4th IFAC Conference on Management and Control of Production and Logistics (Vol. 4, Part. 1, pp. 397–402).
zuHörste, M. M., & Schnieder, E. (1999). Formal modelling and simulation of train control systems using Petri nets. In FM’99 – Formal Methods. ISBN 978-3-540-66588-5.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Kadri, H., Collart-Dutilleul, S., Bon, P. (2022). Crossing Border in the European Railway System: Operating Modes Management by Colored Petri Nets. In: Collart-Dutilleul, S. (eds) Operating Rules and Interoperability in Trans-National High-Speed Rail. Springer, Cham. https://doi.org/10.1007/978-3-030-72003-2_8
Download citation
DOI: https://doi.org/10.1007/978-3-030-72003-2_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-72001-8
Online ISBN: 978-3-030-72003-2
eBook Packages: EngineeringEngineering (R0)