Modelování základních plánovacích algoritmů pomocí barvených Petri sítí

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216275%3A25410%2F14%3A39898975" target="_blank" >RIV/00216275:25410/14:39898975 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
čeština
Název v původním jazyce
Modelování základních plánovacích algoritmů pomocí barvených Petri sítí
Popis výsledku v původním jazyce
Tato práce se zabývá problematikou modelování základních plánovacích algoritmů, často používaných v operačních systémech při plánování vláken a procesů. Modelování je provedeno pomocí barvených Petri sítí (CPN), které na základě exaktního matematického popisu umožňují vykonávání komplexní analýzy vytvořených modelů. Z tohoto důvodu jsou Petri sítě vhodným nástroje pro vykonávání různých výkonnostních a verifikačních analýz, které umožňují simulaci různých apriorních podmínek.
Název v anglickém jazyce
Modelling Of Basic Scheduling Algortihms Using Coloured Petri Nets
Popis výsledku anglicky
This work deals with the modelling of the basic algorithms that are often used to schedule processes and threads in operation systems. Modelling is done using Coloured Petri Nets (CPN), which on the basis of exact mathematical descriptions allow performing a thorough analysis of developed models. Therefore, Petri nets models are suitable for implementation of different performance analysis and verification that allows plausible simulation of various a priori conditions.

Rok uplatnění
2014
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku
Sborník příspěvků Mezinárodní Masarykovy konference pro doktorandy a mladé vědecké pracovníky 2014
ISBN
978-80-87952-07-8
ISSN
—
e-ISSN
—
Počet stran výsledku
10
Strana od-do
3278-3287
Název nakladatele
MAGNANIMITAS
Místo vydání
Hradec Králové
Místo konání akce
Hradec Králové
Datum konání akce
15. 12. 2014
Typ akce podle státní příslušnosti
EUR - Evropská akce
Kód UT WoS článku
—

Podobné výsledky(10)