Detail publikace

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

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

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.

Klíčová slova

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

Autoři

NOVOSAD, P.

Rok RIV

2005

Vydáno

14. 10. 2005

Nakladatel

Faculty of Informatics MU

Místo

Brno

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"
}