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

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

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

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

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

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

基于分层面向对象Petri网的软件建模方法研究

为了增加和扩展Petri网的表现能力,提出了一种分层的面向对象Petri网HOOPN,并且对HOOPN的正式的语法和语义进行了详细的阐述。HOOPN建模方法在很大范围上支持面向对象的抽象、封装、继承和多态等典型特征。HOOPN同样也支持很多的建模和分析机制,最后的应用实例建模与分析证明了HOOPN的有效性。     

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

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

一种面向对象模糊Petri网建模方法的研究*

针对一些复杂知识系统的知识不确定性及知识规则数量多的特点,在模糊Petri网（FPN）的基础上给出了面向对象模糊Petri网（object-oriented fuzzy Petri net, OOFPN）的形式化定义及其知识表示和知识推理。通过面向对象技术,可以采用模块化方法设计知识系统,将复杂知识系统划分为许多功能子系统,从而降低构建知识系统的复杂性,方便知识系统的优化和管理。     

基于面向对象Petri网的煤矿CPS建模

针对煤矿CPS的特点,利用面向对象Petri网对其进行建模.从多Agent系统的角度,建立煤矿CPS的体系架构;建立该体系中各对象内部的子网模型;通过对煤矿CPS的业务流程分析,建立系统对象间的整体模型,描述各对象内部的静态、动态特性以及对象间的交互过程;对所建模型进行系统可靠性分析,分析结果表明,所建立的煤矿CPS模...     

基于Petri网的分布式面向对象数据库系统建模

首先介绍了分布式面向对象数据库（DOODB）的基本概念，提出了以对象模型，事件模型，事务模型三个正交维来进行建模的思想，并利用面向对象（OO）技术及Petri网理论对DOODB进行了系统建模，这种建模表示方法对开发分布式数据库及其管理系统有一定的指导意义。     

基于层次着色Petri网的网构软件性能建模与仿真分析方法

网构软件由分布的、松耦合的服务按照一定的交互组合而成.由于服务的共享性,通常有多个软件系统请求服务节点上的同一服务.这些外部负载会影响服务进而影响网构软件的性能,因此在研究网构软件的性能时需要将这些外部负载考虑在内.基于上述问题,提出一种基于层次着色Petri网的网构软件性能建模与仿真分析方法.首先构建网构软件的性能模型,它包含一个顶层CPN和若干个子层CPN.顶层CPN建模网构软件的业务处理流程;子层CPN详细建模从请求服务到服务执行完成的过程.服务请求来自网构软件和其它软件系统.然后采用CPN Tools工具通过模型的仿真进行性能分析.最后通过仿真实验研究外部负载对服务进而对网构软件性能的影响.     

面向对象Petri网在工人加工工件系统建模中的研究

采用面向对象Petri网（OOPN），建立了一个工人加工工件系统的完整的OOPN模型。并利用了对象之间的消息传递技术实现了工人和两个机器之间的无冲突工作，为其它复杂的资源共享系统建模提供了数学和图形工具。     

基于Petri 网的分布式面向对象数据库系统建模

首先介绍了分布式面向对象数据库(DOODB)的基本概念,提出了以对象模型、事件模型、事务模型三个正交维来进行建模的思想,并利用面向对象(OO)技术及Petri网理论对DOODB进行了系统建模,这种建模表示方法对于开发分布式数据库及其管理系统有一定的指导意义.     

基于着色Petri网的工作流建模

为了提高工作流模型的适应性,通过建立统一的资源管理器模型,解决了工作流网的资源分配问题,得到了一致的资源请求和资源释放过程。在引入着色Petri网的基础上,得到更加容易控制和计算机化的着色工作流网模型。最后,定义并将适台于工作流的事件一条件一动作规则引入着色工作流网,提出了基于ECA原语的工作流模型描述机制。     

报文审批系统的赋时着色PN建模

报文审批系统(RAS)是一种典型的离散事件动态系统,适合用Petri网技术对其进行分析。考虑到传统Petri网具有一些固有的缺陷,文中基于高级Petri网———赋时着色Petri网(TCP-Net)理论,对RAS进行了分析,构造了RAS的赋时着色Petri网模型,给出了颜色转移函数。并且为了使用户能直观地了解当前报文的审批情况,还给出了流程跟踪算法。最终结果可以看出与传统Petri网模型相比,TCP-Net模型的复杂度已大大降低,并且结构简单清晰。     

报文审批系统的赋时着色PN建模

报文审批系统(RAS)是一种典型的离散事件动态系统,适合用Petri网技术对其进行分析.考虑到传统Petri网具有一些固有的缺陷,文中基于高级Petri网--赋时着色Petri网(TCP-Net)理论,对RAS进行了分析,构造了RAS的赋时着色Petri网模型,给出了颜色转移函数.并且为了使用户能直观地了解当前报文的审批情况,还给出了流程跟踪算法.最终结果可以看出与传统Petri网模型相比,TCP-Net模型的复杂度已大大降低,并且结构简单清晰.     

基于对象着色Petri网的UML模型研究

UML广泛应用于软件建模，但缺乏有效的模型检测的方法，使用形式化方法对UML模型进行分析，可以发现UML模型的设计问题，提高UML模型的质量。对象着色Petri网是一种拥有接口库所的模块化着色Petri网，既是一种图形化建模工具，又是具有严格的语法语义定义的形式化方法。通过引入事件托肯，改进了将UML模型转换为对象着色Petri网的方法，结合实例将UML状态图和协作图映射为对象着色Petri网模型。并用着色Petri网的方法和工具对模型讲行了分析．验证了模型的一系列性质．     

基于对象着色Petri网的UML模型研究

UML广泛应用于软件建模,但缺乏有效的模型检测的方法,使用形式化方法对UML模型进行分析,可以发现UML模型的设计问题,提高UML模型的质量。对象着色Petri网是一种拥有接口库所的模块化着色Petri网,既是一种图形化建模工具,又是具有严格的语法语义定义的形式化方法。通过引入事件托肯,改进了将UML模型转换为对象着色Petri网的方法,结合实例将UML状态图和协作图映射为对象着色Petri网模型。并用着色Petri网的方法和工具对模型进行了分析,验证了模型的一系列性质。     

基于CPN的接纳控制系统建模与仿真

利用着色Petri网(CPN),在CPN Tools平台上建立自顶向下的分层自适应OFDMA系统接纳控制模型。该模型能直观描述系统过程,具有开放性,适用于不同算法或到达间隔与处理时间不服从指数分布的业务。采用Monitor监控器分析模型性能,并与M|M|m|n排队模型进行仿真比较,结果验证了该模型的正确性和优越性。     

基于有色Petri网的Web服务合成建模

分析了用一般Petri网进行Web服务合成建模的不足,提出用有色Petri网进行改进.利用有色Petri网原理给出了Web服务的形式化定义,描述了Web服务合成的五种基本结构的Petri网模型,通过一个行程规划实例,分析了行程中的不同Web服务,描述了行程规划服务由不同Web服务合成的有色Petri网模型,展示了有色Petri网在Web服务合成建模中的优势.     

基于Colored Petri网的工作流建模及应用

对传统Petri网在描述工作流模型时,组成模型的元素数量过多、无法体现数据流以及无法管理多个工作流实例等缺陷,将有色Petri网（Colored Petri net,CPN）理论的分析方法引入到工作流网（Workflow-net,WF-net）,实现二者有机结合,提出了一种新型扩展工作流网CPWF-net（Workflow-net based on Colored Petri net）,给出了严格的定义,使能机制和触发,全面分析了CPWF-net的特性,并就其实际应用进行了初步探究。