O projektu CESim
Nástroje CESim obsahuje:
- grafický vektorový editor pro návrh C/E Petriho sítí
- interaktivní a automatickou simulaci s animovaným přesunem značek
- analýzu C/E systému pomocí případového grafu
- zaznamenávání procesu C/E systému výskytovou sítí
- automatické rozložení případového grafu genetickým algoritmem
Vývoj nástroje CESim je podporován projektem "Výzkum informačních technologií z hlediska bezpečnosti" MŠMT MSM0021630528. Zavedení nástroje CESim do výuky je podporováno grantem FRVŠ 2880/2006/G1.