Modelling Railway Interlocking Tables Using Coloured Petri Nets
نویسنده
چکیده
Interlocking tables are the functional specification defining the routes, on which the passage of the train is allowed. Associated with the route, the states and actions of all related signalling equipment are also specified. This paper formally models the interlocking tables using Coloured Petri Nets (CPN). The CPN model comprises two parts: Signaling Layout and Interlocking Control. The Signaling Layout part is used to simulate the passage of the train. It stores geographic information of the signalling layout in tokens. The Interlocking Control part models actions of the controller according to the functions specified in the interlocking tables. The arc inscriptions in the model represent the content of the interlocking tables. Following our modelling approach we can reuse the same CPN net structure to model any new or modified interlocking system regardless of its size. Experimental results are presented to provide increased confidence in the model correctness.
منابع مشابه
Coloured petri nets to model geographical interlocking for railway
Petri nets have been widely applied in different aspects of railway modelling and analysis. This paper presents an insight into how coloured Petri nets can be used to model geographical interlocking. We start with a generalisation of coloured Petri nets and follow with an overview of interlocking. In the main body we present a generic unit model and demonstrate how it can be used to represent a...
متن کاملExperience using Coloured Petri Nets to Model Railway Interlocking Tables
Interlocking tables are the functional specification defining the routes on which the passage of the train is allowed. Associated with the route, the states and actions of all related signalling equipment are also specified. It is well-known that designing and verifying the interlocking tables are labour intensive, tedious and prone to errors. To assist the verification process and detect error...
متن کاملModeling a distributed railway interlocking system with object-oriented Petri nets
Great progress of distributed technology and intelligent terminals makes it possible to develop a distributed railway interlocking system (DRIS). In this paper, a modelling method of DRIS is presented by using G-nets, which are Petri nets extended with object-oriented concepts. The modelling method improves maintenance and reusability remarkably. Based on the models, the DRIS can be implemented...
متن کاملModelling Functionality of Train Control Systems using Petri Nets
Railway safety systems are highly complex systems with respect to functionality as well as dependability. The new European Train Control System (ETCS) as one part of the European Rail Traffic Management System (ERTMS) is the example presented here. A formal model using Coloured Petri Nets (CPN) was prepared by using the existing ERTMS/ETCS specification as a basis. The applied method is an inte...
متن کامل