Nástroj pro editaci a analýzu P/T Petriho sítí

Abstract

The purpose of this master thesis is to describe a tool developed for editing and analyzing of P/T Petri nets. System consists of two main components: web graphical editor and analysis server. We briefly cover the fundamentals of Petri nets theory in the introduction. Next we mention a list of existing tools along with their description. In the following chapters the overall architecture of developed system is considered and details of its components are described. At the end we mention implemented analysis methods, which include for example state space analysis, traps and cotraps detection or also calculation of P and T invariants. In the context of the state space analysis method we demonstrate on examples our own means for constructing coverability tree and show how it can be used to decide some properties of unbounded Petri nets.