Výpočet stavového prostoru podtřídy barvené Petriho sítě

Engliš, Jiří

Publikace:
Výpočet stavového prostoru podtřídy barvené Petriho sítě

Diplomová práceopen access

dc.contributor.advisor	Kavička, Antonín	cze
dc.contributor.author	Engliš, Jiří
dc.contributor.referee	Žarnay, Michal	cze
dc.date.accepted	2011	cze
dc.date.accessioned	2011-07-11T20:39:22Z
dc.date.available	2011-07-11T20:39:22Z
dc.date.issued	2011
dc.description.abstract	Práce se zabývá problematikou architektury simulačních modelů ABAsim a problematikou Pertiho sítí, zvláště podtřídy barvené Petriho sítě zvané ABA-CPN. Dále se zabývá popisem aplikace vyvinuté pro výpočet stavového prostoru této podtřídy barvených Petriho sítí.	cze
dc.description.abstract-translated	The thesis deals with the ABAsim architecture of simulation models and Petri nets, especially a subclass of coloured Petri net called ABA-CPN. It also explains the application that was designed for computing the state space of this coloured Petri net subclass.	eng
dc.description.defence	Diplomová práce, stejně jako obhajoba proběhla na výborné úrovni. Diplomant úspěšně navrhl, implementoval a ověřil správnou funkčnost softwaru pro výpočet kompletního grafu dosažitelných značení specifické podtřídy barevné Petriho sítě: ABA-CPN. Správnost navrženého řešení problému byla prokázána úspěšným ověřením funkčnosti realizovaných algoritmů (včetně vizualizace jejich výsledků) na vzorových instancích ABA-CPN sítí. Návrh komise pro SZZ - Studentská cena rektora I. stupně.	cze
dc.description.department	Katedra softwarových technologií	cze
dc.description.grade	Dokončená práce s úspěšnou obhajobou	cze
dc.format	92 s.	cze
dc.format.extent	9786178 bytes	cze
dc.format.mimetype	application/zip	cze
dc.identifier	Univerzitní knihovna (sklad)	cze
dc.identifier.signature	D24791
dc.identifier.uri	https://hdl.handle.net/10195/39422
dc.language.iso	cze
dc.publisher	Univerzita Pardubice	cze
dc.rights	Bez omezení	cze
dc.subject	ABAsim	cze
dc.subject	Petriho síť	cze
dc.subject	ABA-CPN	cze
dc.subject	stavový prostor	cze
dc.subject	Petri net	eng
dc.subject	state space	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	Výpočet stavového prostoru podtřídy barvené Petriho sítě	cze
dc.title.alternative	Computation of the state space of a subclass of coloured Petri nets	eng
dc.type	diplomová práce	cze
dspace.entity.type	Publication