Virtuální stroj Petriho sítí

Simple item page
but.committeeprof. Ing. Tomáš Vojnar, Ph.D. (předseda) prof. Ing. Jan M. Honzík, CSc. (místopředseda) Ing. František Grézl, Ph.D. (člen) doc. Ing. Jan Kořenek, Ph.D. (člen) Ing. Aleš Smrčka, Ph.D. (člen)cs
but.defenceStudent nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm " D ".cs
but.jazykčeština (Czech)
but.programInformační technologiecs
but.resultpráce byla úspěšně obhájenacs
dc.contributor.advisorKočí, Radekcs
dc.contributor.authorLapšanský, Tomášcs
dc.contributor.refereeJanoušek, Vladimírcs
dc.date.created2019cs
dc.description.abstractBakalá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.cs
dc.description.abstractThis 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.en
dc.description.markDcs
dc.identifier.citationLAPŠANSKÝ, T. Virtuální stroj Petriho sítí [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2019.cs
dc.identifier.other121921cs
dc.identifier.urihttp://hdl.handle.net/11012/180132
dc.language.isocscs
dc.publisherVysoké učení technické v Brně. Fakulta informačních technologiícs
dc.rightsStandardní licenční smlouva - přístup k plnému textu bez omezenícs
dc.subjectPetriho sítecs
dc.subjectObjektovo orientované Petriho sítecs
dc.subjectVirtuální strojcs
dc.subjectPrekladačcs
dc.subjectPNTalk.cs
dc.subjectPetri Netsen
dc.subjectObject Oriented Petri Netsen
dc.subjectVirtual Machineen
dc.subjectCompilatoren
dc.subjectPNTalk.en
dc.titleVirtuální stroj Petriho sítícs
dc.title.alternativePetri Nets Virtual Machineen
dc.typeTextcs
dc.type.driverbachelorThesisen
dc.type.evskpbakalářská prácecs
dcterms.dateAccepted2019-06-10cs
dcterms.modified2019-07-08-13:31:18cs
eprints.affiliatedInstitution.facultyFakulta informačních technologiícs
sync.item.dbid121921en
sync.item.dbtypeZPen
sync.item.insts2025.03.18 19:23:07en
sync.item.modts2025.01.15 19:25:24en
thesis.disciplineInformační technologiecs
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémůcs
thesis.levelBakalářskýcs
thesis.nameBc.cs
Files
Original bundle
Now showing 1 - 4 of 4
Thumbnail Image
Name:
final-thesis.pdf
Size:
666.07 KB
Format:
Adobe Portable Document Format
Description:
final-thesis.pdf
Download
Thumbnail Image
Name:
Posudek-Vedouci prace-21442_v.pdf
Size:
85.62 KB
Format:
Adobe Portable Document Format
Description:
Posudek-Vedouci prace-21442_v.pdf
Download
Thumbnail Image
Name:
Posudek-Oponent prace-21442_o.pdf
Size:
89.54 KB
Format:
Adobe Portable Document Format
Description:
Posudek-Oponent prace-21442_o.pdf
Download
Thumbnail Image
Name:
review_121921.html
Size:
1.43 KB
Format:
Hypertext Markup Language
Description:
file review_121921.html
Download
Collections
2019