Thesis Details

Nástroj pro práci s Objektově orientovanými Petriho sítěmi

Bachelor's Thesis Student: Josefík Martin Academic Year: 2015/2016 Supervisor: Kočí Radek, Ing., Ph.D.
English title
The Tool for Object Oriented Petri Nets
Language
Czech
Abstract

This thesis deals with creation of the tool for Object Oriented Petri Nets which uses two different languages PNML and PNtalk. PNML is an XML-based interchange format for Petri nets. Its advantage is that it is possible to describe each element of Petri net by element of PNML language. PNtalk is based on the formalism of Object Oriented Petri Nets and also on Smalltalk language. The tool for OOPN will communicate with the external application PNtalk system in order to exchange models between these two applications. There will be discussed possible extensions for the tool at the end of the thesis.

Keywords

Object oriented Petri nets, simulation, PNtalk, PNML, simulation server

Department
Department of Intelligent Systems FIT BUT
Degree Programme
Information Technology
Files
Status
defended, grade C
Date
13 June 2016
Reviewer
Janoušek Vladimír, doc. Ing., Ph.D.
Committee
Kreslíková Jitka, doc. RNDr., CSc. (DIFS FIT BUT), předseda
Bidlo Michal, doc. Ing., Ph.D. (DCSY FIT BUT), člen
Chudý Peter, doc. Ing., Ph.D. MBA (DCGM FIT BUT), člen
Janoušek Vladimír, doc. Ing., Ph.D. (DITS FIT BUT), člen
Kočí Radek, Ing., Ph.D. (DITS FIT BUT), člen
Citation
JOSEFÍK, Martin. Nástroj pro práci s Objektově orientovanými Petriho sítěmi. Brno, 2016. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2016-06-13. Supervised by Kočí Radek. Available from: https://www.fit.vut.cz/study/thesis/18426/
BibTeX 
@bachelorsthesis{FITBT18426,
    author = "Martin Josef\'{i}k",
    type = "Bachelor's thesis",
    title = "N\'{a}stroj pro pr\'{a}ci s Objektov\v{e} orientovan\'{y}mi Petriho s\'{i}t\v{e}mi",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2016,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/18426/"
}

Theses

Back to top