Detail publikace

Simulation and Analysis of Condition/Event Petri Nets Using Software Tool CESim

Originální název

Simulation and Analysis of Condition/Event Petri Nets Using Software Tool CESim

Anglický název

Simulation and Analysis of Condition/Event Petri Nets Using Software Tool CESim

Jazyk

en

Originální abstrakt

This paper presents a new computer tool CESim for editing, simulating and analyzing C/E Petri nets. These nets are subclass of general Petri nets. The developed program CESim consists of a graphical editor for C/E Petri nets design and automatic and interactive simulator. The tool also provides facilities for analyzing C/E systems by case graphs, occurrence nets, synchronic distances and facts. CESim has integrated a genetic algorithm for optimal case graph layout.

Anglický abstrakt

This paper presents a new computer tool CESim for editing, simulating and analyzing C/E Petri nets. These nets are subclass of general Petri nets. The developed program CESim consists of a graphical editor for C/E Petri nets design and automatic and interactive simulator. The tool also provides facilities for analyzing C/E systems by case graphs, occurrence nets, synchronic distances and facts. CESim has integrated a genetic algorithm for optimal case graph layout.

BibTex


@inproceedings{BUT25356,
  author="Petr {Novosad} and Milan {Češka}",
  title="Simulation and Analysis of Condition/Event Petri Nets Using Software Tool CESim",
  annote="This paper presents a new computer tool CESim for editing, simulating and
analyzing C/E Petri nets. These nets are subclass of general Petri nets. The
developed program CESim consists of a graphical editor for C/E Petri nets design
and automatic and interactive simulator. The tool also provides facilities for
analyzing C/E systems by case graphs, occurrence nets, synchronic distances and
facts. CESim has integrated a genetic algorithm for optimal case graph layout.",
  address="EUROSIS",
  booktitle="Proceedings of 21th European Simulation and Modelling Conference ESM'2007",
  chapter="25356",
  howpublished="print",
  institution="EUROSIS",
  year="2007",
  month="october",
  pages="170--172",
  publisher="EUROSIS",
  type="conference paper"
}