带抑制弧的时延着色Petri网模型检测技术

• 作者: 孙华 杨年华 虞慧群
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 时延着色Petri网 抑制弧 时间自动机 冲突调解 模型检测
• 年，卷（期）: 2011,（1）
• 页码范围: 170-176,209
• 分类号: TP302
• 字数: 9948字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2011.01.040

摘要

带抑制弧的时延着色Petri网(Timed Colored Petri Nets with Inhibitor Arcs,TCPNIA)是一种描述实时嵌入式系统的模型.给出了从TCPNIA到时间自动机的结构化转换算法,以利用变迁冲突调解机制保证TCPNIA模型和转换后的时间自动机模型语义等价;并给出了语义等价的证明和算法复杂度分析.层次化方法被用来提高模型检测的时间与空间效率.通过实际案例展示了该技术的应用和可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙华	华东理工大学计算机科学与工程系	5	17	3.0	4.0
2	虞慧群	华东理工大学计算机科学与工程系	113	814	14.0	24.0
4	杨年华	华东理工大学计算机科学与工程系	5	20	2.0	4.0