Výpočet stavového prostoru podtřídy barvené Petriho sítě

Engliš, Jiří

EN SKPřihlásit se Přihlásit se (EduID)

Theses zz8g71

Výpočet stavového prostoru podtřídy barvené Petriho sítě – Ing. Jiří Engliš

Zpět na vyhledávání

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.

Klíčová slova

ABAsim Petriho síť ABA-CPN stavový prostor

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

Citovat tuto práci

Citace dle ISO 690:

ENGLIŠ, Jiří. \textit{Výpočet stavového prostoru podtřídy barvené Petriho sítě}. Online. Diplomová práce. Pardubice: Univerzita Pardubice, Fakulta elektrotechniky a informatiky. 2011. Dostupné z: https://theses.cz/id/zz8g71/. [citováno 2024-04-23]

@MastersThesis{Englis2011thesis,
AUTHOR = "Engliš, Jiří",
TITLE = "Výpočet stavového prostoru podtřídy barvené Petriho sítě [online]",
YEAR = "2011 [cit. 2024-04-23]",
TYPE = "Diplomová práce",
SCHOOL = "Univerzita Pardubice, Fakulta elektrotechniky a informatikyPardubice",
NOTE = "SUPERVISOR: prof. Ing. Antonín Kavička, Ph.D.",
URL = "https://theses.cz/id/zz8g71/",
}

@MastersThesis{Englis2011thesis,
AUTHOR = {Engliš, Jiří},
TITLE = {Výpočet stavového prostoru podtřídy barvené Petriho sítě},
YEAR = {2011},
TYPE = {Diplomová práce},
INSTITUTION = {Univerzita Pardubice, Fakulta elektrotechniky a informatiky},
LOCATION = {Pardubice},
SUPERVISOR = {prof. Ing. Antonín Kavička, Ph.D.},
URL = {https://theses.cz/id/zz8g71/},
URL_DATE = {2024-04-23},
}

{{Citace kvalifikační práce
 | příjmení = Engliš
 | jméno = Jiří
 | instituce = Univerzita Pardubice, Fakulta elektrotechniky a informatiky
 | titul = Výpočet stavového prostoru podtřídy barvené Petriho sítě
 | url = https://theses.cz/id/zz8g71/
 | typ práce = Diplomová práce
 | vedoucí = prof. Ing. Antonín Kavička, Ph.D.
 | rok = 2011
 | počet stran =
 | strany =
 | citace = 2024-04-23
 | poznámka =
 | jazyk = 
}}

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 informatiky

Odkaz na soubor do lokálního úložiště instituce

Univerzita Pardubice

Fakulta elektrotechniky a informatiky

Magisterský 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