Výpočet stavového prostoru podtřídy barvené Petriho sítě
Diplomová práceOtevřený přístupDatum publikování
2011
Autoři
Vedoucí práce
Oponent
Název časopisu
Název svazku
Vydavatel
Univerzita Pardubice
Abstrakt
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í.
Rozsah stran
92 s.
ISSN
Trvalý odkaz na tento záznam
Projekt
Zdrojový dokument
Vydavatelská verze
Přístup k e-verzi
Bez omezení
Název akce
ISBN
Studijní obor
Informační technologie
Studijní program
Informační technologie
Signatura tištěné verze
D24791
Umístění tištěné verze
Univerzitní knihovna (sklad)
Přístup k tištěné verzi
Klíčová slova
ABAsim, Petriho síť, ABA-CPN, stavový prostor, Petri net, state space