Paper Info
Title
Modelling railway interlocking tables using coloured petri nets
Abstract
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.
Year
DOI
Venue
2010
10.1007/978-3-642-13414-2_10
COORDINATION
Keywords
Field
DocType
coloured petri net,signaling layout,signaling layout part,interlocking system,modelling railway,model correctness,signalling layout,related signalling equipment,interlocking control,interlocking control part model,interlocking table,cpn model,state space
Control theory,Programming language,Petri net,Interlocking,XML,Computer science,Correctness,Control table,Artificial intelligence,Functional specification,XSLT,Distributed computing
Conference
Volume
ISSN
ISBN
6116
0302-9743
3-642-13413-0
Citations 
PageRank 
References 
3
0.46
10
Authors
1
Name
Order
Citations
PageRank
Somsak Vanit-Anunchai1536.52