Detail produktu
CESim
Vznik: 2007
CESim, C/E Petriho síť, simulace, analýza, případový graf, výskytová síť, synchronizační vzdálenost, genetický algoritmus
CESim (C/E Petri Net Simulator) je softwarový nástroj pro grafický návrh, simulaci a analýzu C/E Petriho sítí. Vyvinutý nástroj poskytuje vektorový grafický editor pro návrh C/E Petriho sítí a interaktivní a automatický simulátor pracující přímo s grafickou reprezentací C/E Petriho sítě. Nástroj také poskytuje prostředky pro analýzu C/E systémů pomocí případových grafů, výskytových sítí, synchronizačních vzdáleností a faktů. CESim má také integrovaný genetický algoritmus pro optimalizaci rozložení prípadového grafu.
Volně šiřitelný software poskytovaný pod licencí GNU GPL.
Výzkum informačních technologií z hlediska bezpečnosti (MSM0021630528)