Modeling Method of Automotive Body CAN/LIN Nets Application Protocol Based on Object-oriented Colored Petri Net

Recently automotive nets are adopted to solve increasing problems in automotive electronic systems.Technologies of automotive local area network from CAN and LIN can solve the problems of the increasing of wire bunch weight and lack in module installation space.However,the multilayer automotive nets software becomes more and more complex,and the development expense is difficult to predict and to keep in check.In this paper,the modeling method of hierarchical automotive nets and the substitution operation based on object-oriented colored Petri net(OOCPN) are proposed.The OOCPN model which analyzes the software structure and validates the collision mechanism of CAN/LIN bus can speed the automobile system development.First,the subsystems are divided and modeled by object-oriented Petri net(OOPN).According to the sets of message sharing relations,the message ports among them are set and the communication gate transitions are defined.Second,the OOPN model is substituted step by step until the inner objects in the automotive body control modules(BCM) are indivisible and colored by colored Petri net(CPN).And the color subsets mark the node messages for the collision mechanism.Third,the OOCPN model of the automotive body CAN/LIN nets is assembled,which keeps the message sets and the system can be expanded.The proposed model is used to analyze features of information sharing among the objects,and it is also used to describe each subsystem real-time behavior of processing messages and implemental device controllers operating,and puts forward a reasonable software framework for the automotive body control subsystem.The research can help to design the communication model in the automotive body system effectively and provide a convenient and rapid way for developing the logical hierarchy software.

STOCHASTIC OBJECT-ORIENTED PETRI NETS (SOPNS) AND ITS APPLICATION IN MODELING OF MANUFACTURING SYSTEM RELIABILITY

Object-oriented Petri nets (OPNs) is extended into stochastic object-oriented Petri nets (SOPNs) by associating the OPN of an object with stochastic transitions and introducing stochastic places. The stochastic transition of the SOPNs of a production resources can be used to model its reliability, while the SOPN of a production resource can describe its performance with reliability considered. The SOPN model of a case production system is built to illustrate the relationship between the system's performances and the failures of individual production resources.

Reliability Modelling and Analysis of Satellite Propulsion System Based on Reliability Block Diagram and Extended Object-Oriented Petri Net

Modern satellite propulsion systems are generally designed to fulfill multiphase-missions.Traditional reliability modelling methods have problems of inadequate depict capacity considering complex systems such as satellite propulsion system.An extended object-oriented Petri net(EOOPN)method was proposed to facilitate the reliability modelling of satellite propulsion system in the paper.The proposed method was specified for modelling of phased mission system,and it could be implemented by generating combination of Petri net(PN)principles and object-oriented(OO)programming.The effectiveness of the proposed method was demonstrated through the reliability modelling of a satellite propulsion system with EOOPN.The major advantage of the proposed method is that the dimension of net model can be reduced significantly,and phased mission system at system,phase,or component levels can be respectively depicted.Furthermore,the state-space explosion problem is solved by the proposed EOOPN model efficiently.

面向对象的Petri网方法及其在甲骨文编码中的应用

介绍了面向对象的Petri网(OOPN)方法,给出了OOPN 的基本定义、图形和语言表示;并运用面向对象Petri网方法研究甲骨文象形码的编码原理,将每个甲骨文字做为一个对象实例,运用面向对象Petri网方法,对甲骨文字根对象进行聚类,形成码元。

一种面向对象Petri网模型的语义和行为分析

面向对象Petri网根据面向对象思想的特点,对基本Petri网进行了扩展,引入了门、位置类型函数、多态迁移、聚集迁移以及禁止弧等概念。本文介绍了一种面向对象Petri网模型(Object-OrientedPetriNet,OOPN),给出了OOP的基本定义和图形表示,并对OOPN进行了语义与行为分析。OOPN能够成为面向对象系统的一种形式化的建模工具。

面向对象Petri网的成品油配送模型构建研究

