Now showing items 1-14 of 14

  • Demonstrace vlastností značených grafů 

    Horák, Michal
    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 ...
  • Editor Objektově orientovaných Petriho sítí 

    Karlubík, Peter
    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. ...
  • Framework pro tvorbu a ověřování specifikačních modelů 

    Matalík, Štěpán
    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í, ...
  • Fuzzy Petriho sítě pro expertní systémy 

    Maksant, Jindřich
    Tato práce si klade za cíl návrh a praktickou realizaci expertního systému, jehož báze znalostí bude modelovaná fuzzy Petriho sítí. Při návrhu je vycházeno z poznatků teoretického rozboru diagnostického expertního systému ...
  • Grafický editor Objektově orientovaných Petriho sítí 

    Neužil, Antonín
    Tato bakalářská práce se zabývá Petriho sítěmi a jejich modelování. V první řadě práce popisuje formalismy Petriho sítě. Dále se také zaměří na objektovou orientovanost sítí. V druhé řadě se práce specializuje na vytvořenou ...
  • Internet věcí s uzly na bázi PNVM 

    Korejtko, Tomáš
    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í 

    Blažek, Tomáš
    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 

    Pavlů, Igor
    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 

    Million, Pavel
    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 ...
  • Plánování a rozvrhování 

    Hefka, Lukáš
    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í, ...
  • Pokrytelnosti pro paralelní programy 

    Turoňová, Lenka
    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ů 

    Šinkora, Jan
    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 ...
  • Simulační server pro DEVS 

    Šimara, Michal
    Cílem této diplomové práce bylo navrhnout a implementovat simulační server pro DEVS využívající již existujícího systému SmallDEVS. V práci se budeme hlavně zabývat popisem DEVS formalismu, systému SmallDEVS a implementovaného ...
  • Výukový nástroj pro barvené Petriho sítě 

    Navrátil, Ondřej
    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 ...