面向Agent的Petri网及其应用

为了更好地刻画单个Asent的行为和多Asent间复杂、并行的动态交互,将面向Agent的设计思想与Petri网建模方法相结合,形成了一种面向Agent的Petri网(AOPN)模型.首先给出了面向Agent的Petri网的形式化定义,然后利用Petri网的建模工具,以网上购物背景下买卖双方简单交互为例,对基于面向Agent的Petri网模型的系统建模方法进行了研究和分析,有效地解决了系统结构复杂性的问题.     

基于Petri网和Agent的复杂适应系统建模

针对复杂适应系统内部关系繁杂、难于描述及计算机仿真建模困难等问题,提出一种基于时间Petri网和多Agent相结合的建模方法.以Agent为基本建模元素,用Petri网描述Agent内部的行为规则,实现复杂适应系统的Petri网与多Agent相结合的有机建模,可避免Petri网建模引起的模型空间爆炸和Agent内部推理...     

基于Agent的对象有色Petri Net及其在制造单元建模中的应用

在对象有色Petri网的基础上，引入知识库、目标库和规划模块，提出一种基于Agent的对象有色Petri网模型。以一个制造单元为例，介绍了使用该模型用于Agent系统建模的方法，以及Agent之间异步消息通信机制。最后，通过分析了由基于Agent的对象有色Petri网简化得到的制造单元的普通Petri网模型，验证了模型具有的三级活性、并发、有效性三个特征。     

一种无线传感器网络形式化模型及应用研究

由于无线传感器网络(Wireless sensor networks,WSN)开发缺少一种通用的理论模型,从多Agent系统的角度,以面向对象Petri网(Object-Oriented Petri nets,OPN)为语义基础,建立了WSN形式化模型(Wireless Sensor Networks Model,WSNM)。在WSNM中,从微观和宏观层次上研究了传感器节点Agent模型、网络通讯模型。WSNM能描述系统的静态和动态语义,可以形象、直观地刻画系统的整体和个体特性,同时可利用Petri网的数学分析方法和支持工具对系统进行模拟、分析和验证。最后将WSNM应用于基于WSN的目标跟踪系统的建模与开发中。     

基于多Agent的FMS可靠性复合建模方法研究

提出了一种基于多Agent的面向对象的FMS可靠性建模方法，该方法将面向对象方法与高级Petri网技术相结合，并通过多Agent机制加以表述，使模型具有较好的通用性和可重用性，能够反映FMS的动态柔性特点。最后提出了便于用户使用的仿真建模软件的基本框架。     

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

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

着色Petri网在科技计划项目管理系统建模中的应用

在深入研究科技计划项目管理业务基础上,鉴于Petri网的特点,提出了利用着色Petri网建模科技计划项目管理系统的方法.分析了着色Petri网适合于系统建模的原因,以项目管理评审环节为例讨论了着色Petri网在建模中的应用,并建立了基于着色Petri网的系统模型.通过对该模型的分析仿真结果表明,该方法是可行和有效的.     

基于多Agent的应急协同Petri网建模及协同检测

针对应急事件处置过程中的多组织协同问题,提出多Agent应急协同的Petri网模型定义,研究Agent内部Petri网基本结构及多Agent的协同交互Petri网建模,并给出了应急协同Petri网模型的协同检测算法。最后以某单位氯气泄漏应急事件处置过程为例,建立了应急协同Petri网模型,并进行协同检测及分析,验证方法有效性和实用性。     

基于Petri网的物流仓储系统的建模研究

Petri网作为一种离散事件动态系统的建模和分析方法,提供了在逻辑时序下研究系统特性和性能的有效手段,并有图形方法的直观性和逻辑方法的概括性.运用Petri网建立入库子模型及出库子模型,并使用基本Petri网和随机Petri网的化简规则对相应模型进行化简继而分析,得出优化结论,从而实现物流仓储系统的建模研究.     

基于精炼操作的Petri网建模及其分析方法

针对复杂系统的Petri网建模及其分析问题,定义了Petri网的精炼操作及其相关的Petri网模型.基于序列投影,建立精炼Petri网与原网、子网间的动态行为关联关系,并分析了该精炼操作的相关动态性质,得到一组性质保持判据.最后,基于该方法实现了一个顺序资源共享系统的应用案例的建模及其分析.所提出的方法不仅为复杂系统的Petri建模提供了新的思路,而且有助于复杂Petri网模型的分析和验证.