Přihlášení pro studenty

Přihlášení pro zaměstnance

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

Ústavy

Pracoviště

Jak nás najdete?

zobrazit na mapy.cz

Služby

Často hledáte

© 2023 Univerzita Pardubice, Studentská 95, 532 10 Pardubice 2
Telefon: 466 036 111, 466 036 112, 466 036 113
Správce webu, RSS
ID datové schránky: f5vj9hu
Prohlášení o přístupnosti
CC BY-NC-ND 4.0 CZCreative CommonsAttributionNonCommercialNoDerivatives