Využití Petriho sítí v praxi

Abstract

The thesis deals with a theoretical research,the comparison of software using Petri nets and examples of possible practical applications. The first part explains basic terminology related to Petri nets such as arc, transition and token which are necessary for working with this net. Another part theoretically describes Petri nets, gives the types of Petri nets and their possible implementation is given. The Bachelor´s part also compares software products using Petri nets and shows examples of practical applications.