Login for students

Login for employees

Publication detail

PERFORMANCE ANALYSIS OF BASIC SCHEDULING ALGORITHMS USING COLOURED PETRI NETS
Authors: Ibl Martin
Year: 2014
Type of publication: kapitola v odborné knize
Name of source: Advances in Informatics, Management and Economics: Pokroky v informatice, managementu a ekonomii
Publisher name: Univerzita Pardubice
Place: Pardubice
Page from-to: 108-129
Titles:
Language Name Abstract Keywords
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

Map

en.mapy.cz

Services

Popular Links

© 2023 University of Pardubice, Studentská 95, 532 10 Pardubice 2
Phone: +420 466 036 111, 466 036 112, 466 036 113
Webmaster, RSS
Data box ID: f5vj9hu
Accessibility Statement
CC BY-NC-ND 4.0Creative CommonsAttributionNonCommercialNoDerivatives