Original title: Generování kódu z modelů Petriho sítí
Translated title: Code Generation from Object Oriented Petri Nets
Authors: Fryč, Tomáš ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
Document type: Bachelor's theses
Year: 2019
Language: cze
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [cze] [eng]
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 sítí, rozšíření o objektovou orientaci a jazyka PNtalk, který je konkretní implementací OOPN. Další část se zabývá samotným mechanismem, který z modelu zapsaných v jazyku PNtalk vygeneruje ekvivalentní modely v Javě a popisuje způsob simulace takto vygenerovaných modelů. Generátor je koncipiován tak, aby byl snadno rozšiřitelný a vygenerované modely modifikovatelné. This thesis describes modeling systems using Object Oriented Petri Nets (OOPN) and design of mechanism which transforms this formalism into Java programming language. The first part of the thesis describes Petri Nets formalism, its extension to object orientaton and PNtalk language, which is specific implementation of OOPN. The next part deals with the mechanism that generates equivalent models in Java from models described by PNtalk, and describes how to simulate these generated models. The generator is designed to be easily expandable and the generated models can be easily modifiable.
Keywords: code generator; compiler; object oriented Petri nets; PNtalk; simulator; transformation; generátor kódu; objektově orientové Petriho sítě; PNtalk; překladač jazyka; simulátor; transformace

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/180133

Permalink: http://www.nusl.cz/ntk/nusl-403005


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Bachelor's theses