在对面向对象Petri网(Object-Oriented Petri Nets,OOPN)技术中系统与系统对象的形式化理论研究以及现有成品油配送系统业务流程分析基础之上,建立了面向对象Petri网的成品油配送模型;通过对模型进行死锁、有界性与安全性分析对系统的性能与可靠性进行了验证,验证结果表明所建立的模型不存在死锁,有界但不安全。针对模型验证结果,将成品油配送中的并发事件统一抽象为订单到达与处理事件,并应用排队论对事件的处理进行了优化,以提高系统的安全性。以配送中心订单服务台配备个数为例对方案的应用进行了说明,并用Mat Lab对案例进行仿真验证了方案的正确性。最后,对模型的优点进行了总结。

一种面向对象Petri网的构造及应用研究

将 Petri网理论与面向对象技术结合 ,并借鉴客户机 /服务器模式 ,着色 Petri网中的一些概念 ,提出了一种新的面向对象 Petri网。文中详细论述了这种面向对象 Petri网的结构 ,形式定义 ,运行规则 。

基于面向对象Petri网的模型驱动开发方法的研究

模型驱动开发是对象管理组织OMG(Object Management Group)所驱动的模型驱动体系架构(Model-Driven Architecture)的一部分。面向对象Petri网(OOPN)则是一种具有面向对象特征的、可形式化描述的可视化建模语言。本文提出了一种面向对象Petri网的基本定义,详细阐述了其面向对象特征以及如何将面向对象Petri网与面向对象程序设计语言Java的基本元素及元素间的关系相对应,基于这些对应关系提出一种基于面向对象Petri网的模型驱动开发方法。并简要介绍了使用该方法进行软件开发的基本步骤。

基于改进OOPN的系统工作模式分析方法

针对空间有效载荷系统工作模式的复杂性问题,在研究其动态行为和运行特征的基础上给出了一种基于改进的面向对象Petri网(IOOPN,Improved Object Oriented Petri Net)的系统工作模式分析方法。该方法集合了Petri网和面向对象的优点;在面向对象Petri网模型中引入了对象间的行为约束关系;并根据约束关系实现了基于最小序列组的系统工作模式分析算法。最后,将该方法应用于某资源卫星有效载荷系统中,实践结果表明该方法满足对有效载荷系统工作模式的分析、仿真和验证的要求,为有效载荷系统的总体设计和集成测试提供了重要的参考。

几种典型系统可靠性分析的GOOPN模型

本文提出了一种用于系统可靠性分析的扩展的对象Petri网模型(GOOPN).文中给出了GOOPN的定义和描述,并对串联、并联、备用、k-out-of-n和n中取连续k失效等几种典型系统建立了相应的GOOPN可靠性模型.模型能直观地反映出系统状态的动态变化过程,可以考虑系统维修资源有限、不同修复率和开关失效等复杂因素.

基于改进OOPN的有效载荷系统测试用例生成方法

针对空间有效载荷系统集成测试用例生成问题,在分析任务特点和测试技术发展趋势的基础上,采用改进面向对象Petri网(improved object oriented Petri net,IOOPN)的建模技术,提出了一种基于IOOPN模型自动生成测试用例的推理方法。该方法建立了对象工作模式的识别规则,采用启发式搜索生成单对象测试序列集,引用时间标尺实现系统级测试序列规划算法,满足了有效载荷系统级的测试要求,提高了测试的效率和水平,成功应用于某卫星科研实践。

面向对象Petri网的网络传感器管理系统建模

传感器资源管理是一个复杂的系统工程 ,特别是在分布式传感器网络中 ,传感器种类繁多 ,使用一般的Petri网建模方法很难对系统作一形象描述。本文提出了一种应用面向对象Petri网对该系统进行建模的方法 ,并针对网络传感器管理特点 ,构造了网络传感器管理系统模型。

Modeling method of hybrid systems using extended Petrinets

