基于公共对象请求代理架构和面向对象着色Petri网的分布式系统开发

网络的发展带来了越来越多的异构性,从而给分布式系统开发带来了很大的困难。公共对象请求代理架构(common object request broker architecture,CORBA)技术有效屏蔽了异构性,使其在分布式系统开发中起着重要作用。Petri网作为一种系统的数学和图形描述与分析工具,非常适合对具有分布性质的系统进行建模。针对CORBA编程,整合面向对象和Petri网,定义了一种面向对象着色Petri网,并在此基础上介绍了基于CORBA和面向对象着色Petri网的分布式系统的开发过程,最后给出了一个简单实例。

面向对象着色Petri网的板级电子产品拟实制造系统

基于面向对象着色Petri网(OCPN)模型,结合面向对象方法和Petri网,建立了板级电子产品拟实制造系统(VMS)的仿真模型,开发了VMS软件,并给出了仿真结果。

基于面向对象着色Petri网的多Agent系统建模

提出了一种基于面向对象着色Petri网(OOCPN)的多Agent建模方法,与其它建模方法相比,OOCPN可以全面地刻画出Agent的个体行为特征和多Agent间复杂、并行的动态交互,讨论了利用OOCPN进行个体Agent和多Agent间交互协议的建模,并通过对网上智能购物系统的实例分析,展示了OOCPN对多Agent系统的建模能力。

基于面向对象着色Petri网FMS仿真软件

基于面向对象着色Ｐｅｔｒｉ网模型，利用计算机仿真技术，开发了ＦＭＳ仿真软件。本文着重介绍软件的五大功能模块及其实现。

基于面向对象着色Petri网的FMS仿真研究

<正>1引言 柔性制造系统(F Ms)的控制问题是当今Petri网应用研究的热点,也是难点~[1].研的主要困难在于Petri网的复杂性随着系统规模的增加呈指数倍地增长.在当前激烈的市场竞争环下。

基于面向对象着色Petri网的FMS对象类划分及建模

基于面向对象着色Ｐｅｔｒｉ网模型，利用Ｐｅｔｒｉ网和面向对象技术相结合的方法，把ＦＭＳ的物理组成分为５个对象类。每一对象类对应于一个封装的对象子网，用消息位置把各子网集成起来。该模型真实而全面地反映了ＦＭＳ的生产运行，为开发良好的ＦＭＳ在线控制器以及离线仿真器提供了一个很好的模型。

基于多环面向对象着色Petri网的装配调度研究

采用多环面向对象着色Ｐｅｔｒｉ网（ＴＯＯＣＰＮＭ）同启发式算法相结合的方法，研究装配系统的调度问题。先用ＴＯＯＣＰＮＭ来表述系统的调度问题，然后生成并搜索网的部分可达图，以变迁发生顺序的方式给出一个最优或次优的可行调度。由于给出的是一个可行的调度，系统潜在的死锁可以自然得到避免，因此对模型或系统的活性分析可以省略。

面向对象着色Petri网在交互行为描述方面的研究

用面向对象着色Petri网的结构和执行语义描述人机交互的静态结构和动态行为,充分利用着色Petri网和面向对象技术的优点,从形式化、可视化的角度描述交互行为的建模过程,降低了人机交互建模的复杂度,增强了建模系统的可重用性,并以图形编辑器为例进行了验证,给出了面向对象着色Petri网在人机交互行为方面的具体描述,模型与实际系统中的对象可以相对应,易于理解和实现。

面向对象的赋时着色Petri网在FMS中的建模与仿真

在对柔性制造系统建模时,一般Petri网对描述有一定的局限性,因此提出面向对象的赋时着色Petri网(OOCTPN)概念。在柔性制造系统的建模与分析中,以生产物流系统为研究对象,首先对系统按照功能进行模块划分,以基本Petri网对各子模块进行建模,然后将各子网赋予时间和颜色特征对系统进一步描述,再通过消息传递将各子网联系起来,以建立柔性制造系统的综合模型。最后,以汽车零部件的柔性制造系统为实例,建立OOCTPN模型并用Flexsim进行动态仿真,验证了该OOCTPN模型的正确性和可达性并证明该建模方法及所建模型的有效性。

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

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

