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

Abstract

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.