Result 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.
Type
conference paper
Language
English
Authors
Novosad Petr, Ing., FIT (FIT), DITS (FIT)
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
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
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"
}
Projects
Integrated approach to education of PhD students in the area of parallel and distributed systems, GACR, Doktorské granty, GD102/05/H050, start: 2005-01-01, end: 2008-12-31, completed
Departments