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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Generalising results for any legal initial configuration of a railway network


    Contributors:

    Publication date :

    1996-11-21


    Size :

    2 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English






    Generalising topographical map data

    THOM STUART | European Patent Office | 2018

    Free access

    RTFM: Generalising to New Environment Dynamics via Reading

    Zhong, V / Rocktäschel, T / Grefenstette, E | BASE | 2020

    Free access

    Contributions on Generalising the Airbreathing Propulsion Systems; the Multiple Jet Engine

    Stanciu, V. / Andrei, I. / International Council of the Aeronautical Sciences | British Library Conference Proceedings | 2000