Red Ordinaria de Petri

Es un grafo dirigido bipartito que cumple con:

$$ PN=(T,P,A)\newline T= t_1, t_2, ..., t_n \text{ es un conjunto de nodos llamado transiciones} \newline P = p_1, p_2, ... p_n \text{ es un conjunto de nodos llamados lugares (places)}\newline A ⊆ (T × P) ∪ (P × T) \text{ es un conjunto de arcos} $$

$p_i$ son los estados del sistema

$t_i$ son los eventos que ocasionan los cambios de estado

Función de Marca

Se define como:

$$ M : P → N ∪ 0 $$

Cuando el token está en el lugar $p_1$, entonces $M(p_1) = 1$ y $M(p_2) = 0$.

Por lo tanto $M_0 = (1,0)$

Función de Entrada y Salida

Sea Sea $t ∈ PN = (T, P, A)$ una transición $t$ se definen las funciones:

• $I(t) = p/p ∈ P/(p,t) ∈ A ⊂ P$ es la entrada o input de la transición $t$
• $O(t) = p/p ∈ P/(t, p) ∈ A ⊂ P$ es la salida o output de la transición $t$

Ejemplos

Grafos de alcance

Interpretaciones de Redes de Petri