Publikace: Výpočet stavového prostoru podtřídy barvené Petriho sítě
Diplomová práceopen accessNačítá se...
Datum
Autoři
Engliš, Jiří
Název časopisu
ISSN časopisu
Název svazku
Nakladatel
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í.
Popis
Klíčová slova
ABAsim, Petriho síť, ABA-CPN, stavový prostor, Petri net, state space