Hispanopedia WikiUn gráfico marcado es una red de Petri en la que cada lugar tiene exactamente un arco de entrada y exactamente un arco de salida. Esto significa que no puede haber conflicto , pero puede haber concurrencia . Matemáticamente: Los gráficos marcados se utilizan principalmente para representar matemáticamente operaciones que se ejecutan simultáneamente, como el estado del proceso interno de una máquina multiprocesador. Esta clase de redes de Petri recibe el nombre de una forma popular de representarlas: como un gráfico donde cada lugar es una arista y cada transición es un nodo.
Usos
Los gráficos marcados se utilizan principalmente para representar matemáticamente mecanismos concurrentes, con el fin de poder derivar matemáticamente ciertas características del diseño.
Ejemplo
Este ejemplo presenta un gráfico marcado, donde un proceso se bifurca en la transición T1 y se sincroniza en T4. Entretanto, se llevan a cabo dos operaciones de manera no determinista, T2 y T3. De hecho, las redes de Petri son tan no deterministas que pueden no tener lugar en absoluto. Pero la razón de tener esta propiedad no determinista no es ésta, sino imitar experiencias de la vida real que muestran que la computación paralela siempre significa que es imposible determinar qué proceso/hilo terminará primero, es decir, qué operación(es) se ejecutarán más rápido. Esto puede deberse a la espera de E/S en el mundo real, o simplemente a los diferentes parámetros dados a los procesos/hilos.