Název:
Virtuální stroj pro Objektově orientované Petriho sítě
Překlad názvu:
Object Oriented Petri Nets Virtual Machine
Autoři:
Sitarčík, Ľuboš ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce) Typ dokumentu: Diplomové práce
Rok:
2015
Jazyk:
cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [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.
Klíčová slova:
Objektovo orientované Petriho síte; Petriho síte; PNTalk.; Virtuální stroj; Object Oriented Petri Nets; Petri Nets; PNTalk.; Virtual Machine
Instituce: Vysoké učení technické v Brně
(web)
Informace o dostupnosti dokumentu:
Plný text je dostupný v Digitální knihovně VUT. Původní záznam: http://hdl.handle.net/11012/52253