Las redes de Petri bien formadas son una clase de redes de Petri elaboradas conjuntamente entre la Universidad de París 6 (Université P. & M. Curie) y la Universidad de Turín a principios de la década de 1990.
Es una restricción de las redes de alto nivel (o redes de colores) introducidas por K. Jensen. La principal ventaja de Well Formed Nets es la noción de gráfico de accesibilidad simbólica que se compone de estados simbólicos . Un estado simbólico es un estado que representa varios estados concretos en el espacio de estados del sistema descrito por la red de Petri. Por lo tanto, se pueden representar espacios de estado mucho más grandes (el factor de ganancia puede ser exponencial). Esta noción de espacio de estado simbólico requiere que solo esté disponible un conjunto limitado de operadores (las funciones de identificación, difusión, sucesor y predecesor se permiten en tipos finitos circulares).
Referencias
- G. Chiola, Caracterización del comportamiento cronometrado de redes de Petri bien formadas mediante ecuaciones de ocurrencia . Actas del sexto taller internacional sobre redes de Petri y modelos de rendimiento , página 27, IEEE Computer Society , Washington DC, EE. UU. ( ISBN 0-8186-7210-2 .)