Detail publikace

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

NOVOSAD Petr. Software Tool CESim for Graphical Design, Simulation and Analysis of C/E Petri Nets. In: PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Fakulta informatiky MU, 2005, s. 106-113.
Název česky
Softwarový nástroj CESim pro grafický návrh, simulaci a analýzu C/E Petriho sítí
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Novosad Petr, Ing. (UITS FIT VUT)
Klíčová slova

CESim, C/E Petriho síť, grafická editace, simulace, analýza, případový graf, výskytová síť, genetický algoritmus

Abstrakt

Prezentovaný článek představuje nový programový nástroj CESim pro práci s C/E Petriho sítěmi, které jsou podtřídou obecných Petriho sítí. Vytvořený program CESim obsahuje grafický editor pro návrh sítí, automatický i manuální simulátor a poskytuje prostředky pro analýzu sítí s využitím případového grafu a výskytové sítě. Pro usnadnění práce s případovým grafem byl navíc v rámci projektu vyvinut genetický algoritmus pro jeho automatické zobrazení. Uveden je také nový termín dopředně dosažitelné případy.

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, Znojmo, CZ
Vydavatel
Fakulta informatiky MU
Místo
Brno, CZ
BibTeX
@INPROCEEDINGS{FITPUB7956,
   author = "Petr Novosad",
   title = "Software Tool CESim for Graphical Design, Simulation and Analysis of C/E Petri Nets",
   pages = "106--113",
   booktitle = "PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
   year = 2005,
   location = "Brno, CZ",
   publisher = "Faculty of Informatics MU",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7956"
}
Nahoru