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

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216275%3A25510%2F08%3A00007126" target="_blank" >RIV/00216275:25510/08:00007126 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

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

Original language description

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.

Czech name

Řešení stavů uváznutí v modelech provozu železničních stanic s využitím barvených Petriho sítí

Czech description

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ů.

Type

D - Article in proceedings

CEP classification

JO - Land transport systems and equipment

OECD FORD branch

—

Project

—

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2008

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

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

ISBN

978-963-236-138-3

ISSN

—

e-ISSN

—

Number of pages

9

Pages from-to

—

Publisher name

Budapest University of Technology and Economics

Place of publication

Budapest

Event location

Budapest

Event date

Oct 10, 2008

Type of event by nationality

EUR - Evropská akce

UT code for WoS article

—