Extensiones con color

Las redes de Petri coloreadas son una extensión a las redes de Petri que tiene incorporado un lenguaje de modelación. Las redes de Petri coloreadas se consideran un lenguaje de modelación desarrollados para sistemas en los cuales, la comunicación, sincronización y el uso compartido de recursos son importantes. Así, las redes de Petri coloreadas combinan las ventaja de las redes de Petri clásicas y los lenguajes de programación de alto nivel. Para hacer más claro esta afirmación, listaremos las características de los elementos gráficos de este tipo de redes.

Token

Este es el elemento más distintivo de estas redes. Las redes de Petri coloreadas permiten trabajar con tokens de distintos colores para representar valores y los tipos de datos que trabaja el sistema modelado. Esta distinción en los colores del token clarifica, al usuario, la interpretación de los tokens durante la ejecución de la red --recuerde que en las redes de petri clásicas por convención se utilizan los tokens de color negro--.

Arcos

Los arcos tienen asociados una función que determina el valor del token de salida. Esta función está dada en términos del lenguaje de modelación asociado a la red.

Transiciones

Las transiciones permiten cambiar el estado de la red cuando se disparan. En las redes de Petri coloreadas, las transiciones permiten que el usuario seleccione algún valor arbitrario para forzar el valor del token de salida. Esta selección de valor se realiza ejecutando las funciones que tienen asociados los arcos de entrada y salida. En las implantaciones, las transiciones deben permitir una ejecución manual, para que el usuario pueda modificar estos valores, o una automática, dejando que las probabilidades decidan algunos valores internos de las funciones de los arcos.

Lugares

Los lugares pueden tener distintas representaciones iconográficas. Estos objetos almacenan tokens de diferentes colores. Aunque no es regla que todos los lugares manejes manejen tokens de todos los colores que utiliza el modelo, en realidad esto depende del resultado de las funciones asociadas a las transiciones de entrada.

Las redes de Petri coloreadas fueron las primeras en incluir el concepto de jerarquía en las redes, a través del concepto de página [11,27,28]. Un modelo de redes de Petri coloreadas consiste en un conjunto de módulos (páginas), las cuales tienen redes de lugares, transiciones y arcos. Y los módulos interactúan entre sí a través de interfaces bien definidas.

Las redes de Petri coloreadas, también pueden considerar referencias de tiempo, teniendo a las redes de Petri con tiempo como un subconjutno de este tipo de redes.

Las redes de Petri coloreadas permiten varios métodos de verificación formal: grafo de ocurrencia, matriz de incidencia y ecuaciones de estado, y reducciones.

Una característica fundamental de las redes de Petri coloreadas es que están muy ligadas de su lenguaje de modelación, por lo que su uso depende de la herramienta que lo soporte.