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

Ing. Martin Ibl

Disertační práce

Uncertainty and Fairness in Petri Nets Modelling

Anotace:

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.

Klíčová slova

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

Jazyk práce: čeština

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

Zveřejnit od: 31. 12. 2999

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

• Obhajoba proběhla 22. 6. 2015

Univerzita Pardubice

Fakulta ekonomicko-správní

Doktorský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika