Original title:
Virtuální stroj pro Objektově orientované Petriho sítě
Translated title:
Object Oriented Petri Nets Virtual Machine
Authors:
Sitarčík, Ľuboš ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor) Document type: Master’s theses
Year:
2015
Language:
cze Publisher:
Vysoké učení technické v Brně. Fakulta informačních technologií Abstract:
[cze][eng]
Diplomová práce formálne definuje Objektovo orientované Petriho síte a představuje pojem virtuální stroj. Pak práce představuje koncept virtuálního stroje pro Objektovo orientované Petriho síte. Nakonec je v práci popsána implementace virtuálního stroje pro OOPN.
This diploma thesis formally defines the Object Oriented Petri Nets and presents term a virtual machine. Then it introduces the concept of Object Oriented Petri Nets Virtual Machine. Finally, project describes a procedure for implementation of the OOPN Virtual Machine.
Keywords:
Object Oriented Petri Nets; Petri Nets; PNTalk.; Virtual Machine; Objektovo orientované Petriho síte; Petriho síte; PNTalk.; 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/52253