Petri网模型的扩展与检测

• 作者: 姜洋 罗贵明
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: Petri网 模型检测 PROMELA 公平性
• 年，卷（期）: 2007,（1）
• 所属期刊栏目: 软件开发技术
• 页码范围: 183-185
• 页数: 3页
• 分类号: TP31|TP311.52
• 字数: 3227字
• 语种: 中文

摘要

扩展了基本Petri网,提出了更加适合模型检测的MCPN方法,并将MCPN模型转换成模型检测工具SPIN的输入语言--PROMELA.使用SPIN完成对系统模型的检测,以提高软件设计的可靠性.在转换过程中,考虑了对当前情态下处于激活状态的多个变迁的同时激发;并提出了一种处理Petri网公平性问题的解决方案.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	罗贵明	清华大学软件学院	19	125	6.0	10.0
2	姜洋	清华大学软件学院	11	201	6.0	11.0