dc.contributor.advisor |
Kavička, Antonín |
cze |
dc.contributor.author |
Engliš, Jiří
|
|
dc.date.accessioned |
2011-07-11T20:39:22Z |
|
dc.date.available |
2011-07-11T20:39:22Z |
|
dc.date.issued |
2011 |
|
dc.identifier |
Univerzitní knihovna (sklad) |
cze |
dc.identifier.uri |
http://hdl.handle.net/10195/39422 |
|
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.format |
92 s. |
cze |
dc.format.extent |
9786178 bytes |
cze |
dc.format.mimetype |
application/zip |
cze |
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.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 |
dc.contributor.referee |
Žarnay, Michal |
cze |
dc.date.accepted |
2011 |
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.department |
Katedra softwarových technologií |
cze |
dc.thesis.degree-discipline |
Informační technologie |
cze |
dc.thesis.degree-name |
Ing. |
cze |
dc.thesis.degree-grantor |
Univerzita Pardubice. Fakulta elektrotechniky a informatiky |
cze |
dc.identifier.signature |
D24791 |
|
dc.thesis.degree-program |
Informační technologie |
cze |
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.grade |
Dokončená práce s úspěšnou obhajobou |
cze |