Modelo abstracto formal del flujo de información en sistemas concurrentes, que muestra sus propiedades estáticas y dinámicas. Una red de Petri se representa generalmente mediante un grafo con dos tipos de nodos, lugares (places) y transiciones (transitions), conectados mediante arcos y marcas (tokens) indicando propiedades dinámicas.
