Využití Petriho sítí v praxi

Abstract

Práce se zabývá teoretickým výzkumem a srovnáním softwaru, využívajícího Petriho sítě a příklady možných aplikací v praxi. V první části jsou vysvětleny základní pojmy Petriho sítí, jako jsou hrana, cesta, token, které jsou nutné pro práci s touto sítí. V další části práce jsou z hlediska teoretického popsány Petriho sítě, jsou zde uvedeny typy Petriho sítí a je zde naznačeno jejich možné provedení. Součástí bakalářské práce je srovnání softwarových produktů využívajících Petriho sítě, a také zobrazení příkladů praktických aplikací.

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.