Login for students

Login for employees

Publication detail

Banker's Algorithm Implementation in CPN Tools
Authors: Žarnay Michal
Year: 2008
Type of publication: článek ve sborníku
Name of source: Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools
Publisher name: University of Aarhus
Place: Aarhus
Page from-to: 123-142
Titles:
Language Name Abstract Keywords
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

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