Research on improvement method of inhibitor arcs by CPN Tools
基于CPN Tools的抑制弧改进方法研究

In a Petri net, the executability of a transition only depends on the presence of enough tokens in its input places. Adding inhibitor arcs means that one can also test whether some specific places are empty, which is widely useful for all kinds of Petri nets model. CPN Tools does not natively support inhi-bitor arcs, it is however possible to simulate the behavior of inhibitor arcs. Through the analysis, the article put forward an improved method to solve the problem of inhibitor arcs using List. And by modifing the body of function DropOneInList, it can achieve random, stack, queue, prioprity way of extracing tokens.