Browsing by Subject "Petri nets"
Now showing items 1-11 of 11
-
Demonstrace vlastností značených grafů
Tato práce prezentuje problematiku Petriho sítí jakožto modelovacího prostředku. Probrány jsou jejich vlastnosti a dělení na podtřídy, jejichž součástí jsou značené grafy. Cílem práce je analýza stavového prostoru Petriho ... -
Framework pro tvorbu a ověřování specifikačních modelů
Tato práce se zabývá objektově orientovanými Petriho sítěmi (OOPN) a tvorbou nástroje pro tvorbu a ověřování specifikačních modelů popsaných OOPN. V první části práce jsou popsány formalismy existujících typů Petriho sítí, ... -
Internet věcí s uzly na bázi PNVM
Práce se zabývá problematikou Internet of Things (IoT) a otevřených technologických řešení s tím souvisejících. Konkrétně se zaměřuje na softwarová řešení v oblasti chytrého domu kompatibilní s platformou Raspberry Pi a ... -
Interpret Petriho sítí
Cieľom bakalárskej práce bolo vytvoriť nástroj schopný interpretovať Objektovo orientované Petriho siete. V teoretickej časti boli preskúmané Petriho siete, jeho jednoduché rozšírenia, Objektovo orientované Petriho siete ... -
Interpret Petriho sítí
Tato práce se zabývá konceptem formalismu Petriho sítí, který umožňuje zkoumat dynamické chování paralelních a nedeterministických systémů. Dále se práce zabývá jeho variantou Objektově orientovaných Petriho sítí (OOPN), ... -
Jazyky Petriho sítí a jejich akceptory
Tato práce se zabývá P/T Petriho sítěmi a jazyky Petriho sítí. V práci jsou také uvažovány omega-jazyky a jejich vztak k Petriho sítím. Hlavní náplní práce je navržení akceptoru (rozšířené Petriho sítě) některých tříd ... -
Petriho sítě pro expertní systémy
Cílem této práce je popsat základní atributy expertního systému pomocí Petriho sítí. Pozornost je věnována zejména tvorbě znalostní báze, způsob uchovávání a reprezentace znalostí. Dále je zde popsán zásadní rozdíl při ... -
Pokrytelnosti pro paralelní programy
Tato diplomová práce se zabývá automatickou verifikací systémů s paralelně běžícími procesy. Práce diskutuje existující metody a možnosti jejich optimalizace. Stávající techniky jsou založeny na hledání induktivního ... -
Řízení procesů s dynamickou optimalizací rozvrhu zdrojů
Práce se zabývá mezioborovou problematikou na pomezí informačních technologií a~optimalizace procesů. Jsou zde využity a rozšířeny dříve navržené postupy pro modelování projektů a~zdrojů pomocí objektově orientovaných ... -
Vizualizace Petriho sítí na Power Panelu
KRECHLER, M. Vizualizace Petriho sítí na Power Panelu. Brno: Vysoké učení technické v Brně, Fakulta elektrotechniky a komunikačních technologií, 2009. 75 s. Vedoucí bakalářské práce Ing. Luděk Chomát. V práci se řeší ... -
Výukový nástroj pro barvené Petriho sítě
Barvené Petriho sítě (CPN) jsou rozšířením klasických place-transition Petriho sítí (P/T PN). Všechny tokeny a místa zde mají svůj typ (příp. i hodnotu), do sítě lze dále vkládat různé typy inskripcí. CPN vynikají svou ...