... algebr\'aica¹

Existen divesas notaciones de redes de Petri, en este documento utilizaremos la que aparece en[2].

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... transición²

A la regla que no considera capacidades obligatorias se le denomina regla débil de transición

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... causa-evento³

también se le conoce como condición-evento

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... pura⁴

Una red de Petri pura es aquella red que no tiene lugares que son entrada y salida de la misma transición.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.