but.committee	doc. Ing. Vladimír Janoušek, Ph.D. (předseda) doc. Ing. Peter Chudý, Ph.D., MBA (místopředseda) Ing. Lukáš Kekely, Ph.D. (člen) Dr. Ing. Petr Peringer (člen) Ing. Libor Polčák, Ph.D. (člen)	cs
but.defence	Student 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. Komise se na základě posudku oponenta, hodnocení vedoucího a přednesené prezentace rozhodla práci hodnotit stupněm A.	cs
but.jazyk	čeština (Czech)
but.program	Informační technologie	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Kočí, Radek	cs
dc.contributor.author	Fryč, Tomáš	cs
dc.contributor.referee	Janoušek, Vladimír	cs
dc.date.created	2019	cs
dc.description.abstract	Tato práce se zabývá modelováním systémů pomocí Objektově orientovaných Petriho sítí (OOPN) a navržením mechanismu, který tento formalismus transformuje do programovacího jazyka Java. V první části práce je popis Petriho sítí, rozšíření o objektovou orientaci a jazyka PNtalk, který je konkretní implementací OOPN. Další část se zabývá samotným mechanismem, který z modelu zapsaných v jazyku PNtalk vygeneruje ekvivalentní modely v Javě a popisuje způsob simulace takto vygenerovaných modelů. Generátor je koncipiován tak, aby byl snadno rozšiřitelný a vygenerované modely modifikovatelné.	cs
dc.description.abstract	This thesis describes modeling systems using Object Oriented Petri Nets (OOPN) and design of mechanism which transforms this formalism into Java programming language. The first part of the thesis describes Petri Nets formalism, its extension to object orientaton and PNtalk language, which is specific implementation of OOPN. The next part deals with the mechanism that generates equivalent models in Java from models described by PNtalk, and describes how to simulate these generated models. The generator is designed to be easily expandable and the generated models can be easily modifiable.	en
dc.description.mark	A	cs
dc.identifier.citation	FRYČ, T. Generování kódu z modelů Petriho sítí [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2019.	cs
dc.identifier.other	121922	cs
dc.identifier.uri	http://hdl.handle.net/11012/180133
dc.language.iso	cs	cs
dc.publisher	Vysoké učení technické v Brně. Fakulta informačních technologií	cs
dc.rights	Standardní licenční smlouva - přístup k plnému textu bez omezení	cs
dc.subject	generátor kódu	cs
dc.subject	objektově orientové Petriho sítě	cs
dc.subject	PNtalk	cs
dc.subject	transformace	cs
dc.subject	překladač jazyka	cs
dc.subject	simulátor	cs
dc.subject	code generator	en
dc.subject	object oriented Petri nets	en
dc.subject	PNtalk	en
dc.subject	transformation	en
dc.subject	compiler	en
dc.subject	simulator	en
dc.title	Generování kódu z modelů Petriho sítí	cs
dc.title.alternative	Code Generation from Object Oriented Petri Nets	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2019-06-13	cs
dcterms.modified	2019-07-08-13:31:18	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	121922	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 19:23:08	en
sync.item.modts	2025.01.16 00:32:12	en
thesis.discipline	Informační technologie	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů	cs
thesis.level	Bakalářský	cs
thesis.name	Bc.	cs

Generování kódu z modelů Petriho sítí

Files

Original bundle

Collections