Digitální knihovna UPCE přechází na novou verzi. Omluvte prosím případné komplikace. / The UPCE Digital Library is migrating to a new version. We apologize for any inconvenience.

Publikace:
Interpret barvené Petriho sítě v rámci ABAsim architektury simulačních modelů

Diplomová práce
dc.contributor.advisorPinkas, Jiří
dc.contributor.authorVeselý, Pavel
dc.contributor.refereeKavička, Antonín
dc.date.accepted2007
dc.date.accessioned2007-09-30T13:54:08Z
dc.date.available2007-09-30T13:54:08Z
dc.date.issued2007
dc.description.abstractDiplomová 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.description.departmentKatedra informatiky v dopravěcze
dc.description.gradeDokončená práce s úspěšnou obhajoboucze
dc.format53 s., 1 s. přílohcze
dc.identifierUniverzitní knihovna (sklad)cze
dc.identifier.signatureD16639
dc.identifier.urihttps://hdl.handle.net/10195/24651
dc.language.isocze
dc.publisherUniverzita Pardubicecze
dc.subjectbarevná Petriho síťcze
dc.subjectABAsimcze
dc.subjectsimulacecze
dc.subjectModelovánícze
dc.subjectABA-CPNcze
dc.thesis.degree-disciplineAplikovaná informatika v dopravěcze
dc.thesis.degree-grantorUniverzita Pardubice. Dopravní fakulta Jana Perneracze
dc.thesis.degree-nameIng.cze
dc.thesis.degree-programDopravní inženýrství a spojecze
dc.titleInterpret barvené Petriho sítě v rámci ABAsim architektury simulačních modelůcze
dc.title.alternativeColoured Petri net interpreter in ABAsim architecture of simulation modelseng
dc.typediplomová prácecze
dspace.entity.typePublication

Soubory