基于CPN Tools的抑制弧改进方法研究

Research on improvement method of inhibitor arcs by CPN Tools

在Petri网模型中,抑制弧用于表示除输入库所条件外,仅当指定库所为空时变迁才可以触发的情况,可以应用于各类Petri网中。在广泛使用的Petri网模型工具CPN Tools中没有直接提供抑制弧,仅给出了两种等价处理方法。通过对抑制弧的问题进行分析,提出在CPN Tools使用List解决抑制弧问题的改进方法。此方法具有良好的通用性和易用性,并且仅通过修改DropOneInList函数的内容就可以实现随机、栈方式、队列方式、优先级等各种令牌提取方法。

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.