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
21.11.1996
2 pages
Aufsatz (Zeitschrift)
Englisch
Generalising results for any legal initial configuration of a railway network
Tema Archiv | 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
|