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.
Generalising results for any legal initial configuration of a railway network
1996-11-21
2 pages
Article (Journal)
English
Generalising results for any legal initial configuration of a railway network
Tema Archive | 1996
|Generalising AI model performance for Non Destructive Testing in railway systems
DataCite | 2024
|Contributions on Generalising the Airbreathing Propulsion Systems; the Multiple Jet Engine
British Library Conference Proceedings | 2000
|