There is a way to change the amount of tokens in a place, by double clicking on it. This
feature is diff erent for P/T-Nets and CPNs. The following gure displays the dialogue which pops up in a P/T-Net.
Another way to change the number of tokens is to select a place and roll the mouse wheel up or down to increase or decrease the amount.
The last option to influence a net’s functionality is to modify the constraints of an arc. The constraint types in P/T-Nets and CPNs diff er: In the case of a P/T-Net, this can be done by double clicking the arc weight number located in the middle of the appropriate arc.
The number determines how many tokens are consumed from source places and produced in destination places when the connecting transition is red. The following subsection exempli es, how to change the amount of tokens, modify the constraint of an arc and trigger other useful features regarding a CPN.