DocumentCode :
305448
Title :
State space analysis of a railway network
Author :
Billington, Jonathan ; Janczura, Chris
Author_Institution :
Univ. of South Australia, The Levels, SA, Australia
Volume :
3
fYear :
1996
fDate :
14-17 Oct 1996
Firstpage :
2386
Abstract :
A railway network consisting of a single track with a passing loop and a number of trains moving in the same direction is modelled by a coloured Petri net (CPN), and then analyzed using the software tools Design/CPNTM and Occurrence Graph Analyzer OGATM. Certain safety and operational properties are formulated and then formally proved by interrogating the complete state space of the system. The notion of strongly connected components is used in some proofs. Analysis of the model revealed some undesirable behaviour including a deadlock
Keywords :
Petri nets; graph colouring; rail traffic; railways; software packages; software tools; state-space methods; traffic control; Design/CPN; Occurrence Graph Analyzer; coloured Petri net; deadlock; operational properties; railway network; safety; state space analysis; Fault tolerance; Petri nets; Rail transportation; Railway safety; Software design; Software tools; State-space methods; Switches; System recovery; Tracking loops;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Systems, Man, and Cybernetics, 1996., IEEE International Conference on
Conference_Location :
Beijing
ISSN :
1062-922X
Print_ISBN :
0-7803-3280-6
Type :
conf
DOI :
10.1109/ICSMC.1996.565549
Filename :
565549
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=305448
بازگشت