but.committee	doc. Ing. Ondřej Ryšavý, Ph.D. (předseda) doc. Ing. Jan Kořenek, Ph.D. (místopředseda) doc. Ing. Radek Burget, Ph.D. (člen) Ing. Matěj Grégr, Ph.D. (člen) doc. Mgr. Lukáš Holík, 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 B. Otázky u obhajoby: Jak byste realizoval oboustranné komunikační propojení interpretu s libovolnými Java objekty? Motivačním príkladem může být realizace serverové části webové aplikace pomocí OOPN. Jak zpracováváte asynchronní požadavky zvenku do Petriho sítě?	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	Blažek, Tomáš	cs
dc.contributor.referee	Janoušek, Vladimír	cs
dc.date.accessioned	2020-07-20T19:57:48Z
dc.date.available	2020-07-20T19:57:48Z
dc.date.created	2020	cs
dc.description.abstract	Tato práce se zabývá konceptem formalismu Petriho sítí, který umožňuje zkoumat dynamické chování paralelních a nedeterministických systémů. Dále se práce zabývá jeho variantou Objektově orientovaných Petriho sítí (OOPN), jejímž cílem je usnadnit proces modelování systémů objektově orientovaným přístupem. Cílem této diplomové práce je navrhnout vnitřní reprezentaci modelů OOPN vhodnou pro efektivní interpretaci a implementovat překladač z jazyka PNtalk do vnitřní reprezentace. Následně pak navrhnout a realizovat interpret modelů OOPN, který bude umožňovat provádění simulace běhu těchto modelů s tím, že výsledný interpret musí také kromě objektů Petriho sítí umět pracovat i s vybranou podmnožinou objektů z jazyka Java.	cs
dc.description.abstract	This thesis deals with the concept of the formalism of Petri nets, which allows to investigate the dynamic behavior of parallel and nondeterministic systems. Furthermore, this deals with its variant of Object-Oriented Petri Nets (OOPN), which aims to facilitate the process of modeling systems with an object-oriented approach. The aim of this master thesis is to design an internal representation of OOPN models, which is suitable for efficient interpretation and implement compiler from PNtalk language into the internal representation. Subsequently, design and implement an OOPN model interpreter using this internal representation of models, which in addition to Petri net objects, must also be able to work with a selected subset of objects from the Java language.	en
dc.description.mark	B	cs
dc.identifier.citation	BLAŽEK, T. Interpret Petriho sítí [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2020.	cs
dc.identifier.other	129246	cs
dc.identifier.uri	http://hdl.handle.net/11012/192429
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	Petriho sítě	cs
dc.subject	Objektově orientované Petriho sítě	cs
dc.subject	Překladač	cs
dc.subject	Interpret	cs
dc.subject	Simulátor	cs
dc.subject	Petri nets	en
dc.subject	Object oriented Petri nets	en
dc.subject	Compiler	en
dc.subject	Interpreter	en
dc.subject	Simulator	en
dc.title	Interpret Petriho sítí	cs
dc.title.alternative	Interpreter of Petri Nets Formalism	en
dc.type	Text	cs
dc.type.driver	masterThesis	en
dc.type.evskp	diplomová práce	cs
dcterms.dateAccepted	2020-07-15	cs
dcterms.modified	2020-07-17-14:42:11	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	129246	en
sync.item.dbtype	ZP	en
sync.item.insts	2021.11.12 12:12:09	en
sync.item.modts	2021.11.12 10:53:40	en
thesis.discipline	Informační systémy	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů	cs
thesis.level	Inženýrský	cs
thesis.name	Ing.	cs

Interpret Petriho sítí

Files

Original bundle

Collections