Využití Petriho sítí pro simulaci procesů v systému

Abstract

Práce se zabývá teoretickým výkladem problematiky Petriho sítí a představením jejich aplikačních oblastí. Nejprve jsou řešena a popsána teoretická východiska Petriho sítí tak, aby byla zřejmá pravidla pro práci s tímto specifickým modelovacím nástrojem. Následně jsou v této práci porovnány jednotlivé typy Petriho sítí a možnosti jejich využití v různých odvětvích sloužících pro různorodé účely. Poslední část je věnována jednoduché názorné aplikaci, která je řešena SW nástrojem HPSim určeným pro práci s Petriho sítěmi tak, aby byl čtenářům této práce objasněn princip fungování celé problematiky.

Thesis deals with the theoretic problems of Petri nets and performance of their application areas. First are solved and discussed the theoretical basis of Petri nets to make them clear rules to work with this specific modeling tool. Consequently in this study are compared different types of Petri nets and their potential use in various sectors used for various purposes. The last part is devoted to a simple illustrative application, which is solved by HPSim software tool intended for working with Petri nets so that the readers of this work elucidated the operating principle of the whole issue.