Now showing items 1-14 of 14

  • 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í, ...
  • Garbage collector objektů jazyka PNtalk 

    Mišák, Ján
    Tato práce se zabývá návrhem a implementací garbage collectoru pro virtuální stroj jazyka PNtalk. Jsou v ní popsány a zhodnoceny jednotlivé přístupy a konkrétní algoritmy pro automatickou správu paměti a detailne popsáno ...
  • Generování kódu z modelů Petriho sítí 

    Fryč, Tomáš
    Tato práce se zabývá modelováním systémů pomocí Objektově orientovaných Petriho sítí (OOPN) a navržením mechanismu, který tento formalismus transformuje do programovacího jazyka Java. V první části práce je popis Petriho ...
  • Generování kódu z Objektově orientovaných Petriho sítí 

    Hanák, Martin
    Tato diplomová práce se zabývá generováním zdrojových kódů z jazyka PNtalk do standardních objektově orientovaných jazyků, např. C++ nebo Java. Rozebírá možnosti zjednodušeného modelování formalismu Objektově orientovaných ...
  • 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 ...
  • Interpret Petriho sítí 

    Šajdík, Ondrej
    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 ...
  • Knihovna vzorů Petriho sítí 

    Hanák, Martin
    Tato bakalářská práce se zabývá vytvářením modelů pomocí formalismu Objektově orientovaných Petriho sítí (dále jen OOPN). Rozebírá význam a možnosti tohoto formalismu a ve své druhé části se snaží identifikovat užitečné ...
  • Modelem řízený návrh konferenčního systému 

    Caha, Matěj
    Tato diplomová práce se zabývá problematikou modelem řízeného návrhu a aplikace simulací v návrhu systémů. V rámci uvedení do problematiky práce diskutuje historii procesu vývoje SW a nastiňuje jeho aktuální stav. Cílem ...
  • Modelem řízený návrh softwarových systémů 

    Hanák, Tomáš
    Tato práce se zabývá moderním přístupem při vytváření softwarových systémů, který se nazývá modelem řízený návrh softwarových systémů. Jedná se o metodiku, která odstraňuje řadu kritických problémů, jež se vyskytují při ...
  • Nástroj pro práci s Objektově orientovanými Petriho sítěmi 

    Josefík, Martin
    Tato práce se zabývá tvorbou nástroje pro práci s Objektově orientovanými Petriho sítěmi za použití dvou rozdílných jazyků PNML a PNtalk. PNML slouží pro popis Petriho sítě, je založený na XML a jeho výhodou je, že dokáže ...
  • Nástroj pro práci s Objektově orientovanými Petriho sítěmi 

    Neužil, Antonín
    Tato práce pojednává o vývoji a použití grafického editoru objektově orientovaných Petriho sítích implementovaných v jazyce PNtalk. Nejprve jsou zde popsány Petriho sítě rozšiřující se s postupem času. Navazuje na ně popis ...
  • Ří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 ...
  • Simulace a návrh inteligentních agentů 

    Šperka, Svatopluk
    Konvenční způsob vývoje opakující fáze návrhu, implementace a testování není adekvátní pro systémy třídy inteligentních agentů, u nichž je vyžadováno komplexní chování, ale jejich specifikace je na počátku nejasná. Jako ...