Publikace detail

An Alternative View of Fairness in Petri Nets

Autoři: Ibl Martin

Rok: 2014

Druh publikace: článek ve sborníku

Název zdroje: Proceedings of the 2014 International C* Conference on Computer Science & Software Engineering

Název nakladatele: ACM (Association for Computing Machinery)

Místo vydání: New York

Strana od-do: 130-133

Tituly:

Jazyk	Název	Abstrakt	Klíčová slova
cze	Alternativní pohled na stravedlivost v Petri sítích	Při modelování a analýze souběžných systémů se obvykle klade hlavní důraz na jejich přesnost a validnost, tj. aby model splňoval formální specifikaci a zároveň modeloval relevantní skutečnost. V posledních letech se v řadě oblastní začal klást větší důležitost konceptu spravedlivost, která pokrývá skutečnosti jako spravedlivost v teorii hromadné obsluhy, problém hladovění a mnoho dalších. Cílem této práce je nadefinovat metodu, která umožňuje vypočítat rovnoměrnost distribuce specifických stavů, jež může být použita k analýze vytíženosti jednotlivých entit / elementů v systému. Metoda je založena na modelování pomocí klasických Petri sítí a měření entropie podmnožin specifických značení v grafu dosažitelnosti této sítě. Prezentovaná metoda je alternativním pohledem na spravedlivost již dříve definované spravedlivosti v Petri sítích, která se však zabývá přechody.	měření;teorie;verifikace;Petri sítě;
eng	An Alternative View of Fairness in Petri Nets	In modelling and analysis of concurrent systems is usually placed the main emphasis on their accuracy and validity, i.e. the model meets the formal specification and also modelled the relevant facts. Moreover, in recent years in various fields, the importance of the concept of fairness starts to develop, which covers such requirements on system/model, such as uniformity of resource usage, fair queuing policy, the problem of starvation and many others. The aim of this work is to define a method of calculating the uniformity of the distribution of specific system states that can be used to investigate the uniformity of the workload of individual entities / elements of the system. The method is based on modelling by classical Place/Transition Petri nets and measuring the entropy of subsets of specific markings in the reachability graph of the Petri net. The presented method is an alternative view on the fairness of the already defined fairness which in the theory of Petri nets deals with transitions.	Measurement; Theory; Verification;

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