Dp 117 en
Petri nets editor
Author: Svoboda Luboš
The aim of the thesis is to design and implement an editor for creating and editing of the Petri nets. Editor supports discrete, continous and hybrid Petri nets and PNML, which is used as a format for storing of data describing Petri nets. Editor is cooperating with Petri Net Matlab Toolbox. The realization is based on programming language Java, its graphics library Swing and on interface for processing XML documents Java API for XML Processing.
- Svoboda Luboš, tel.: 420605135136, mailto:email@example.com