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

Abstract:

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.

Keywords

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

Language used: Czech

Date on which the thesis was submitted / produced: 30. 3. 2015

Accessible from:: 31. 12. 2999

Thesis defence

• Date of defence: 22. 6. 2015

University of Pardubice

Faculty of Economics and Administration

Doctoral programme / field:
Applied Informatics / Applied Informatics