In order to model effectively hybrid systems,a new modeling method of extended Petri nets,which is called extended object-orient hybrid Petri net （EOHPN）,is proposed.To deal with the complexity of hybrid systems, object-oriented abstraction mechanisms such as encapsulation and classifications are merged into EOHPN models.To combine the continuous part and discrete part of hybrid systems and to reduce the complexity of hybrid systems,a hybrid Petri net is introduced and extended with object-oriented modeling technology.Development of object models is suggested on the basis of the defined EOHPN.Finally, an application-oriented case is presented to illustrate that how the proposed EOHPN is used to model hybrid systems.The resulting model validates that the EOHPNs can deal with the modeling complexity of hybrid systems.

VPML—OOPN集成建模方法及其在企业中的应用

为了支持对企业业务流程进行建模和分析,辅助过程改进,该文提出了VPML—OOPN集成建模方法。该方法提供了模型描述和设计、模型分析和仿真,直至模型实现的一体化框架。最后,设计了旨在实现VPML—OOPN集成建模方法的系统平台。

面向对象的Petri网在嵌入式系统开发中的应用

介绍了面向对象的Petri网,提出了一个完整的、面向对象的、基于Petri网的嵌入式系统设计的建模方法,并给出了一个用OOPN对嵌入式系统建模的示例。

面向对象Petri网的应用研究

由于Petri网对系统依赖性强,缺乏模块化等基本特性,容易导致模型状态爆炸,使得建模和软件开发困难。为此给出了传统Petri网的数学定义和图形表示、特性分析方法,重点讨论了面向对象Petri网的有关问题:OOPN的定义,OOPN的语义分析,最后指出OOPN进一步的研究内容。

基于面向对象Petri网的电子商务物流模式研究

给出了一个面向对象的Petri网的定义,这一定义由独特体系、服务网络和数据集所组成,并被作为一个典型的电子商务物流模型所使用。首先,为了抽象出四个目标,客户、电子商务中心、仓库中心和运输中心分析了这一流程的需求。然后,为了与这些目标相匹配,建立了四个子流程,分别是秩序子流程、操作子流程、仓库子流程和运输子流程。此后,分析了这一模型的各方面性能,如封装功能、继承特性和多态性功能,并且给出了一个以分层思想为基础的,典型电子商务物流的流鲁棒性分析。

面向对象Petri网的约简和系统死锁的检测

提出一套保持面向对象Petri网性质的约简规则和检测方法。该方法运用面向对象的概念和技术,为对象子网进行分层,且在保持子网性质的前提下,利用约简规则依次简化每层对象子网,并同时检测对象子网以及相应对象子网间的死锁关系,直到所有对象处理完毕。最后通过实例对所提出的方法进行了验证,验证结果表明该方法的提出大大减少了网中的节点,有效降低了面向对象Petri网中死锁检测的复杂度。

OOPN和PNOO建模技术研究

面向对象方法是一种非形式化的建模方法,对建模后的系统缺乏有效的分析和验证手段。Petri网是一种形式化的建模工具,存在无输入、输出和状态空间爆炸等问题。针对以上问题提出了将面向对象和Petri网结合为OOPN、PNOO的两种建模方法,具体分析了这两种方法的特点和步骤并进行了比较。结果表明面向对象和Petri网的有机结合克服了各自的缺点,方便了系统建模,由此可见多种建模技术的融合将成为未来系统建模的发展趋势。

基于OOPN的穿村镇路段交通安全设施作用研究

针对穿村镇路段交通事故多发的现状,利用面向对象Petri网(OOPN)作为建模工具,基于穿村镇路段现存的交通干扰类别及特性,构建作用于交通安全设施的事故推演模型,用以分析在穿村镇路段上各类安全设施对于事故发生过程产生的影响。利用该模型可定性分析各部分设施间的共同作用与事故发生间的关系,同时可利用已建模型计算某类设施的缺乏导致事故发生的概率,以定量分析各设施的重要度。研究结果表明,交叉口标志、支路上停车让行标志、限速标志以及人行横道标线为穿村镇路段优先考虑设置标志。