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.