Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Novosad Petr, Ing., FIT (FIT), UITS (FIT)
Abstrakt

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.

Klíčová slova

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

Rok
2005
Strany
106–113
Sborník
PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Konference
1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science -- MEMICS 2005
Vydavatel
Faculty of Informatics MU
Místo
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"
}
Projekty
Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů, GAČR, Doktorské granty, GD102/05/H050, zahájení: 2005-01-01, ukončení: 2008-12-31, ukončen
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru