It is often nice to be able to simulate a queue or stack discipline for places, e.g. for communication over a TCP channel. Alas, CPN Tools does not currently support this, but this is easy done by the modeler. Example This is a very simple model of a sender and a receiver. The sender, sends packages onto a network. The receiver receives packages from the […]
Inhibitor arcs
Introduction CPN Tools does not natively support inhibitor arcs. It is however possible to simulate the behavior of inhibitor arcs. This can be done in at least two different ways. It can be done using lists. This way is a bit more cumbersome, but can be made to work in all cases. Simulation of inhibitor arcs can also be done using anti-places. This is a […]
Anti places/limit places
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 […]
