An ambition to avoid deadlock states occurring in simulation models of railway station operation requires an application of methods from resource allocation systems. Because of complexity of the underlying system, Banker's algorithm has been chosen. To test its applicability, a coloured Petri net model of a simple railway station operation was constructed and the algorithm implemented. It is described briefly the whole process and shown that the Banker's algorithm proved to be effective for deadlock avoidance in resource allocation system with parallel processing, flexible routing, repeated use of resources and use of professions for resource allocation.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Solving deadlock states in model of railway station operation using coloured petri nets


    Weitere Titelangaben:

    Lösung von Stillstandzuständen bei der Modellierung des Bahnhofsbetriebs mittels Petri-Netzen


    Beteiligte:
    Zarnay, Michal (Autor:in)


    Erscheinungsdatum :

    2008


    Format / Umfang :

    9 Seiten, 4 Bilder, 3 Tabellen, 16 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    COLOURED PETRI NETS TO MODEL GEOGRAPHICAL INTERLOCKING FOR RAILWAY

    Ingram, S. / Hossain, M. A. / Cox, S. et al. | British Library Conference Proceedings | 2005


    Experience using Coloured Petri Nets to Model Railway Interlocking Tables

    Vanit-Anunchai, Somsak | ArXiv | 2014

    Freier Zugriff

    Experience using Coloured Petri Nets to Model Railway Interlocking Tables

    Somsak Vanit-Anunchai | DOAJ | 2014

    Freier Zugriff

    A simplified passenger flow model using Coloured Petri Nets

    Takagi, R. / Roberts, C. / Goodman, C. J. | British Library Conference Proceedings | 2002