Publikace detail

Measurement of Fairness in Process Models using Entropy and Stochastic Petri Nets

Autoři: Ibl Martin

Rok: 2014

Druh publikace: článek ve sborníku

Název zdroje: ICSOFT-PT 2014: Proceedings of the 9th International Conference on Software Paradigm Trends

Název nakladatele: SciTePress - Science and Technology Publications

Místo vydání: Porto

Strana od-do: 115-120

Tituly:

Jazyk	Název	Abstrakt	Klíčová slova
cze	Měření spravedlivosti v procesních modelech pomocí entropie a stochastických Petri sítí	V posledních letech se navíc začala rozvíjet řada metrik, které umožňují kvantifikovat specifické vlastnosti procesních modelů. Těmito vlastnostmi jsou např. komplexnost, srozumitelnost, koheze či neurčitost. Kvantifikace těchto vlastností může poskytnout lepší informace o skutečnostech jako uživatelská přívětivost, predikovatelnost apod. Tato práce je zaměřena na definování metody, která umožňuje měřit spravedlivost libovolného procesního modelu, jež byl namodelován pomocí stochastické Petri sítě. Princip metody spočívá v mapování množiny všech dosažitelných značení stochastické Petri sítě do „continuous-time“ Markovského řetězce a následný výpočet jeho stacionárních pravděpodobností jednotlivých míst. Spravedlivost modelu je poté měřena jako entropie tohoto Markovského řetězce. Hodnota spravedlivosti je z intervalu <0, 1>.	spravedlivost;stochatické Petri sítě;entropie;behaviorální analýza; procesní měření
eng	Measurement of Fairness in Process Models using Entropy and Stochastic Petri Nets	Measurements of various properties of the process models in the last few years become relatively widely explored area. These are properties such as uncertainty, complexity, readability or cohesion of process models. Quantification of these properties can provide better insight in term of, for instance, user-friendliness, predictability, clarity, etc. of the process model. The aim of this work is to design a method for quantification of fairness in the process models which are modelled using stochastic Petri nets. The method is based on mapping the set of all reachable markings of Petri net into Markov chain and then quantification of entropy from stationary probabilities of the individual places (all places or a specific subset). The resulting value of fairness is from the interval <0, 1>.	Fairness; Stochastic Petri Nets; Entropy; Behavioural Analysis; Process Measure

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