Un modelo abstracto y formal del flujo de información, mostrando las propiedades estáticas y dinámicas de un sistema. Una red de Petri generalmente se representa como un gráfico con dos tipos de nodos (llamado lugares y transiciones) conectados por arcos y las marcas (llamados tokens) indicando propiedades dinámicas.