Výpočet stavového prostoru podtřídy barvené Petriho sítě – Ing. Jiří Engliš
Ing. Jiří Engliš
Diplomová práce
Výpočet stavového prostoru podtřídy barvené Petriho sítě
Computation of the state space of a subclass of coloured Petri nets
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í.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: čeština
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
- Vedoucí: 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 informatikyUniverzita Pardubice
Fakulta elektrotechniky a informatikyMagisterský studijní program / obor:
Informační technologie / Informační technologie
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