Název:
Virtuální stroj Petriho sítí
Překlad názvu:
Petri Nets Virtual Machine
Autoři:
Lapšanský, Tomáš ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce) Typ dokumentu: Bakalářské práce
Rok:
2019
Jazyk:
cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [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.
Klíčová slova:
Objektovo orientované Petriho síte; Petriho síte; PNTalk.; Prekladač; Virtuální stroj; Compilator; 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/180132