Publikace detail

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

Autoři: Ibl Martin

Rok: 2014

Druh publikace: článek ve sborníku

Název zdroje: Sborník příspěvků Mezinárodní Masarykovy konference pro doktorandy a mladé vědecké pracovníky 2014

Název nakladatele: MAGNANIMITAS

Místo vydání: Hradec Králové

Strana od-do: 3278-3287

Tituly:

Jazyk	Název	Abstrakt	Klíčová slova
cze	Modelování základních plánovacích algoritmů pomocí barvených Petri sítí	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.	barvené Petri sítě;modelování; plánování; procesy; vlákna
eng	Modelling Of Basic Scheduling Algortihms Using Coloured Petri Nets	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.	Coloured Petri Nets; Modelling; Scheduling; Processes; Threads

Vyhledávání