Red de Petri de colores
redes de Petri coloreadas son una extensión compatible con versiones anteriores del concepto matemático de redes de Petri.
Las redes de Petri coloreadas preservan las propiedades útiles de las redes de Petri y al mismo tiempo amplían el formalismo inicial para permitir la distinción entre tokens.
Las redes de Petri de colores permiten que las fichas tengan un valor de datos adjunto. Este valor de datos adjunto se denomina token color. Aunque el color puede ser de un tipo arbitrariamente complejo, los lugares de las redes de Petri de colores suelen contener fichas de un tipo. Este tipo se llama conjunto de colores del lugar.
Definición 1. Una net es una tupla N = (P, T, A, Σ, C, N, E, G, I) donde:
- P es un conjunto de lugares.
- T es un conjunto de transiciones.
- A es un conjunto de arcs
En las redes de Petri coloreadas, los conjuntos de lugares, transiciones y arcos son separados por pares P ∩ T = P ∩ A = T ∩ A = ∅
- La eva es un conjunto de conjuntos de colores. Este conjunto contiene todos los colores, operaciones y funciones posibles utilizados dentro de la red Petri de colores.
- C es una función de color. Mapas lugares en P en colores en la bah.
- N es una función de nodo. Mapas A enP × T∪T × P).
- E es una función de expresión de arco. Mapas de cada arco a ▪ A en la expresión e. Los tipos de entrada y salida de las expresiones arc deben corresponder al tipo de los nodos al que se conecta el arco.
El uso de la función de nodo y la función de expresión de arco permite que múltiples arcos conecten el mismo par de nodos con diferentes expresiones de arco.
- G es una función de guardia. Mapa de cada transición t ▪ T a una expresión de guardia g. La salida de la expresión de guardia debe evaluar a un valor booleano (verdadero o falso). Si es falso, t no se puede despedir.
- I es una función de inicialización. mapea cada lugar p en una expresión de inicialización i. La expresión de inicialización debe evaluar a multiset de fichas con un color correspondiente al color del lugar C()p).
Un programa muy conocido para trabajar con redes de Petri de colores es cpntools.