next up previous contents
Next: Activa Up: Propiedades de comportamiento Previous: Alcanzabilidad

Acotamiento

Se dice que una red de Petri (N,M0) 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 M0. Se dice que una red de Petri es libre si es 1-acotada.



Amilcar Meneses
2002-11-08