Interpret podtřídy barvené Petriho sítě

Nejman, Petr

Publikace:
Interpret podtřídy barvené Petriho sítě

Diplomová práceopen access

dc.contributor.advisor	Kavička, Antonín
dc.contributor.author	Nejman, Petr
dc.contributor.referee	Adamko, Norbert
dc.date.accepted	2011
dc.date.accessioned	2011-10-03T20:31:37Z
dc.date.available	2011-10-03T20:31:37Z
dc.date.issued	2011
dc.description.abstract	Práce se zabývá částí problematiky v ABAsim architektuře. Vysvětluje některé potřebné pojmy z oblasti simulací a oblasti Petriho sítí, ale hlavně je věnována podtřídě barvené Petriho sítě tzv. ABA-CPN, která je navržena a použita jako rozhodovací logika manažerů agentů. Cílem práce je pro tuto podtřídu vytvořit interpreta, který dokáže provést na této síti evoluci.	cze
dc.description.abstract-translated	The work deals with the issues in part ABAsim architecture. Explains some necessary concepts from domain of the simulations and the Petri nets, but is mainly devoted to the subclass of coloured Petri net so-called ABA-CPN, which is designed and used as a decision logic of agents managers. The goal of a work is to create an interpreter, which can perform evolution on this net.	eng
dc.description.defence	Velice vydařená diplomová práce. Též obhajoba proběhla na výborné úrovni. Student reagoval na připomínky členů komise a zodpověděl všechny dotazy. Dle vedoucího práce diplomant úspěšně navrhl, implementoval a ověřil správnou funkčnost softwaru pro budování, verifikaci a interpretaci ABA-CPN sítí. Komise hodnotila diplomovou práci jako velice vydařenou a navrhla ji na ocenění - cena děkana.	cze
dc.description.department	Katedra softwarových technologií	cze
dc.description.grade	Dokončená práce s úspěšnou obhajobou	cze
dc.format	75 s.
dc.format.extent	4848923 bytes	cze
dc.format.mimetype	application/zip	cze
dc.identifier	Univerzitní knihovna (sklad)	cze
dc.identifier.signature	D25503
dc.identifier.stag	14037	cze
dc.identifier.uri	https://hdl.handle.net/10195/41948
dc.language.iso	cze
dc.publisher	Univerzita Pardubice	cze
dc.rights	Bez omezení	cze
dc.subject	simulace	cze
dc.subject	ABAsim architektura	cze
dc.subject	barvená Petriho síť	cze
dc.subject	ABA-CPN	cze
dc.subject	simulation	eng
dc.subject	ABAsim architecture	eng
dc.subject	coloured Petri net	eng
dc.thesis.degree-discipline	Informační technologie	cze
dc.thesis.degree-grantor	Univerzita Pardubice. Fakulta elektrotechniky a informatiky	cze
dc.thesis.degree-name	Ing.	cze
dc.thesis.degree-program	Informační technologie	cze
dc.title	Interpret podtřídy barvené Petriho sítě	cze
dc.title.alternative	Interpreter of a subclass of coloured Petri net	eng
dc.type	diplomová práce	cze
dspace.entity.type	Publication