Login for students

Login for employees

Publication detail

Measurement of Fairness in Process Models using Entropy and Stochastic Petri Nets
Authors: Ibl Martin
Year: 2014
Type of publication: článek ve sborníku
Name of source: ICSOFT-PT 2014: Proceedings of the 9th International Conference on Software Paradigm Trends
Publisher name: SciTePress - Science and Technology Publications
Place: Porto
Page from-to: 115-120
Titles:
Language Name Abstract Keywords
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

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