Result Details

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

NOVOSAD, P.; ČEŠKA, M. Simulation and Analysis of Condition/Event Petri Nets Using Software Tool CESim. Proceedings of 21th European Simulation and Modelling Conference ESM'2007. St. Julians, Malta: EUROSIS, 2007. p. 170-172. ISBN: 978-90-77381-36-6.
Type
conference paper
Language
English
Authors
Novosad Petr, Ing., FIT (FIT), DITS (FIT)
Češka Milan, prof. RNDr., CSc., DITS (FIT)
Abstract

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.

Keywords

CESim, C/E Petri net, Simulation, Analysis.

Published
2007
Pages
170–172
Proceedings
Proceedings of 21th European Simulation and Modelling Conference ESM'2007
Conference
The European Simulation and Modelling Conference - ESM'2007
ISBN
978-90-77381-36-6
Publisher
EUROSIS
Place
St. Julians, Malta
BibTeX 
@inproceedings{BUT25356,
  author="Petr {Novosad} and Milan {Češka}",
  title="Simulation and Analysis of Condition/Event Petri Nets Using Software Tool CESim",
  booktitle="Proceedings of 21th European Simulation and Modelling Conference ESM'2007",
  year="2007",
  pages="170--172",
  publisher="EUROSIS",
  address="St. Julians, Malta",
  isbn="978-90-77381-36-6"
}
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
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Petri Nets Research Group (RG PETRINET)
Departments
Department of Intelligent Systems (DITS)
Back to top