Název: Interpret Petriho sítí
Překlad názvu: Interpreter of Petri Nets Formalism
Autoři: Šajdík, Ondrej ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Typ dokumentu: Bakalářské práce
Rok: 2020
Jazyk: slo
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [slo] [eng]
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 a  modelovanie v jazyku PNtalk. V praktickej časti práce bol navrhnutý a implementovaný nástroj pre načítanie modelu definovaného v jazyku PNtalk do vnútornej reprezentácie a vykonávanie jeho dynamiky. Na záver bola vytvorená sada automatizovaných testov pre zabezpečenie kvality a skupina modelov pre demonštráciu vlastností interpreta. The goal of bachelor thesis was to create tool which would be able to interpret Object-oriented Petri nets.  In theoretical part was researched Petri nets, its simple extensions, Object-oriented Petri nets and modeling in language PNtalk. In practical part of thesis was designed and implemented tool for loading model defined in language PNtalk into inner representation and executing its dynamics. In the end was created set of automated tests for quality assurance and group of models for demonstration of interpret features.
Klíčová slova: Interpret; Object-oriented Petri nets; Petri nets; PNtalk

Instituce: Vysoké učení technické v Brně (web)
Informace o dostupnosti dokumentu: Plný text je dostupný v Digitální knihovně VUT.
Původní záznam: http://hdl.handle.net/11012/191406

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-416198


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Vysoké učení technické v Brně
Vysokoškolské kvalifikační práce > Bakalářské práce