基于Petri网的装备战场抢修系统建模研究

为了提高装备战场抢修系统的决策效率和决策科学性,以信息化条件下战场环境和我军装备维修现状为基础,分析了我军装备战场维修能力和维修需求。利用petri网进行装备抢修系统建模的特有优势,建立了装备战场抢修决策过程的peril网模型,模型主要包括装备战场抢修决策流程、装备损伤评估和野战维修能力评估。最后用CPN—Tools工具对一个实例进行仿真,应用模型节约了维修时间,提高了资源利用率,验证了模型实用性和有效性。     

基于Petri网的装备战场抢修系统建模研究

为了提高装备战场抢修系统的决策效率和决策科学性,以信息化条件下战场环境和我军装备维修现状为基础,分析了我军装备战场维修能力和维修需求。利用petri网进行装备抢修系统建模的特有优势,建立了装备战场抢修决策过程的peril网模型,模型主要包括装备战场抢修决策流程、装备损伤评估和野战维修能力评估。最后用CPN—Tools工具对一个实例进行仿真,应用模型节约了维修时间,提高了资源利用率,验证了模型实用性和有效性。     

基于Petri网的容错系统分层建模

扩展Petri网的结构,将一般的控制管理系统改进为具有容错功能的控制管理系统,应用扩展Petri网对其进行分层建模,包括系统的基础层、检错层、恢复层。采用故障恢复策略并使用带有基于Petri网分层模型中状态标识的行为跟踪、行为检错和行为改错增加控制管理系统的容错功能,并分析了模型的正确性。     

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

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

基于赋时分层着色Petri网的以太网系统建模

基于以太网响应时间的恰当的分析模型具有并发、动态、冲突、实时性等特点。传统的建模方法在解决这类问题时存在着复杂、僵化、柔韧性差、没有时间概念等缺点。赋时分层着色Petri网（HTCPN）通过增加请求、服务、协调、多实例化等新的建模元素,能够仿真和模拟基于实时性的客户枷服务器交互关系的问题,同时分层技术的引入也更 利于模拟任意结构的以太网模型。本文基于HTCPN建立了共享式和交换式以太网模型,通过对以太网模型响应时间的分析证明了HTCPN适合仿真和模拟这类问题。     

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

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

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

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

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

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

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

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

基于Petri网的工作流建模

Petri网是计算机异步成分之间进行通信的理论基础.Petri网的应用涉及计算机学科的各个领域.文中运用Petri网工具来对工作流技术进行了详细的分析与描述,并用一个例子来说明如何使用Petri网来描述工作流的各种同步关系以及流向,最后,文章还给出了一个由功能模型、数据/信息模型、组织模型、资源模型组成的工作流复合模型.     

分层有色Petri网在物流配送系统仿真建模中的应用

研究了如何使用分层有色Petri网在减少模型复杂性的基础上来建立物流配送模型, 并使用Colored Petri Net工具中的monitor机制, 对关键库所中托肯的变化情况以及关键变迁的发生次数得到 Simulation Performance Report和Message Sequence Chart来对模型进行全方位的定量定性分析, 准确模拟了实际系统完成物流配送的整个过程, 仿真过程表明该系统具有良好的适应性. 在确保物流配送流程合理性的同时,也为物流仿真软件体系结构的模块化及层次化设计建立了良     

基于着色Petri网的系统可生存性仿真平台

对可生存系统组件在攻击、抵抗、恢复3种因素作用下的状态转换过程进行分析,设计基于着色Petri网的系统可生存性仿真平台,从攻击强度、攻击密度、恢复强度、攻击策略、恢复策略5个方面模拟可生存系统的行为特性。以一个IPTV网络服务系统为例,利用平台仿真其在遭受不同攻击时的服务提供能力。仿真结果表明,该平台能较好地实现系统可生存性分析。     

有色Petri网的一种密码协议建模分析

密码协议是任何安全系统的基础,对它的设计越来越受到广大用户的关注.本文详细论述了文献[1]提到的一种密码协议,并使用有色Petri网对该协议建模分析,说明该设计的正确性.     

基于HCPN的发电企业项目管理工作流建模

如何对工程项目的成本、进度、质量情况进行控制和跟踪是发电企业的重要问题,应用工作流可通过对业务流程的整合及资源的合理分配解决这一问题。本文基于分层着色Petri网(HCPN),将工作流过程模型的逻辑结构和语义与HCPN中的网结构进行映射,进而利用CPN-TOOLS定义基于HCPN的项目管理工作流过程模型,并利用化简原则对工作流模型进行畅通性验证。     

基于分层着色Petri网的热轧带钢厂产线建模

本文介绍了分层着色Petri网（HCPN）基本原理,并结合局部事件表提出了为复杂制造系统建模的一种方法,此方法可以减少复杂系统建模的复杂性,也为仿真软件体系结构的模块化和层次化设计建立了良好的基础.文中还给出了HCPN在武钢热轧带钢厂产线仿真系统建模中的实现方法.     

基于有色网的多Agent计划建模

有色网能够描述资源和操作的具体语义。首先,由于计划中的操作和状态的个数的有限性,与有色网的元素个数有限性约束完全一致。另外,计划中的动作与有色网中的变迁语义类似,以及计划中的操作和状态和有色网中的库所语义非常类似。因此,有色网应用到计划的形式化中,有其独特的优势。本文根据约定的前提条件,计划建模从操作、状态和交互3个方面来具体实现,并给出了建模方法。计划的规范描述、有效性验证以及计划的模拟都可以直接应用经典Petri网或有色网的理论技术。     

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

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