Anti places/limit places

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 […]

Read Me Leave comment

Inhibitor arcs

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 […]

Read Me Leave comment

Queues and stacks

Queues and stacks

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 […]

Read Me Leave comment