Publikace detail

Banker's Algorithm Implementation in CPN Tools

Autoři: Žarnay Michal

Rok: 2008

Druh publikace: článek ve sborníku

Název zdroje: Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools

Název nakladatele: University of Aarhus

Místo vydání: Aarhus

Strana od-do: 123-142

Tituly:

Jazyk	Název	Abstrakt	Klíčová slova
cze	Implementace bankéřova algoritmu v nástroji CPN Tools	Při konstrukci diskrétních simulačních modelů složitých dopravních systémů se jejich tvůrci potýkají s problémy stavů uváznutí, které sa vyskytují během simulace. Při analýze byl problém transformován na problém řešení stavů uváznutí v systémech přidělování prostředků (RAS) s nesekvenčními procesy s pružným směrováním a použitím prostředků vícero typů najednou.Vhodnou strategií vyhýbání se uváznutí byl zvolen algoritmus bankéře (BA). Úlohou bylo upravit základní verzi BA a otestovat vyvinutý algoritmus na vzorovém dopravním systému se jmenovanými vlastnostmi. Jako vhodné prostředí byl vybrán systém CPN Tools, co vedlo k implementaci upravené verze BA v CPN ML, jazyce používaném v CPN Tools. Příspěvek vysvětluje úpravy algoritmu, opisuje její implementaci v jazyce CPN ML a demonstruje jeho použití v modelu barvené Petriho sítě pro malý příklad ze jmenované kategorie RAS.
eng	Banker's Algorithm Implementation in CPN Tools	When constructing discrete simulation models of complex transportation systems, their designers face problems of deadlock states occurring in the course of simulation. When analyzing it, the issue was transformed to a problem of solving deadlock states in resource allocation systems (RAS) with non-sequential processes with flexible routing and use of resources of multiple types at once. As a suitable deadlock-avoidance policy, the banker's algorithm (BA) has been chosen. The task was to modify the basic version of the BA and to test the developed algorithm on a sample transportation system with the outlined properties. As a suitable environment for this, the CPN Tools were chosen, what led to an implementation of the modified version of the BA in the CPN ML, language used by the CPN Tools. The paper explains modifications of the algorithm, describes an implementation of it in the CPN ML and shows its use on a coloured Petri net model of a small example from the outlined category of the RAS.	Banker's Algorithm;CPN Tools

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