Often one would like to limit the capacity for a place, for example, to model a network buffer or simply to make the net finite to facilitate the generation of state spaces. Unfortunately, CPN Tools does not support this concept, but this can easily be modeled using the concept of anti-places. An anti-place is a place corresponding to the original place, where for each arc […]