基于带抑制弧的时延着色Petri网的嵌入式系统建模与验证

摘要：

结合着色Petri网和时延Petri网,提出了一种适合于复杂嵌入式系统建模方法.该方法在库所中表示数据、控制信息和时间戳,在变迁中引入时延、控制函数与变迁函数,利用抑制弧简化模型.该方法可以对复杂的嵌入式系统进行建模,还可以利用现有的Petri网技术分析系统性质.通过实际案例展示了该方法的应用和可行性.

关键词：Petri网、抑制弧、嵌入式系统、建模、验证

所属期刊栏目：36

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

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

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

页数：共7页

页码：411-417