Modelling Of Basic Scheduling Algortihms Using Coloured Petri Nets
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Modelování základních plánovacích algoritmů pomocí barvených Petri sítí
Original language description
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.
Czech name
Modelování základních plánovacích algoritmů pomocí barvených Petri sítí
Czech description
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.
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2014
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
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
—
Number of pages
10
Pages from-to
3278-3287
Publisher name
MAGNANIMITAS
Place of publication
Hradec Králové
Event location
Hradec Králové
Event date
Dec 15, 2014
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—