面向对象Petri网建模技术综述

阐述了面向对象技术和Petri网的结合方式,提出了面向对象Petri网的建模过程,给出其详细的建模步骤和流程图,讨论了面向对象Petri网的动态特性分析方法,分析和总结了OOPN、OOCPN、OOAPN以及OOTPN的研究现状和各自建模的利弊,最后对面向对象Petri网的相关技术和发展趋势进行了综述与展望。

面向对象Petri网离散制造系统生产调度建模研究

将面向对象技术与Petri网结合作为建模工具,针对离散制造业的研究现状及其生产调度特点,进行离散制造系统生产调度建模;选用满足交货期的成本最低原则作为调度目标,运用最优化方法进行目标优化。通过对FMS的建模及目标优化,证明利用该方法建模能准确反映生产调度的加工路径及其资源约束,将复杂系统高度抽象,模型易于扩展。

一种面向对象的Petri网

柔性制造系统属于离散事件动态系统，具有实时、并发、异步等特性，由于Ｐｅｔｒｉ网模型的图形表述和数学描述，使它既可以采用数学分析，又可以通过图形形象地表述出离散动态系统，故广泛应用于制造过程动态行为建模与分析。而面向对象建模与设计是一种围绕真实世界的概念来组织模型的全新的思考问题方式，面向对象的模型能帮助对问题的理解，有助于同领域专家通讯交流。本文在Ｐｅｔｒｉ网基础上，引入面向对象技术，提出了一种面向对象Ｐｅｔｒｉ网（ＯＰＮ）模型，并以企业中的一项生产活动——二次电源生产过程为实例，建立了描述这一活动系统的完整的ＯＰＮ模型，真实地反映了系统的动态特性。

面向对象的Petri网建模技术的研究

将面向对象的概念引入到网建模技术中,对网进行分类与抽象,给对象模型的消息和方法赋予新的含义,并将网扩展成具PetriPetri有输入与输出的开放式系统,从而形成了面向对象的网建模技术(简称技术)。给出的建模技术的一般方法具有较大的实PetriOPNetOPNet际意义。

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

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

基于面向对象Petri网的供应链运作建模

采用了面向对象的Petri网(object-oriented Petri net,OPN)的方法来分析网络化制造环境下的供应链运作,这种方法采用计算机集成制造开放系统(CIMOS)的规则来模拟制造供应链的业务流程.通过这种模式下的供应链运作描述,以网络化制造技术中心为支持,提出供应链运作模式;构建各参与对象OPN模型,获得系统P不变量,在此基础上分析系统的性能如死锁、溢出以及冲突等.以制造商为例的OCN的关联矩阵和P不变量分析,证明构建的模型具有良好的性能.

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

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

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

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

面向对象Petri网技术在系统建模中的应用

面向对象Petri网将面向对象技术与Petri网相结合,利用对象的封装及继承等特性,降低了所建立系统模型的结构复杂性,增强了其可重用性和可剪裁性.系统的面向对象Petri网模型(OOPN)由对象模型(OPN)及对象联系模型(OCN)组成,前者描述对象内部的状态变化细节及与外部联系的接口,后者描述系统中各对象间的联系.分析了面向对象Petri网技术在各种复杂系统建模问题中的应用,并以电梯群控系统的建模为例,从电梯群控调度的角度,详细给出了OOPN模型的构建.

基于面向对象Petri网的多Agent系统交互协议建模

为了描述、分析和验证多Agent系统交互协议,提出了一种面向对象Petri网。与现有的形式化方法相比,面向对象Petri网能形象、直观地刻画多Agent系统复杂、并行的交互协议,可以描述其静态和动态语义,并可利用Petri网的数学分析方法对交互协议进行动态分析。面向对象Petri网还具有较好的模块性和柔性,能单独地分析参与交互的每一个Agent,而不会影响其他Agent和环境的状态。最后,利用面向对象Petri网描述了智能物理代理基金会请求协议和合同网协议,并对一个买卖Agent交互实例进行了建模和动态分析,验证了面向对象Petri网具有较好的建模能力。

面向对象Petri网的离散事件系统仿真建模

将Petri网技术和O O技术相结合 ,利用消息驱动机制以增强其描述能力而形成对象Petri网 (OOPN) .它用面向对象的方法建立系统整体框架 ,用有色Petri网描述对象、以消息驱动机制在对象间传递消息 ,能较好地将O O技术和Petri网结合起来 。

