有色Petri网模型中死标志合理性分析与验证

• 作者: 刘久富 刘文良 周建勇 马国富
• 来源期刊: 计算机应用研究
• 关键词: 死标志 电梯门系统 模型检验 CPN模型
• 年，卷（期）: 2014,（12）
• 所属期刊栏目: 软件技术研究
• 页码范围: 3651-3654
• 页数: 4页
• 分类号: TP391.9
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2014.12.034

摘要

针对使用CPN Tools对系统进行建模仿真得到的状态空间报告中出现的死标志是否会影响系统的安全性和模型的正确性进行了研究,提出了一种基于ASK-CTL及模型检验理论的死标志合理性验证算法.该算法采用模型检验技术通过ML语言编辑相关功能函数使用非标准状态空间查询法,进一步分析与研究CPN Tools仿真状态空问报告中出现的死标志,通过验证死标志存在的合理性来确保所建立CPN模型的准确性与系统的安全性.最后,以电梯门系统为例,使用CPN Tools建立电梯门系统的CPN模型,证明了算法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马国富	安阳工学院信息工程系	13	21	2.0	4.0
2	刘久富	南京航空航天大学自动化学院	53	207	8.0	11.0
3	刘文良	南京航空航天大学自动化学院	6	19	3.0	4.0
4	周建勇	南京航空航天大学自动化学院	8	22	3.0	4.0