Acotamiento

Se dice que una red de Petri (N,M₀) es k-acotada o simplementa acotada si el número de tokens en cada lugar de la red no excede a un número finito k en cada marca alcanzable desde M₀. Se dice que una red de Petri es libre si es 1-acotada.