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

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