Publication detail

An Alternative View of Fairness in Petri Nets

Authors: Ibl Martin

Year: 2014

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

Name of source: Proceedings of the 2014 International C* Conference on Computer Science & Software Engineering

Publisher name: ACM (Association for Computing Machinery)

Place: New York

Page from-to: 130-133

Titles:

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

Search

Login for students

Login for employees

Publication detail

Map

Services

Popular Links