CESim

The tool CESim (C/E Petri Net Simulator) is a computer tool for editing, simulating and analyzing C/E Petri nets. The developed program CESim consists of a graphical editor for C/E Petri nets design and automatic and interactive simulator. The tool also provides facilities for analyzing C/E systems by case graphs, occurrence nets, synchronic distances and facts. CESim has integrated a genetic algorithm for optimal case graph layout.