PetrA - redes de Petri

Next: Activa Up: Propiedades de comportamiento Previous: Alcanzabilidad

Acotamiento

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

PetrA
ameneses@computacion.cs.cinvestav.mx / amilcar@synge.stp.dias.ie