Thesis Details

Generování kódu z modelů Petriho sítí

Bachelor's Thesis Student: Fryč Tomáš Academic Year: 2018/2019 Supervisor: Kočí Radek, Ing., Ph.D.
English title
Code Generation from Object Oriented Petri Nets
Language
Czech
Abstract

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, object oriented Petri nets, PNtalk, transformation, compiler, simulator

Department
Department of Intelligent Systems FIT BUT
Degree Programme
Information Technology
Files
Status
defended, grade A
Date
13 June 2019
Reviewer
Janoušek Vladimír, doc. Ing., Ph.D.
Committee
Janoušek Vladimír, doc. Ing., Ph.D. (DITS FIT BUT), předseda
Chudý Peter, doc. Ing., Ph.D. MBA (DCGM FIT BUT), člen
Kekely Lukáš, Ing., Ph.D. (DCSY FIT BUT), člen
Peringer Petr, Dr. Ing. (DITS FIT BUT), člen
Polčák Libor, Ing., Ph.D. (DIFS FIT BUT), člen
Citation
FRYČ, Tomáš. Generování kódu z modelů Petriho sítí. Brno, 2019. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2019-06-13. Supervised by Kočí Radek. Available from: https://www.fit.vut.cz/study/thesis/21446/
BibTeX 
@bachelorsthesis{FITBT21446,
    author = "Tom\'{a}\v{s} Fry\v{c}",
    type = "Bachelor's thesis",
    title = "Generov\'{a}n\'{i} k\'{o}du z model\r{u} Petriho s\'{i}t\'{i}",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2019,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/21446/"
}

Theses

Back to top