dc.contributor.advisor |
Pinkas, Jiří |
|
dc.contributor.author |
Veselý, Pavel
|
|
dc.date.accessioned |
2007-09-30T13:54:08Z |
|
dc.date.available |
2007-09-30T13:54:08Z |
|
dc.date.issued |
2007 |
|
dc.identifier |
Univerzitní knihovna (sklad) |
cze |
dc.identifier.uri |
http://hdl.handle.net/10195/24651 |
|
dc.description.abstract |
Diplomová práce se zabývá vývojem interpreta ABA-CPN. Nejdříve uvádí několik základních pojmů z oblasti simulací a ABAsim architektury simulačních modelů. V krátkém přehledu představuje čtenáři formalizmus barevných Petriho sítí a z něho vycházející podtřídu ABA-CPN. Sítě ABA-CNP jsou v ABAsim architektuře používány při popisu logiky některých komponentů. V práci je ve stručnosti prezentována struktura tříd vytvořeného interpreta ABA-CPN s popisem chování nejdůležitějších metod a popisem použitých datových struktur. Součástí práce je i ilustrační příklad Simulace prodejny, na kterém je ověřena funkčnost interpreta ABA-CPN. Diplomová práce zahrnuje také několik příkladů správné a nebo chybné konstrukce ABA-CPN sítí i s příslušnými reakcemi interpreta ABA-CPN. |
cze |
dc.format |
53 s., 1 s. příloh |
cze |
dc.language.iso |
cze |
|
dc.publisher |
Univerzita Pardubice |
cze |
dc.subject |
barevná Petriho síť |
cze |
dc.subject |
ABAsim |
cze |
dc.subject |
simulace |
cze |
dc.subject |
Modelování |
cze |
dc.subject |
ABA-CPN |
cze |
dc.title |
Interpret barvené Petriho sítě v rámci ABAsim architektury simulačních modelů |
cze |
dc.title.alternative |
Coloured Petri net interpreter in ABAsim architecture of simulation models |
eng |
dc.type |
diplomová práce |
cze |
dc.contributor.referee |
Kavička, Antonín |
|
dc.date.accepted |
2007 |
|
dc.description.department |
Katedra informatiky v dopravě |
cze |
dc.thesis.degree-discipline |
Aplikovaná informatika v dopravě |
cze |
dc.thesis.degree-name |
Ing. |
cze |
dc.thesis.degree-grantor |
Univerzita Pardubice. Dopravní fakulta Jana Pernera |
cze |
dc.identifier.signature |
D16639 |
|
dc.thesis.degree-program |
Dopravní inženýrství a spoje |
cze |
dc.description.grade |
Dokončená práce s úspěšnou obhajobou |
cze |