Now showing items 1-4 of 4

  • 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. ...
  • 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í, ...
  • Virtuální stroj Petriho sítí 

    Lapšanský, Tomáš
    Bakalárska práca formálne definuje pojem Objektovo orientované Petriho siete. Práca ďalej navrhuje koncept prekladača a virtuálneho stroja pre Objektovo orientované Petriho siete s využitím jazyk PNTalk. Popisuje implementáciu ...
  • Virtuální stroj pro Objektově orientované Petriho sítě 

    Sitarčík, Ľuboš
    Diplomová práce formálne definuje Objektovo orientované Petriho síte a představuje pojem virtuální stroj. Pak práce představuje koncept virtuálního stroje pro Objektovo orientované Petriho síte. Nakonec je v práci popsána ...