论文研究-基于CPNTools的抑制弧改进方法研究.pdf

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