but.committee	doc. Dr. Ing. Dušan Kolář (předseda) doc. Ing. Peter Chudý, Ph.D., MBA (místopředseda) doc. Ing. Jan Kořenek, Ph.D. (člen) Ing. Ondřej Lengál, Ph.D. (člen) RNDr. Marek Rychlý, 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. Student následně odpověděl na otázky oponenta a na další 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 C. Otázky u obhajoby: Jak vaše výsledky zapadají do kontextu jiných prací na podobná témata (překlad/interpretace OOPN) a jaké vidíte možnosti využití vašeho interpretu?	cs
but.jazyk	slovenština (Slovak)
but.program	Informační technologie	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Kočí, Radek	sk
dc.contributor.author	Šajdík, Ondrej	sk
dc.contributor.referee	Janoušek, Vladimír	sk
dc.date.created	2020	cs
dc.description.abstract	Cieľom bakalárskej práce bolo vytvoriť nástroj schopný interpretovať Objektovo orientované Petriho siete. V teoretickej časti boli preskúmané Petriho siete, jeho jednoduché rozšírenia, Objektovo orientované Petriho siete a modelovanie v jazyku PNtalk. V praktickej časti práce bol navrhnutý a implementovaný nástroj pre načítanie modelu definovaného v jazyku PNtalk do vnútornej reprezentácie a vykonávanie jeho dynamiky. Na záver bola vytvorená sada automatizovaných testov pre zabezpečenie kvality a skupina modelov pre demonštráciu vlastností interpreta.	sk
dc.description.abstract	The goal of bachelor thesis was to create tool which would be able to interpret Object-oriented Petri nets. In theoretical part was researched Petri nets, its simple extensions, Object-oriented Petri nets and modeling in language PNtalk. In practical part of thesis was designed and implemented tool for loading model defined in language PNtalk into inner representation and executing its dynamics. In the end was created set of automated tests for quality assurance and group of models for demonstration of interpret features.	en
dc.description.mark	C	cs
dc.identifier.citation	ŠAJDÍK, O. Interpret Petriho sítí [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2020.	cs
dc.identifier.other	129007	cs
dc.identifier.uri	http://hdl.handle.net/11012/191406
dc.language.iso	sk	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	Petriho sieťe	sk
dc.subject	Objektovo orientované Petriho sieťe	sk
dc.subject	PNtalk	sk
dc.subject	Interpret	sk
dc.subject	Petri nets	en
dc.subject	Object-oriented Petri nets	en
dc.subject	PNtalk	en
dc.subject	Interpret	en
dc.title	Interpret Petriho sítí	sk
dc.title.alternative	Interpreter of Petri Nets Formalism	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2020-07-09	cs
dcterms.modified	2020-07-13-23:41:08	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	129007	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 19:28:01	en
sync.item.modts	2025.01.17 11:53:15	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

Interpret Petriho sítí

Files

Original bundle

Collections