基于双变迁Petri网的嵌入式系统建模

摘要：

介绍了双变迁Petri网的基本理论,分析了其在复杂系统建模中的不足,引入了面向对象技术,论述了该方法在嵌入式系统建模中的应用.采用该模型,进行了实例分析,表明该方法能够较好地解决复杂嵌入式系统的建模问题。

关键词： Petri网建模 双变迁Petri网 嵌入式系统 面向对象

作者: 郭军 郝克刚

作者单位: 西北大学计算机科学系,西安,710069

会议类型: 国内会议

会议名称: 第十次全国Petri网学术年会暨形式化方法学术讨论会

会议地点: 江苏镇江

会议语种:中文

页码: 229-231

在线出版日期: 2005-10-01（万方平台首次上网日期，不代表论文的发表时间）