基于面向对象Petri网的电梯群控系统建模

电梯群控系统是一种典型的离散事件动态系统 ,这体现在乘客到达的起始层、目的层和到达时间的随机性 ,所以 ,很难用一个传统的数学模型表达式来表示。提出了一种应用面向对象Petri网对该系统进行建模的方法 ,该方法在对电梯运行情况充分研究的基础上 ,分别建立电梯运行和电梯控制器Petri网模型 ,从而构造电梯群控系统模型。该建模方法不仅适用于电梯群控系统 ,而且适用于其它离散事件动态系统。

基于增强型扩展的面向对象Petri网模型的装备保障能力评估建模

提出了一种可用于装备保障能力评估的增强型扩展的面向对象Petri网(GOOPN++)模型,给出了该模型形式化描述,引入了抽象库所、抽象变迁、消息颜色以及对象间的消息传递函数等新的概念,更好地体现了面向对象的思想,具有很好的模块性、继承性、重用性和可维护性,能够反映复杂系统的动态柔性特点,最后给出实例。

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

提出了一种面向对象的Petri网(OPN),较好地避免了一般Petri网建模时经常产生状态爆炸的问题,并具有较好的模块性、重用性及可维护性。通过利用OPN建立一个FMS模型的实例,说明了OPN的有效性和强大的建模能力。OPN为离散事件系统的建模提供了一种强有力的工具,具有良好的应用前景。

面向对象Petri子网的列车群运行系统模型

基于列车群行为建模所出现的列车并发性和智能性表述 ,面向不同的控制和决策问题、多层次性问题的处理 ,构成系统的各子系统独立性表示 ,面向不同分析问题系统混合属性的如何处理 ,以及影响列车群运行的各种不确定性因素的处理等主要问题 ,定义了一类对象Petri网 ,并利用所定义的Petri网建立了列车运行系统中的信号灯、区段、车站和列车的对象Petri子网模型。各对象子网分为内 外两部分结构 ,对象的内部数据属性和操作均由内部结构来表示 ,对象子网之间的联系是用消息传递来完成 ,这很好地表现了对象的封装性和对象子网的结构一致性。基于子网所构建的模型 (TGOSOPS)相对于已建模型 (TOPNO)所表述的内容更丰富 ,具有结构性、可扩展性、层次性更优良的特点。模型适用于分布式行车指挥系统、便于智能控制的实施并具有很好的开放性和可控性 ,模型可构成研究一类智能混合系统建模及分析理论的实验平台。

基于面向对象Petri网的知识库模型

根据Petri网能够对知识的细节进行抽象的特点及对知识库系统应用的需求,利用VC++对Petri网进行了类的封装,建立了基于面向对象Petri网的知识库模型,实现了对知识库的动态维护,并增加了单步推理和反向执行的功能,同时也改进了规则维护算法。

基于面向对象Petri网的组织间工作流建模

工作流建模是工作流技术研究的基础,目前工作流建模多集中在组织内部业务流程建模方面,对于组织间工作流建模研究较少。提出一种用于组织间工作流建模的扩展的面向对象Petri网描述规则,并针对经济运行中常见的一种生产交易流程进行建模。得到单个对象和系统整体的面向对象Petri网模型,然后在此基础上进行系统结构活性和有界性分析。通过针对实际问题的建模验证,阐明了该规则的有效性和实用性。

用面向对象方法实现基于Petri网的FMS动态调度仿真

Ｐｅｔｒｉ网模型是ＦＭＳ动态仿真的有利工具．本文利用面向对象方法对ＦＭＳ和有色赋时Ｐｅｔｒｉ网进行了描述，并根据最小下次事件时间推进原理，利用ＶｉｓｕａｌＣ＋＋建立了动态调度仿真系统．结果表明，面向对象方法具有表达直观、自然，可扩充性，实现容易、简便等优点．

面向对象代数Petri网

在软件方法学领域已有研究成果的基础上,提出了面向对象代数的Petri模型。该模型支持面向对象的概念,支持面向对象软件系统分析和建模,把代数理论、Petri理论以及面向对象方法和技术结合在一起,为形式化和智能化软件工程环境的建立提供了一种有效方法,提高了并发系统动态建模和复杂系统的高级建模的能力。

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

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