¿Qué es el despido? El lanzamiento es un paso único e ininterrumpido.
¿Qué es una ficha? Sólo un número limitado de símbolos en las redes de Petri. Llamémoslo token.
¿Qué es la transición? Es el proceso de transición de nodos.
La posición anterior se refiere a la posición antes del proceso de conversión, la cual se denomina posición prioritaria.
La posición posterior se refiere a la posición posterior al proceso de transición, que se denomina posición posterior.
Así, la traducción es la siguiente:
El desencadenamiento del proceso de transformación ti hará que cada posición anterior (posición pj, ¿dónde? (pj, t i) ∈ F)) se elimina, cada uno Se agrega (marca) la ficha en la posición posterior (posición pj, ¿dónde? (t i, p j) ∈ F).
Eliminar la superposición la hace más suave:
Activar el proceso de transformación provocará la eliminación de marcadores en cada posición anterior y la adición de marcadores en cada posición posterior (marca).