Detail publikačního výsledku

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

NOVOSAD, P.

Originální název

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

Anglický název

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

Druh

Stať ve sborníku mimo WoS a Scopus

Originální 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.

Anglický 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

Klíčová slova v angličtině

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

Autoři

NOVOSAD, P.

Vydáno

14.10.2005

Nakladatel

Faculty of Informatics MU

Místo

Brno

Kniha

PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

Strany od

106

Strany do

113

Strany počet

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",
  isbn="0"
}