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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Additional title:

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


    Contributors:


    Publication date :

    2008


    Size :

    9 Seiten, 4 Bilder, 3 Tabellen, 16 Quellen



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    A simplified passenger flow model using Coloured Petri Nets

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



    An urban traffic network model via coloured timed Petri nets

    Dotoli, Mariagrazia / Fanti, Maria Pia | Tema Archive | 2006


    Deadlock control software for tow automated guided vehicles using Petri Nets

    Rovetto, Carlos / Cano, Elia / Colom, Jose-Manuel | Tema Archive | 2010


    Formalisation and simulation of operating rules using coloured Petri nets

    Lahlou, O. / Bon, P. / Allain, L. | British Library Conference Proceedings | 2006