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í.
Anotace v angličtině
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.
Klíčová slova
ABAsim, Petriho síť, ABA-CPN, stavový prostor
Klíčová slova v angličtině
ABAsim, Petri net, ABA-CPN, state space
Rozsah průvodní práce
92 s.
Jazyk
CZ
Anotace
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í.
Anotace v angličtině
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.
Klíčová slova
ABAsim, Petriho síť, ABA-CPN, stavový prostor
Klíčová slova v angličtině
ABAsim, Petri net, ABA-CPN, state space
Zásady pro vypracování
- V úvodní části práce je nutné provést přehled problematiky barvených Petriho sítí a speciální podtřídy ABA-CPN.
- Primárním cílem diplomové práce je návrh a realizace výpočtu kompletního grafu dosažitelných značení (occurrence graph) specifické podtřídy barvené Petriho sítě (ABA-CPN).
- Pro prezentační účely bude navržena a implementována vizualizační podpora, která umožní vhodnou zobrazovací formou grafické znázornění stavového prostoru příslušné sítě ABA-CPN.
Zásady pro vypracování
- V úvodní části práce je nutné provést přehled problematiky barvených Petriho sítí a speciální podtřídy ABA-CPN.
- Primárním cílem diplomové práce je návrh a realizace výpočtu kompletního grafu dosažitelných značení (occurrence graph) specifické podtřídy barvené Petriho sítě (ABA-CPN).
- Pro prezentační účely bude navržena a implementována vizualizační podpora, která umožní vhodnou zobrazovací formou grafické znázornění stavového prostoru příslušné sítě ABA-CPN.
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
Převzato z knihovny
Ne
Plný text práce
Přílohy
Posudek(y) oponenta
Hodnocení vedoucího
Záznam průběhu obhajoby
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ě.