Publication Details

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

NOVOSAD Petr. Software Tool CESim for Graphical Design, Simulation and Analysis of C/E Petri Nets. In: PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Faculty of Informatics MU, 2005, pp. 106-113.
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. (DITS FIT BUT)
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
Conference
1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science -- MEMICS 2005, Znojmo, CZ
Publisher
Faculty of Informatics MU
Place
Brno, CZ
BibTeX 
@INPROCEEDINGS{FITPUB7956,
   author = "Petr Novosad",
   title = "Software Tool CESim for Graphical Design, Simulation and Analysis of C/E Petri Nets",
   pages = "106--113",
   booktitle = "PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
   year = 2005,
   location = "Brno, CZ",
   publisher = "Faculty of Informatics MU",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7956"
}
Back to top