Výpočet stavového prostoru podtřídy barvené Petriho sítě – Ing. Jiří Engliš
Ing. Jiří Engliš
Master's thesis
Výpočet stavového prostoru podtřídy barvené Petriho sítě
Computation of the state space of a subclass of coloured Petri nets
Anotácia:
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í.Abstract:
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.
Jazyk práce: Czech
Datum vytvoření / odevzdání či podání práce: 20. 5. 2011
Obhajoba závěrečné práce
- Obhajoba proběhla 20. 6. 2011
- Vedúci: prof. Ing. Antonín Kavička, Ph.D.
Citační záznam
Jak správně citovat práci
Engliš, Jiří. Výpočet stavového prostoru podtřídy barvené Petriho sítě. Pardubice, 2011. diplomová práce (Ing.). Univerzita Pardubice. Fakulta elektrotechniky a informatiky
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- nikomu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Univerzita Pardubice, Fakulta elektrotechniky a informatikyUniversity of Pardubice
Faculty of Electrical Engineering and InformaticsMaster programme / odbor:
Information Technology / Information Technology
Práce na příbuzné téma
-
Nástroj pro editaci a analýzu P/T Petriho sítí
Tomáš Blahut -
Interpret podtřídy barvené Petriho sítě
Petr Nejman -
Interpret podtřídy barvené Petriho sítě
Petr Nejman