基于着色Petri网的多Agent系统交互协议建模

多Agent系统（Multi—AgentSystems，MAS）中，多个Agent通过交互和协作来完成一系列任务或实现一些目标。Agent之间有效、有序地进行交互是MAS成功运行的关键。文中采用着色Vetri网来表示一个多Agent系统。利用着色Vetri网，便于描述并发现象和模拟平行系统，除了直观的图形化表示，还具有精确的形式化定义，并且有完善的分析工具。最后对FIPA规范中的FIPAInform和FIPA Request两个协议进行实例分析，说明如何用着色Petri网进行建模。     

基于着色Petri网的多Agent系统交互协议建模

多Agent系统(Multi-Agent Systems,MAS)中,多个Agent通过交互和协作来完成一系列任务或实现一些目标。Agent之间有效、有序地进行交互是MAS成功运行的关键。文中采用着色Petri网来表示一个多Agent系统。利用着色Petri网,便于描述并发现象和模拟平行系统,除了直观的图形化表示,还具有精确的形式化定义,并且有完善的分析工具。最后对FIPA规范中的FIPA Inform和FIPA Request两个协议进行实例分析,说明如何用着色Petri网进行建模。     

基于着色Petri网的多Agent交互

在多Agent系统（MAS）中,Agent通过遵循交互协议的信息交换来进行交互,而大多数的Agent交互协议是在Agent设计时事先绑定的,这大大降低了Agent之间交互的灵活性。文章给出了一种灵活的创建Agent之间交互协议的方法,通过此方法,Agent不但可以分析自身是否可以使用创建的新协议进行交互,还可以分析使用新协议是否更有利于实现其自身目标。     

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

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

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

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

基于随机着色Petri网的RUDP协议建模与分析

鉴于传输层传输协议TCP的低效率和UDP的不可靠性,本文提出一种新型的多帧无线传输RUDP协议,同时引入广义随机着色Petri网（GSCPN）,并利用GSCPN对本RUDP进行建模和分析,为以后更好地研究RUDP协议提供模型参考,具有很好的理论价值。     

排队系统的着色Petri网建模与分析

着色Petri网（CPN）是研究离散事件动态系统的有力工具,将着色Petri网引入排队系统建模中,能弥补排队模型缺乏动态逻辑行为分析能力的不足。针对排队系统一般模型建立顶层结构模型,并对排队系统的4个要素给出了具体的CPN描述。给出一个具体实例,阐明排队系统的CPN分析法的使用,利用仿真工具CPN-Tools对模型仿真实现,仿真结果与数学模型得出的理论值对比分析,验证了可行性。     

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

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

基于面向对象层次Petri网的BSS建模方法研究

传统的电信业务支撑系统不能随外部需求的变化而进行相应的功能重组。本文结合业务能力封装的思想提出了一种基于面向对象的层次着色Petri网的业务支撑系统建模方法。该模型首层Petri给出了电信业务运营管理的总体框架,在次层Petri网子页中对综合计费账务系统的动态流程进行了详细的描述,最后以计费子页的Petri网模型为例,说明了如何提高模型的重用性,证明了该模型是可行的并能有效满足重组的要求。     

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

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

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

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

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

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

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

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

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

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

DEDS对象化高级Petri网模型研究--柔性生产线对象化高级Petri网模型

在加色网基础上,提出一种新的扩展Petri网模型.该模型具以下特点:对进程演化的有序结构建立偏序集数据抽象,使网络的几何结构与代数运算脱离具体进程特征;使用谓词集对加入变迁的token进行覆盖,可以集中描述物理事件集的层次逻辑结构;能方便有效地描述非固定流程生产系统.     

基于有色Petri网的网上EOD系统建模方法研究

对网上EOD(Education On Demand)中的基本概念进行定义，并对网上EOD进行功能子模块的划分。基于教学活动特征分析，对通用化的Petri网进行扩展，赋予其网上EOD内涵特性，采用有色Petri网系统对各子模块进行形式化描述，从而为网上EOD系统提出一套符合教学活动行为特性和要求的形式化建模方法，为进一步进行网上EOD系统的开发设计提供规范化理论指导。     

一种Colored WF_logic Net的工作流过程建模

结合着色Petri网和WLnet相关理论,提出有色工作流逻辑网（CWL_net）这一概念来实现工作流的过程建模。最后以保险索赔业务过程为例,采用绘制可达树的方法分析了业务流程的合理性。利用CWL-net可以准确描述业务流程的工作流逻辑,且这种逻辑结构可以区分工作流具体流程中不同变迁产生的任务完成信息,避免了某些问题。