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.
Anotace v angličtině
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.
simulation, ABAsim architecture, coloured Petri net, ABA-CPN
Rozsah průvodní práce
75 s.
Jazyk
CZ
Anotace
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.
Anotace v angličtině
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.
simulation, ABAsim architecture, coloured Petri net, ABA-CPN
Zásady pro vypracování
* Cílem diplomové práce je návrh a realizace interpreta ABA-CPN včetně vizualizace evoluce tohoto typu sítě.
* V úvodní části práce je nutné provést přehled problematiky barvených Petriho sítí a její speciální podtřídy ABA-CPN.
* Interpret ABA-CPN využívá jako vstup XML-soubor, který je standardně využíván nástrojem CPN Tools.
Zásady pro vypracování
* Cílem diplomové práce je návrh a realizace interpreta ABA-CPN včetně vizualizace evoluce tohoto typu sítě.
* V úvodní části práce je nutné provést přehled problematiky barvených Petriho sítí a její speciální podtřídy ABA-CPN.
* Interpret ABA-CPN využívá jako vstup XML-soubor, který je standardně využíván nástrojem CPN Tools.
Seznam doporučené literatury
1. JENSEN, K.: Coloured Petri Nets. Basic Concepts, Analysis Method and Practical Use. Volume 1. 1997, ISBN: 3-540-60943-1
2. KAVIČKA, A., KLIMA, V., ADAMKO N.: Agentovo orientovaná simulácia dopravných uzlov. Žilina: EDIS, 2005. 206 s. ISBN: 80-8070-477-5
3. KAVIČKA, A., ŽARNAY, M.: Application of coloured Petri net for agent control and communication in the ABAsim architecture. In Proceeding of 9th workshop and tutorial on practical use of coloured Petri nets and the CPN Tools. K. Jensen (Ed.). Aarhus: University of Aarhus (Denmark), 2008. pp. 47-62. ISSN 0105-8571.
4. CPN Tools home page. [online]. [cited on 29 February 2008] Available at: http://www.daimi.au.dk/ CPNTools/
5. VESELÝ, P.: Interpret barvené Petriho sítě v rámci ABAsim architektury simulačních modelů, diplomová práce, Univerzita Pardubice, 2007.
Seznam doporučené literatury
1. JENSEN, K.: Coloured Petri Nets. Basic Concepts, Analysis Method and Practical Use. Volume 1. 1997, ISBN: 3-540-60943-1
2. KAVIČKA, A., KLIMA, V., ADAMKO N.: Agentovo orientovaná simulácia dopravných uzlov. Žilina: EDIS, 2005. 206 s. ISBN: 80-8070-477-5
3. KAVIČKA, A., ŽARNAY, M.: Application of coloured Petri net for agent control and communication in the ABAsim architecture. In Proceeding of 9th workshop and tutorial on practical use of coloured Petri nets and the CPN Tools. K. Jensen (Ed.). Aarhus: University of Aarhus (Denmark), 2008. pp. 47-62. ISSN 0105-8571.
4. CPN Tools home page. [online]. [cited on 29 February 2008] Available at: http://www.daimi.au.dk/ CPNTools/
5. VESELÝ, P.: Interpret barvené Petriho sítě v rámci ABAsim architektury simulačních modelů, diplomová práce, Univerzita Pardubice, 2007.
Přílohy volně vložené
1 CD ROM
Přílohy vázané v práci
ilustrace, grafy
Převzato z knihovny
Ne
Plný text práce
Přílohy
Posudek(y) oponenta
Hodnocení vedoucího
Záznam průběhu obhajoby
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.