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

摘要：

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

关键词：时延着色Petri网、抑制弧、时间自动机、冲突调解、模型检测

所属期刊栏目：38

分类号：TP302(计算技术、计算机技术)

资助基金：国家自然科学基金60473055,60773094;上海市曙光计划07SG32

在线出版日期：2011-04-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：170-176,209