Digitální knihovnaUPCE
 

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

Disertační práceOtevřený přístup

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

Endorsement

Review

item.page.supplemented

item.page.referenced