Un model formal, abstracte de flux d'informació, s'estan mostrant les propietats estàtiques i dinàmiques d'un sistema. Una xarxa de Petri es representa normalment com un gràfic després d'haver dos tipus de nodes (anomenat llocs i transicions) connectats per arcs i marques (anomenats fitxes) que indica les propietats dinàmiques.