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

Abstract

V této práci popisujeme rozšíření nástroje pro editaci a analýzu P/T Petriho sítí, vyvíjeného na katedře informatiky. Nástroj je tvořen webovým grafickým editorem, analytickým serverem a databázovým úložištěm. V úvodu práce uvádíme základy z teorie Petriho sítí. V další části práce popisujeme metody z teorie grafů používané při analýze Petriho sítí a jejich aplikaci při testování vlastností Petriho sítí. Dále se podrobněji věnujeme grafovým technikám používaným při analýze neomezených Petriho sítí. Další kapitola je věnovaná popisu přidaných vizualizačních možností nástroje. V závěru pak uvádíme ukázky implementovaných vylepšení a analytických metod.

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.