Original title:
Virtuální stroj Petriho sítí
Translated title:
Petri Nets Virtual Machine
Authors:
Lapšanský, 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]
Bakalárska práca formálne definuje pojem Objektovo orientované Petriho siete. Práca ďalej navrhuje koncept prekladača a virtuálneho stroja pre Objektovo orientované Petriho siete s využitím jazyk PNTalk. Popisuje implementáciu virtuálneho stroja a prekladača.
This bachelor thesis formally defines the Object Oriented Petri Nets. Then it designs concept of compilator and virtual machine for Object Oriented Petri Nets using PNTalk language. It uses PNTalk language. It describes implementation of virtual machine and compiler.
Keywords:
Compilator; Object Oriented Petri Nets; Petri Nets; PNTalk.; Virtual Machine; Objektovo orientované Petriho síte; Petriho síte; PNTalk.; Prekladač; Virtuální stroj
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/180132