协同数字化预装配系统中多Agent行为交互建模技术

针对网络协同预装配的特点,提出基于多Agent的协同数字化预装配系统体系结构,利用面向对象Petri网对组成系统的各智能Agent进行了行为建模,分析各Agent之间的通信关系。对所组建的系统Petri网进行死锁和冲突分析,在此基础上设计了Agent结构并开发了网络协同数字化预装配原型系统。     

Petri网在工作流系统建模和分析中的应用

工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.介绍工作流系统的Petri网、时间Petri网、逻辑Petri网、着色Petri网、随机Petri网等建模方法,对基于工作流网(WF-net)的完整性验证、性能分析、资源调度、时间分配以及协同分析等方法进行综述,指出Petri网在工作流建模和分析中的不足,提出了Petri网解决工作流系统建模和分析进一步的研究的内容.     

基于多Agent系统的计算机生成兵力建模研究

在计算机生成兵力(computer generated forces,CGF)的研究中,引入了多Agent系统(multi-agentsystems,MAS)理论,并以面向对象Petri网(object-oriented Petri nets,OPN)为基础,建立了一种通用的适合CGF的MAS形式化模型ArmyMAS.ArmyMAS描述了作战实体Agent、管理Agent和配置等三个单元,形象地刻画了CGF的结构与行为特性,同时可以利用Petri网的相关分析方法和工具对模型进行分析和验证.最后利用Ar-myMAS对弹道导弹攻防对抗CGF系统进行建模和分析,验证了该模型的有效性.     

面向对象Petri网在舰炮武器系统建模中的研究

研究并实现了一种基于Petri网的系统建模方法，它将面向对象技术与Petri网相结合，从而综合了两种方法的优势，降低了Petri网模型的复杂性，增加了Petri网的应用范围。舰炮武器系统是一种大规模的、复杂的并具有并发性、分布式、非确定性等特点的系统，因此我们应用面向对象的Petri网(OOPN)对其进行了建模。通过对舰炮武器系统的建模，我们发现面向对象的Petri网建模方法可以有效的降低系统模型的规模和复杂性。     

Petri网化简技术的研究

Petri网是系统建模和行为分析的有力工具,在很多领域得到广泛应用。但＂节点过多,状态爆炸＂是阻碍Petri网技术发展的瓶颈问题,尤其对于目前很多大而复杂的系统,其分析非常复杂。化简Petri网一直是Petri网工作者研究的重点,将Petri网分解为若干子网是一种非常有效的化简方法。对Petri网的并分解技术进行了研究,依据并分解定义提出了一种将无环路、多输出库所网分解为若干个单一输出库所子网的新技术。     

采用面向对象模糊Petri网的侦察平台Agent建模

为适应侦察平台Agent中各种知识的分类及知识动态更新过程的需求,采用一种自下而上的面向对象的模糊Petri网建模方法,不仅考虑处理中的侦察平台Agent推理规则,而且更注重其结构、子系统及相互通信方式.在分析侦察平台Agent模型及其知识推理系统的基础上,研究了面向对象的模糊Petri网建模的理论、建模步骤及示例.示例演示证实了模型的可行性与有效性.     

基于π网的多Agent系统建模与分析

首先集成两种互为补充的形式化方法-面向对象Petri网(Object-Oriented Petri nets,OPN)和π演算,建立了一种通用的形式化建模方法——π网.π网利用OPN形象地描述系统的初始化模型及动态行为,利用π演算刻画系统的动态演化.然后以π网为语义基础,从软件体系结构的角度,建立了一种多Agent系统体系结构模型(Multi-agent Systems Architecture Model,MASAM).在MASAM中,将多Agent系统抽象为计算Agent、连接Agent和配置等三个单元,并描述了多Agent系统的动态演化;研究了系统演化后体系结构一致性的分析方法,从而可以检测系统开发早期存在的错误,确保模型的可靠性和正确性.     

UML2OPN 的建模方法及其在通信装备维修保障系统中的应用

探讨了一种基于UML模型(Unified Modeling Language)与面向对象Petri网(Object-oriented Petri Net)的系统建模应用方法,并给出了UML模型到面向对象Petri网模型的映射算法.在此基础上,建立了通信装备维修保障系统的UML模型和所映射的面向对象Petri网模型,并对其模型进行了较为深入的分析研究,从而验证这种方法在通信装备维修保障系统建模应用中的实效性、科学性.     

信息物理融合系统可信软件形式化建模与分析

从多Agent系统的角度,以Petri网和π演算为语义基础,建立了一种信息物理融合系统（cyber-physical systems,CPS）可信软件形式化模型（high-confidence software formal model,HCSFM）. HCSFM以Petri网形象地描述CPS可信软件静态结构模型及动态行为,用Petri网分析方法和支持工具对模型进行分析和验证; 利用π演算刻画CPS可信软件中Agent的加入、退出、更新和体系结构重配置等动态演化机制,并研究Agent的演化策略及演化后CPS的一致性,确保动态演化后CPS软件能正常交互,从而为CPS软件设计提供可信保障. 通过HCSFM在无人驾驶车辆编队CPS中的应用,表明HCSFM可以有效地对CPS可信软件进行建模和分析.     

基于代价时间Petri网的合同网模型研究

提出一种扩展了价格信息的时间Petri网--代价时间Petri网,并用代价时间Petri网来模拟合同网协商过程,建立虚拟企业的合同加工模型.在合同网协议框架内,利用代价时间Petri网为合同网协议的招标、投标和中标过程进行建模分析,给出了招标要求和Agent在投标和评标决策过程的代价时间Petri网模型,最后利用该模型对盟员企业内部制造过程以及相互之间的协作关系进行了形式化分析和验证.