一种面向对象Petri网的构造及其CAN总线系统的应用

摘要：

提出一种面向对象Petri网—变迁型面向对象Petri网,是库所型面向对象Petri网的对偶网,并在子网內部设置特殊的库所—条件判断库所来限制消息输入变迁,适用于CAN总线系统的建模。该网通过定义对象子网之间的消息输入和输出变迁来实现相互通信,并对对象的接口进行扩展,采用消息决策控制。最后对CAN总线系统进行建模、分析和验证,并总结这类网模型自身的优点。

关键词： 面向对象 Petri网 条件判断 控制接口 CAN总线

作者: 方华 韩江洪 刘小平

作者单位: 合肥工业大学计算机与信息学院,合肥 230009

会议类型: 国内会议

会议名称: 第十二届全国petri网理论与应用学术年会

会议地点: 天津

会议语种:中文

页码: 172-175

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