Publication detail

Software Tool CESim for Graphical Design, Simulation and Analysis of C/E Petri Nets

NOVOSAD, P.

Original Title

Software Tool CESim for Graphical Design, Simulation and Analysis of C/E Petri Nets

Type

conference paper

Language

English

Original Abstract

This paper presents a new computer tool CESim for editing, simulating and analyzing the C/E Petri nets. These nets are subclass of general Petri nets. The developed program CESim consists of a graphical editor for the C/E Petri net design and automatic and interactive simulator. The tool also provides facilities for analyzing the C/E systems by the case graphs and a genetic algorithm for an automatic case graph layout. New term forward reachable cases is introduced. An algorithm used for an analysis of the C/E Petri nets is described.

Keywords

CESim, C/E Petri Net, graphical editor, simulation, analysis, case graph, occurrence net, genetic algorithm

Authors

NOVOSAD, P.

RIV year

2005

Released

14. 10. 2005

Publisher

Faculty of Informatics MU

Location

Brno

Pages from

106

Pages to

113

Pages count

8

BibTex

@inproceedings{BUT18279,
  author="Petr {Novosad}",
  title="Software Tool CESim for Graphical Design, Simulation and Analysis of C/E Petri Nets",
  booktitle="PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
  year="2005",
  pages="106--113",
  publisher="Faculty of Informatics MU",
  address="Brno"
}