Neurčitost a spravedlivost při modelování v Petri sítích

Ing. Martin Ibl

Doctoral thesis

Uncertainty and Fairness in Petri Nets Modelling

Anotácia:

Disertační práce pojednává o definování nových vlastností Petri sítí, a to o neurčitosti a spravedlivosti v klasických Place/Transition a stochastických Petri sítích. Pomocí aplikace principů z oblasti informační entropie, tj. kvantifikace entropie nad stacionárními pravděpodobnostmi je definován postup výpočtu neurčitosti a spravedlivosti v Petri sítích. Součástí práce je implementace navržených vlastností v prostředí Matlab a vlastní implementace editoru Petri sítí, který umožňuje modelovat analyzovat libovolnou Place/Transition nebo stochastickou Petri síť.

Abstract:

Dissertation thesis discusses the definition of new Petri nets properties, namely the uncertainty and fairness in the classical Place/Transition Petri nets and stochastic Petri nets. Using principles from the calculation of the information entropy on stationary probabilities, it is then possible to define the procedure for calculating the uncertainty and fairness in the Petri nets. Part of the work is the implementation of the proposed methods in Matlab and a custom implementation of the Petri nets, which allows modelling and analysing arbitrary Place/Transition or stochastic net.

Kľúčové slová

Neurčitost, spravedlivost, Petri sítě, verifikace, implementace

Jazyk práce: Czech

Datum vytvoření / odevzdání či podání práce: 30. 3. 2015

Zverejniť od: 31. 12. 2999

Obhajoba závěrečné práce

• Obhajoba proběhla 22. 6. 2015

University of Pardubice

Faculty of Economics and Administration

Doctoral programme / odbor:
Applied Informatics / Applied Informatics