Neurčitost a spravedlivost při modelování v Petri sítích
Disertační práceOtevřený přístupDatum publikování
2015
Autoři
Vedoucí práce
Název časopisu
Název svazku
Vydavatel
Univerzita Pardubice
Abstrakt
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íť.
Rozsah stran
ISSN
Trvalý odkaz na tento záznam
Projekt
Zdrojový dokument
Vydavatelská verze
Přístup k e-verzi
bez omezení
Název akce
ISBN
Studijní obor
Aplikovaná informatika
Studijní program
Aplikovaná informatika
Signatura tištěné verze
D32332
Umístění tištěné verze
Univerzitní knihovna (studovna)
Přístup k tištěné verzi
Klíčová slova
neurčitost, spravedlivost, petri sítě, verifikace, implementace, uncertainty, fairness, petri nets, verification, implementation