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

• 作者: 张涛 王红
• 来源期刊: 计算机应用研究
• 关键词: Petri 有色Petri网工具 抑制弧 列表 令牌
• 年，卷（期）: 2012,（11）
• 所属期刊栏目: 软件技术研究
• 页码范围: 4210-4212
• 页数: 3页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2012.11.052

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张涛	中国科学院空间应用工程与技术中心	473	4174	31.0	44.0
2	王红	中国科学院光电研究院	125	1755	25.0	35.0