Publication detail

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

Authors: Ibl Martin

Year: 2014

Type of publication: článek ve sborníku

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

Publisher name: MAGNANIMITAS

Place: Hradec Králové

Page from-to: 3278-3287

Titles:

Language	Name	Abstract	Keywords
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

Search