检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]合肥工业大学计算机与信息学院,合肥230009
出 处:《系统仿真学报》2008年第S2期172-175,共4页Journal of System Simulation
基 金:安徽省科技攻关计划项目(06012069B)
摘 要:提出一种面向对象Petri网——变迁型面向对象Petri网,是库所型面向对象Petri网的对偶网,并在子网内部设置特殊的库所——条件判断库所来限制消息输入变迁,适用于CAN总线系统的建模。该网通过定义对象子网之间的消息输入和输出变迁来实现相互通信,并对对象的接口进行扩展,采用消息决策控制。最后对CAN总线系统进行建模、分析和验证,并总结这类网模型自身的优点。A transition object-oriented Petri net is the dual net of the place object-oriented Petri net,which is set those special restrict condition places adapted to the CAN bus systems.The kind of net defines the method of communication among object subnets that message input and output transitions are described and ports of the objects to control messages and make decision are expanded.A CAN bus system was modeled,analyzed and verified by the transition object-oriented Petri net,and characteristics of this model were referred.
关 键 词:变迁型面向对象Petri网 条件判断库所 控制接口 CAN总线系统
分 类 号:TP301.1[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.117