Publication Details

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

NOVOSAD, P. Software Tool CESim for Graphical Design, Simulation and Analysis of C/E Petri Nets. PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Faculty of Informatics MU, 2005. p. 106-113. ISBN: 0.
Czech title
Softwarový nástroj CESim pro grafický návrh, simulaci a analýzu C/E Petriho sítí
Type
conference paper
Language
English
Authors
Novosad Petr, Ing.
Keywords

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

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.

Published
2005
Pages
106–113
Proceedings
PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Publisher
Faculty of Informatics MU
Place
Brno
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",
  isbn="0"
}
Back to top