Login for students

Login for employees

Publication detail

Solving Deadlock States in Model of Railway Station Operation Using Coloured Petri Nets
Authors: Žarnay Michal
Year: 2008
Type of publication: článek ve sborníku
Name of source: Formal methods for automation and safety in railway and automotive systems : proceedings of Symposium FORMS/FORMAT 2008
Publisher name: Budapest University of Technology and Economics
Place: Budapest
Page from-to: 205-213
Titles:
Language Name Abstract Keywords
cze Řešení stavů uváznutí v modelech provozu železničních stanic s využitím barvených Petriho sítí Ambice vyhnutí se stavům uváznutí, které se vyskytují v simulačních modelech provozu železniční stanice, si vyžaduje použití metod systémů přidělování prostředků. Kvůli složitosti původního systému byl vybrán algoritmus bankéře. Pro otestování jeho použitelnosti byl vytvořen model jednoduchého provozu železniční stanice v barvené Petriho síti a v něm implementován algoritmus. Článek stručně opisuje celý proces tvorby a ukazuje, že algoritmus bankéře prokázal svoji účinnost na vyhýbání se uváznutí v systému přidělování prostředků s paralelním zpracováním, pružným směrováním, opakovaným použitím prostředků v procesu a použitím profesí při přidělování prostředků.
eng Solving Deadlock States in Model of Railway Station Operation Using Coloured Petri Nets 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. This paper describes briefly the whole process and shows 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. coloured Petri net, resource allocation system, transportation system, deadlock-avoidance policy, Banker's algorithm

Departments

Other Parts

Map

en.mapy.cz

Services

Popular Links

© 2023 University of Pardubice, Studentská 95, 532 10 Pardubice 2
Phone: +420 466 036 111, 466 036 112, 466 036 113
Webmaster, RSS
Data box ID: f5vj9hu
Accessibility Statement
CC BY-NC-ND 4.0Creative CommonsAttributionNonCommercialNoDerivatives