La red de Petri coloreada (también coloreada , pintada ; red de Petri coloreada en inglés , CP-net ) es una extensión compatible con versiones anteriores del formalismo matemático de la red de Petri , que le permite distinguir entre los tipos de etiquetas utilizadas en la red [1] . Para hacer esto, a cada etiqueta se le asigna un cierto valor, generalmente llamado color (los colores generalmente se usan para facilitar la visualización y para enfatizar que no es posible ninguna operación en los valores de la etiqueta dentro del marco del formalismo, excepto para verificar la igualdad) . A una etiqueta no se le puede asignar un nuevo valor durante la simulación ; al mismo tiempo, en lugar de color, a las etiquetas se les pueden asignar valores que tienen una estructura interna compleja, es decir, relacionados con tipos de datos complejos, y estos valores se pueden usar en condiciones de activación de transición.
La teoría y el software para trabajar con redes de Petri de colores se han desarrollado durante mucho tiempo en el grupo de trabajo del Grupo CPN de la Universidad de Aarhus bajo la dirección del profesor Kurt Jensen ( Dan. Kurt Jensen ) [2] . Además de las redes de Petri coloreadas, el grupo ha desarrollado varias otras variantes de extensiones de redes Petri, y el soporte para todas ellas se implementa en un paquete de software: CPN-Tools, por esta razón, algunos investigadores llaman a otros formalismos de desarrollo del Grupo CPN Petri coloreado. redes
Como representación programática de las redes de Petri coloreadas, este grupo de desarrolladores utiliza una versión especial del lenguaje ML - CPN ML, que es una versión extendida de SML/NJ [3] .