面向对象扩展着色 Petri 网在装配系统中的应用

根据面向对象思想，提出了面向对象扩展着色Ｐｅｔｒｉ网模型（ＯＯＥＣＰＮ）．该模型一方面，具有通用性，可重用性和易扩展性；另一方面，具有简单性、直观性．很好地解决了传统的Ｐｅｔｒｉ网所面临的问题．此外以装配系统为例，阐述了ＯＯＥＣＰＮ的建模方法．

基于着色赋时面向对象Petri网的AUV系统建模研究

研究并实现一种着色赋时面向对象Petri网(CTOPN)建模方法,它将面向对象技术与着色赋时Petri网相结合,从而综合了两种方法的优势,降低了Petri网模型的复杂性,增加了时间描述,便于系统定量分析。首先给出CTOPN的形式定义,然后建立AUV系统的CTOPN模型,最后给出模型的死锁检测算法,从而验证模型无死锁,为系统仿真创造了条件。

带有时间戳的着色逻辑Petri网

针对扩展着色逻辑Petri网存在的表达能力弱以及适用范围窄的问题,提出了一个新的Petri网模型,即带有时间戳的着色逻辑Petri网。首先,将颜色进行实例化以及将变量用于构建有向边上的表达式使得模型能够传递复杂的数据流。其次,引入全局时间以及令牌的时间戳等概念为变迁使能规则增加时间上的约束,使得模型能够用于模拟实时系统。再次,定义库所约束函数并为变迁使能规则增加输出库所上的约束,使得模型能够适用于存储资源有限的场景。接着,提出基于逻辑变迁输入输出矩阵的匹配法,降低逻辑输入变迁的使能判定计算开销并简化逻辑输出变迁的使能判定计算过程。然后,重新定义适用于三类变迁的使能判定条件以及适用于三类库所的标记更新方法,解决原有模型语义在新模型中不适用的问题。最后,通过实例说明新的Petri网模型具有更强的表达能力和适用范围,它能够适用于传递复杂数据流、存储资源有限、实时的且包含批处理选择结构的系统。

基于着色Petri网和面向对象技术的FMS中物流系统建模与仿真

利用着色Petri网和面向对象技术相结合的方法,把FMS中物流系统的组成分成5个对象类。建立了FMS中物流系统的各个对象及其之间关系的着色Petri网模型,然后将其转化为物流系统的仿真程序。通过实例验证,所开发的软件结果与实际接近,可以为企业物流系统的设计提供指导。

递阶着色Petri网在面向对象设计中的应用

基于Ｐｅｔｒｉ网的节点过多阻碍其广泛应用，在着色Ｐｅｔｒｉ网和递阶着色Ｐｅｔｒｉ网的基础上，分析了递阶着色Ｐｅｔｒｉ网在结构上与面向对象方法的共同之处及其相互联系．指出递阶着色Ｐｅｔｒｉ网可以大大简化Ｐｅｔｒｉ网建模，同时提出了一种把递阶着色Ｐｅｔｒｉ网用于离散事件动态系统的面向对象软件设计的一般方法，并通过对一个柔性制造系统实例的面向对象分析和递阶着色Ｐｅｔｒｉ网的建模，最终指导控制软件的开发．

一种着色赋时的面向对象Petri网及在自动制造系统中的应用

着色赋时的面向对象Petri网(Colored Ti med Object-Oriented Petri Net,CTOPN)是在面向对象Petri网的基础上,添加了着色令牌和输入输出变迁函数的概念而形成的,是Petri网的扩展形式.给出了CTOPN的基本定义和建立CTOPN模型的方法,给出了CTOPN在自动制造系统(Automated Manufacturing Systems,AMS)中的应用实例,最后对模型进行了死锁分析.CTOPN可以准确地描述复杂系统的静态结构及动态特性,能够成为面向对象系统的一种形式化的建模工具.

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

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

一种面向对象的Petri网

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

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

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

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

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