Publikace detail

PERFORMANCE ANALYSIS OF BASIC SCHEDULING ALGORITHMS USING COLOURED PETRI NETS

Autoři: Ibl Martin

Rok: 2014

Druh publikace: kapitola v odborné knize

Název zdroje: Advances in Informatics, Management and Economics: Pokroky v informatice, managementu a ekonomii

Název nakladatele: Univerzita Pardubice

Místo vydání: Pardubice

Strana od-do: 108-129

Tituly:

Jazyk	Název	Abstrakt	Klíčová slova
cze	ANALÝZA VLASTNOSTÍ ZÁKLADNÍCH PLÁNOVACÍCH ALGORITMŮ VYUŽÍVAJÍCÍCH ANALÝZA VLASTNOSTÍ ZÁKLADNÍCH PLÁNOVACÍCH ALGORITMŮ VYUŽÍVAJÍCÍCH ANALÝZA VLASTNOSTÍ ZÁKLADNÍCH PLÁNOVACÍCH ALGORITMŮ VYUŽÍVAJÍCÍCH BARVENÉ PETRIHO SÍTĚ	Jeden způsob, jak se vypořádat s vysokou složitostí (v systému / model) je použití Petriho sítí jako modelovacího nástroje, který umožňuje ověření svých modelů a je vhodný pro realizaci různých analýzu výkonu, který umožňuje věrohodné simulaci různých apriorních podmínek. Tato kapitola se zabývá simulační analýzy základních algoritmů, které se často používají k plánování procesů a vláken v operačních systémech. Modelování je provedeno pomocí barvené Petriho sítě (CPN), která na základě exaktních matematických popisů umožnila provést důkladnou analýzu vyvinutých modelů. Na řadě analýz jsou uvedeny silné a slabé stránky použití barevné Petriho sítí pro zkoumání plánovacích algoritmů	Rozvrhování; barvené Petriho sitě; verifikace; analýza výkonnosti
eng	PERFORMANCE ANALYSIS OF BASIC SCHEDULING ALGORITHMS USING COLOURED PETRI NETS	One way to deal with high complexity (in the system/model) is using Petri nets as a modelling tool, which allows verification of its models and is suitable for implementation of different performance analysis that allows plausible simulation of various a priori conditions. This chapter deals with the simulation analysis of the basic algorithms that are often used to schedule processes and threads in operating 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. At a number of analyses are shown strengths and weaknesses of using Coloured Petri nets for the examination of scheduling algorithms.	Scheduling; Colored Petri Nets; Verification; Performance Analysis

Vyhledávání

Přihlášení pro studenty

Přihlášení pro zaměstnance

Publikace detail

Ústavy

Pracoviště

Jak nás najdete?

Služby

Často hledáte