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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Generalising results for any legal initial configuration of a railway network


    Beteiligte:
    Billington, J. (Autor:in) / Janczura, C. (Autor:in)

    Erscheinungsdatum :

    21.11.1996


    Format / Umfang :

    2 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch






    Generalising topographical map data

    THOM STUART | Europäisches Patentamt | 2018

    Freier Zugriff

    RTFM: Generalising to New Environment Dynamics via Reading

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

    Freier Zugriff

    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