DocumentCode
1318651
Title
Generalising results for any legal initial configuration of a railway network
Author
Billington, J. ; Janczura, C.
Author_Institution
Univ. of South Australia, The Levels, SA, Australia
Volume
32
Issue
24
fYear
1996
fDate
11/21/1996 12:00:00 AM
Firstpage
2288
Lastpage
2289
Abstract
A coloured Petri net model of a railway network with one passing loop and two trains is analysed to ascertain if desired safety and operational requirements are satisfied. These results are extended to any legal configuration involving two trains
Keywords
Petri nets; rail traffic; railways; safety; scheduling; collision-free operation; coloured Petri net model; initial configuration; legal configuration; operational requirements; railway network; safety; two trains operation;
fLanguage
English
Journal_Title
Electronics Letters
Publisher
iet
ISSN
0013-5194
Type
jour
DOI
10.1049/el:19961468
Filename
556821
Link To Document