Aplikace metod z teorie grafů pro analýzu Petriho sítí

Abstract

In this master thesis we describe the extensions and modifications of the tool for editing and analyzing of P/T Petri nets that is being developed at the department of computer science. The tool consists of web graphical editor, analysis server and database storage. We describe the fundamentals of Petri nets theory in the introduction. Then we describe methods of graph theory that can be used for Petri net analysis and their application in Petri net property tests. In the next chapter the methods of analyzing unbounded Petri nets are introduced. After that we represent the graphical extensions of the editor. At the end we show the examples of the implemented extensions and analysis methods.