GENERALIZING RESULTS FOR ANY LEGAL INITIAL CONFIGURATION OF A RAILWAYNETWORK

Authors
BILLINGTON J JANCZURA C
Citation
J. Billington et C. Janczura, GENERALIZING RESULTS FOR ANY LEGAL INITIAL CONFIGURATION OF A RAILWAYNETWORK, Electronics Letters, 32(24), 1996, pp. 2288-2289
Citations number
4
Categorie Soggetti
Engineering, Eletrical & Electronic
Journal title
Electronics Letters → ACNP
ISSN journal
00135194
Volume
32
Issue
24
Year of publication
1996
Pages
2288 - 2289
Database
ISI
SICI code
0013-5194(1996)32:24<2288:GRFALI>2.0.ZU;2-2
Abstract
A coloured Petri net model of a railway network with one passing loop and two trains is analysed [1] to ascertain if desired safety and oper ational requirements are satisfied. There results are extended to any legal configuration involving two trains.