Original title:
Interpret Petriho sítí
Translated title:
Interpreter of Petri Nets Formalism
Authors:
Šajdík, Ondrej ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor) Document type: Bachelor's theses
Year:
2020
Language:
slo Publisher:
Vysoké učení technické v Brně. Fakulta informačních technologií Abstract:
[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.
Keywords:
Interpret; Object-oriented Petri nets; Petri nets; PNtalk
Institution: Brno University of Technology
(web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library. Original record: http://hdl.handle.net/11012/191406