CESim

Název česky

CESim

Typ

software

Licence

K využití výsledku jiným subjektem je vždy nutné nabytí licence

Licenční poplatek

Poskytovatel licence na výsledek nepožaduje licenční poplatek

Autoři

Novosad Petr, Ing.

Klíčová slova

CESim, C/E Petriho síť, simulace, analýza, případový graf, výskytová síť, synchronizační vzdálenost, genetický algoritmus

Popis

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.

Umístění

http://www.fit.vutbr.cz/~novosad/CESim/

Licenční podmínky

Volně šiřitelný software poskytovaný pod licencí GNU GPL.

Soubory

Projekty

Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení

Výzkumné skupiny

Výzkumná skupina Petriho sítí (VZ PETRINET)

Pracoviště

Ústav inteligentních systémů (UITS)