Petri nets are a graphical tool for the formal description of system whose dynamics are characterized by concurrency, synchronization, mutual exclusion and conflict, which are typical for features of distributed enviroments. (en)
Příspěvek je zaměřen na možnosti využití Petriho sítí jako graphického nástroje pro formální popis dynamických systémů.