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íť.
Anotace v angličtině
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
Klíčová slova v angličtině
Uncertainty, Fairness, Petri nets, Verification, Implementation
Rozsah průvodní práce
-
Jazyk
CZ
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íť.
Anotace v angličtině
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
Klíčová slova v angličtině
Uncertainty, Fairness, Petri nets, Verification, Implementation
Zásady pro vypracování
-
Zásady pro vypracování
-
Seznam doporučené literatury
-
Seznam doporučené literatury
-
Přílohy volně vložené
-
Přílohy vázané v práci
-
Převzato z knihovny
Ne
Plný text práce
Přílohy
Posudek(y) oponenta
Hodnocení vedoucího
Záznam průběhu obhajoby
Doktorand na položené otázky reagoval uspokojivě. Hlavní cíle disertační práce byly splněné, nevyužil však všechny možnosti, které v souvislosti s tématem jsou už publikované. Zvlášť významné jsou dosažené výsledky pro společenskou praxi.