Now showing items 1-7 of 7

  • 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í, ...
  • 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í 

    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), ...
  • Nástroj pro podporu vývoje softwarových systémů 

    Hrubý, Daniel
    Nástroj pro podporu vývoje systémů je aplikace sloužící pro usnadnění průběhu vývoje softwarových systémů. Pomocí diagramu užití pomáhá k lepšímu porozumění požadavků od zákazníka, následně s využitím diagramu tříd lze ...
  • Nástroj pro podporu vývoje softwarových systémů 

    Hala, Karel
    Nástroj pro podporu vývoje softwarových systému je aplikace  sloužící pro vizuální znázornění průběhu vývoje aplikace. Slouží k porozumění požadavků od zákazníka, tyto požadavky převádí do objektového návrhu s možností ...
  • 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 ...