Výukový nástroj pro práci s C/E Petriho sítěmi

Rozšíření Petriho sítí do mnoha vědních a technických oblastí vede k vývoji
programových nástrojů, které významně podporují jejich aplikaci. Tyto nástroje
umožňují grafický popis modelu, jeho simulaci a formální verifikaci (analýzu).
Výrazně tak usnadňují modelování systémů pomocí Petriho sítí a přispívají tak
k jejich dalšímu rozšíření. Nástroj nazvaný CESim určený pro výzkum Petriho sítí
byl vytvořen v rámci diplomové práce řešitele projektu. Hlavním důvodem pro jeho
vytvoření bylo to, že žádný z existujících nástrojů s grafickým rozhraním
nepodporoval speciální možnosti analýzy, které C/E Petriho sítě nabízejí. S C/E
Petriho sítěmi se na naší fakultě studenti setkávají v předmětu Petriho sítě, ale
nemáme k dispozici vhodný nástroj pro podporu jejich výuky. Nasazení existujícího
nástroje pro výuku studentů není příliš vhodné, protože byl primárně vytvořen pro
výzkum Petriho sítí. Je nejprve nutné tento nástroj uzpůsobit novým požadavkům
zaměřeným na výuku. Cílem projektu je tedy upravit současnou verzi nástroje
k pedagogickým účelům, zavést jej do výuky a vytvořit sadu výukových příkladů.
Projekt přinese zkvalitnění výuky především v předmětu Petriho sítě.