Reversibilidad y estado inicial

Se dice que una red de Petri es reversible si M₀ es alcanzable para cualquier marca Así, una red reversible regresará a su estado inicial.