but.committee	doc. Ing. František Zbořil, Ph.D. (předseda) doc. RNDr. Pavel Smrž, Ph.D. (místopředseda) doc. Ing. Jiří Jaroš, Ph.D. (člen) doc. Ing. Petr Matoušek, Ph.D., M.A. (člen) Ing. Filip Orság, 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 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: Komise, například: Jak bude možné odstranit časovou degradaci navrženého systému? Komise, například: Co se bude muset doplnit, aby fungovaly reference na podsítě? Komise, například: Co se vyřeší navrženým systémem? Komise, například: Proč byly použity 3 implentační jazyky?	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	Kelemen, Erik	cs
dc.contributor.referee	Janoušek, Vladimír	cs
dc.date.created	2021	cs
dc.description.abstract	Táto práca se zaoberá transformáciou modelu systému popísaného objektovo orientovanou Petriho sieťou na sekvenčný diagram, ktorý umožňuje spätné mapovanie aktivít sekvenčného diagramu do popisu modelu. K riešeniu je použitá diskrétna simulácia modelu popísaná jazykom PNtalk. Výsledkom práce je plne automatický generátor, ktorý pomocou dát z diskrétnej simulácie vygeneruje sekvenčný diagram. Pre generátor je dôležitá minimálna strata informácie zo simulácie a prezentácia validného sekvenčného diagramu.	cs
dc.description.abstract	This thesis focuses on transformation model described by object oriented Petri net to sequence diagram, which allows reverse mapping to original description. As a solution is used discrete simulation of model described in PNtalk language. Result of work is fully automated generator, which generates sequence diagram according to gathered data from simulation. Generator aims for minimal loss of relevant information and presenting valid sequence diagram.	en
dc.description.mark	C	cs
dc.identifier.citation	KELEMEN, E. Generování sekvenčních diagramů z modelů Petriho sítí [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2021.	cs
dc.identifier.other	137565	cs
dc.identifier.uri	http://hdl.handle.net/11012/201094
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	objektovo orientované Petriho siete	cs
dc.subject	sekvenčný diagram	cs
dc.subject	diskrétna simulácia	cs
dc.subject	softvérové inžinierstvo	cs
dc.subject	gRPC	cs
dc.subject	JavaFX	cs
dc.subject	TornadoFX	cs
dc.subject	Docker	cs
dc.subject	object oriented Petri nets	en
dc.subject	sequence diagram	en
dc.subject	discrete simulation	en
dc.subject	software engineering	en
dc.subject	gRPC	en
dc.subject	JavaFX	en
dc.subject	TornadoFX	en
dc.subject	Docker	en
dc.title	Generování sekvenčních diagramů 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	2021-08-23	cs
dcterms.modified	2022-06-20-10:23:03	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	137565	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 19:38:18	en
sync.item.modts	2025.01.17 10:46:24	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í sekvenčních diagramů z modelů Petriho sítí

Files

Original bundle

Collections