Abstraktní, formální model informačních toků, ukazující statických a dynamických vlastností systému. A Petriho síť je obvykle reprezentována jako graf má dva typy uzlů (tzv. míst a přechodů) propojeny oblouky a značení (nazývané tokeny) označující dynamických vlastností.