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
fDate :
11/21/1996 12:00:00 AM
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;
Journal_Title :
Electronics Letters
DOI :
10.1049/el:19961468
