|
|
Demonstrace vlastností značených grafů
Horák, Michal ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
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 sítí za účelem zkoumání jejich vlastností. Výsledkem práce je nástroj, který umožní tuto analýzu a případně rozšíří využití Petriho sítí.
|
|
|
Editor Objektově orientovaných Petriho sítí
Karlubík, Peter ; Rogalewicz, Adam (oponent) ; Kočí, Radek (vedoucí práce)
Tato bakalářská práce se zabývá návrhem a implementací nástroje pro editaci a simulaci Objektově orientovaných Petriho sítí. Nástroj podporuje dva formáty zápisu Objektově orientovaných Petriho sítí, a to PNtalk a PNML. Výsledná aplikace v jazyku Java poskytuje dvě hlavní skupiny funkcionalit - vytvářet, načítat a ukládat sítě v těchto formátech a vzdáleně spolupracovat se simulátorem a s jeho využitím zjistit stav simulace a zobrazit ho. První část práce je věnovaná teorii, v které jsou objasněné koncepty spojené s Objektově orientovanými Petriho sítěmi. Ve druhé části se zabýváme popisem implementace a funkcionality implementovaného nástroje pro editaci OOPN a způsobem propojení nástroje se simulátorem.
|
|
|
Jazyky Petriho sítí a jejich akceptory
Pavlů, Igor ; Rogalewicz, Adam (oponent) ; Češka, Milan (vedoucí práce)
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 jazyků Petriho sítí včetně implementace akceptoru těchto tříd jazyků. V práci jsou popsány algoritmy použité při implementaci (rozlišení typu jazyka, automarické vyhodnocení přijetí řetězce, generování řetězců). Na testech je demonstrována správná funkce akceptoru.
|
|
|
Plánování a rozvrhování
Hefka, Lukáš ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Diplomová práce se zabývá problematikou optimalizace plánování a rozvrhování. K tomu se využívá genetických algoritmů inspirovaných evolučním vývojem. Součástí práce je seznámení s problémem plánování a rozvrhování, genetickými algoritmy a Petriho sítěmi. Těchto znalostí bylo využito k vytvoření aplikace, která by s využitím genetických algoritmů dovedla řešit plánovací problémy a výsledné plány pak reprezentovala Časovou Petriho sítí. V závěru práce jsou prezentovány dosažené výsledky a příklady oblasti využití.
|
|
|
Řízení procesů s dynamickou optimalizací rozvrhu zdrojů
Šinkora, Jan ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
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 Petriho sítí. Dále se rozebírají možnosti použití genetických algoritmů pro optimalizaci rozvrhů zdrojů, které určují jejich přiřazení k~jednotlivým aktivitám v~dynamických systémech. Je popsána třída rozvrhovacích problémů s omezenými zdroji a způsob, jakým lze tyto projekty implementovat. Také je ukázáno, jak lze vytvořit složitější model výroby inspirovaný reálnými výrobními procesy. Dále je navržen řídící agent, který sleduje běžící výrobní systém a~umožňuje jeho dynamickou optimalizaci. Celý systém je implementován v prostředí Squeak Smalltalk za využití nástroje PNtalk, který je experimentální implementací objektově orientovaných sítí.
|
|
|
Výukový nástroj pro barvené Petriho sítě
Navrátil, Ondřej ; Kočí, Radek (oponent) ; Rogalewicz, Adam (vedoucí práce)
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 snadnou čitelností a skvělou vyjadřovací schopností. Zároveň disponují pevnými formálními podklady, jenž usnadňují jejich počítačovou simulaci a v omezené míře umožňují verifikovat některé vlastnosti. Motivací tohoto projektu je fakt, že v současnosti je veřejně dostupný pouze jediný nástroj pro úpravu a simulaci CPN, a sice CPNTools vyvíjený na univerzitě v Aarhusu. Program je však komplikovaný a pro nezainteresovaného uživatele obtížně uchopitelný. Cílem projektu je prozkoumat možnosti a vlastnosti CPN a nástroje CPNTools a na základě získaných znalostí navrhnout a implementovat didaktickou aplikaci se svižným a intuitivním rozhraním, která umožní uživatelům bez hlubších teoretických vědomostí získat přehled o problematice CPN.
|
|
| |
|
|
Pokrytelnosti pro paralelní programy
Turoňová, Lenka ; Vojnar, Tomáš (oponent) ; Holík, Lukáš (vedoucí práce)
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 invariantu (například pomocí techniky zjemňování abstrakce řízené protipříklady (CEGAR)). Efektivnost metod závisí na velikosti nalezeného invariantu. V rámci této diplomové práce jsme nalezli možnost zlepšení metod díky zaměření se na hledání invariantů minimální velikosti. Naimplementovali jsme nástroj, který zajišťuje prohledávání prostoru invariantů systému. Naše experimentální výsledky ukazují, že mnoho existujících systémů užívaných v praxi má skutečně mnohem menší invarianty než ty, které lze nalézt stávajícími metodami. Závěry a výsledky této práce budou sloužit jako základ budoucího výzkumu, jehož cílem bude navržení optimální metody pro vypočítání malých invariantů paralelních systémů.
|
|
|
Vizualizace Petriho sítí na Power Panelu
Krechler, Michal ; Malounek, Petr (oponent) ; Chomát, Luděk (vedoucí práce)
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ší problematika Petriho síti pro simulaci technoologických procesů. Dále se zaměřuje na použití funkcí Automation Studia 3.0 při dynamickém zobrazování Petriho sítě na Power Panelu. Součástí je vytvoření několika vzorových Petriho sítí pro řízení modelů.
|
|
|
Petriho sítě pro expertní systémy
Million, Pavel ; Pohl, Jan (oponent) ; Jirsík, Václav (vedoucí práce)
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 tvorbě báze znalostí pro diagnostický a plánovací expertní systém z hlediska struktury Petriho sítí. Jsou zde popsány podmínky použití Petriho sítí a způsob interpretace znalostí pro inferenční mechanismus jak u diagnostických tak u plánovacích expertních systémů. Rovněž je zde předvedeno použití Petriho sítí vyšší úrovně a jazyk popisující strukturu Petriho sítě.
|
host ::
RSS.