Publikace detail

Solving Deadlock States in Model of Railway Station Operation Using Coloured Petri Nets

Autoři: Žarnay Michal

Rok: 2008

Druh publikace: článek ve sborníku

Název zdroje: Formal methods for automation and safety in railway and automotive systems : proceedings of Symposium FORMS/FORMAT 2008

Název nakladatele: Budapest University of Technology and Economics

Místo vydání: Budapest

Strana od-do: 205-213

Tituly:

Jazyk	Název	Abstrakt	Klíčová slova
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

Vyhledávání

Přihlášení pro studenty

Přihlášení pro zaměstnance

Publikace detail

Katedry

Pracoviště

Jak nás najdete?

Služby

Často hledáte