共查询到19条相似文献,搜索用时 78 毫秒
1.
网络系统的可生存性问题是系统安全领域的一个重点研究方向。讨论现有的系统可生存性的一般分析方法,确定系统的可生存属性,并采用随机Petri网(SPN)技术,分析电信交换系统生存性问题的特点。重点利用随机Petri网描述系统的失效-修复分析模型和性能分析模型,给出系统可生存性分析中主要指标的定量计算方法。系统仿真结果表明了该方法的有效、合理性。 相似文献
2.
排队系统的着色Petri网建模与分析 总被引:1,自引:0,他引:1
着色Petri网(CPN)是研究离散事件动态系统的有力工具,将着色Petri网引入排队系统建模中,能弥补排队模型缺乏动态逻辑行为分析能力的不足。针对排队系统一般模型建立顶层结构模型,并对排队系统的4个要素给出了具体的CPN描述。给出一个具体实例,阐明排队系统的CPN分析法的使用,利用仿真工具CPN-Tools对模型仿真实现,仿真结果与数学模型得出的理论值对比分析,验证了可行性。 相似文献
3.
4.
基于面向对象着色Petri网的FMS仿真研究 总被引:5,自引:0,他引:5
1引言 柔性制造系统(F Ms)的控制问题是当今Petri网应用研究的热点,也是难点~[1].研的主要困难在于Petri网的复杂性随着系统规模的增加呈指数倍地增长.在当前激烈的市场竞争环下,人们在这方 相似文献
5.
网构软件由分布的、松耦合的服务按照一定的交互组合而成.由于服务的共享性,通常有多个软件系统请求服务节点上的同一服务.这些外部负载会影响服务进而影响网构软件的性能,因此在研究网构软件的性能时需要将这些外部负载考虑在内.基于上述问题,提出一种基于层次着色Petri网的网构软件性能建模与仿真分析方法.首先构建网构软件的性能模型,它包含一个顶层CPN和若干个子层CPN.顶层CPN建模网构软件的业务处理流程;子层CPN详细建模从请求服务到服务执行完成的过程.服务请求来自网构软件和其它软件系统.然后采用CPN Tools工具通过模型的仿真进行性能分析.最后通过仿真实验研究外部负载对服务进而对网构软件性能的影响. 相似文献
6.
着色Petri网是在经典Petri网理论基础上增加了token类型和网的模块这两个功能,它现在已成为一种较完善的语言,可以用来对各种系统规范和协议等进行设计、规范描写、仿真和验证等。文章对着色Petri网的基本理论进行了简单介绍,并对一个简单的通信协议进行建模和分析,提出了今后着色Petri网发展的一个主要方向。 相似文献
7.
防空反导作战系统是一个复杂的军事系统,具有同步、并发、冲突等特点。应用着色Petri网技术对联合反TBM作战系统进行建模,符合联合反导作战系统的特点,能够有效地分析联合反导作战系统的静态结构和动态行为。分析了联合反导作战系统的信息交换关系,建立了系统的CPN模型,对模型进行了验证和仿真。 相似文献
8.
9.
基于着色Petri网的工作流模型研究 总被引:1,自引:0,他引:1
针对传统Petri网建模方法的不足,研究了通过资源结构建模的工作流建模方法.在着色Petri网的基础上提出资源/任务网(R/T-net),并给出基于R/T-net的工作流建模过程.R/T模型能够有效地实现产品数据结构和过程结构的统一,资源流对任务流的控制以及模型的仿真. 相似文献
10.
基于着色Petri网的多Agent系统交互协议建模 总被引:1,自引:0,他引:1
多Agent系统(Multi—AgentSystems,MAS)中,多个Agent通过交互和协作来完成一系列任务或实现一些目标。Agent之间有效、有序地进行交互是MAS成功运行的关键。文中采用着色Vetri网来表示一个多Agent系统。利用着色Vetri网,便于描述并发现象和模拟平行系统,除了直观的图形化表示,还具有精确的形式化定义,并且有完善的分析工具。最后对FIPA规范中的FIPAInform和FIPA Request两个协议进行实例分析,说明如何用着色Petri网进行建模。 相似文献
11.
密码协议是任何安全系统的基础,对它的设计越来越受到广大用户的关注.本文详细论述了文献[1]提到的一种密码协议,并使用有色Petri网对该协议建模分析,说明该设计的正确性. 相似文献
12.
13.
研究了如何使用分层有色Petri网在减少模型复杂性的基础上来建立物流配送模型, 并使用Colored Petri Net工具中的monitor机制, 对关键库所中托肯的变化情况以及关键变迁的发生次数得到 Simulation Performance Report和Message Sequence Chart来对模型进行全方位的定量定性分析, 准确模拟了实际系统完成物流配送的整个过程, 仿真过程表明该系统具有良好的适应性. 在确保物流配送流程合理性的同时,也为物流仿真软件体系结构的模块化及层次化设计建立了良 相似文献
14.
15.
本文介绍了分层着色Petri网(HCPN)基本原理,并结合局部事件表提出了为复杂制造系统建模的一种方法,此方法可以减少复杂系统建模的复杂性,也为仿真软件体系结构的模块化和层次化设计建立了良好的基础.文中还给出了HCPN在武钢热轧带钢厂产线仿真系统建模中的实现方法. 相似文献
16.
17.
基于SPN的信息系统生存性分析建模研究 总被引:1,自引:0,他引:1
研究基于随机Petri网(SPN)的信息系统生存性分析建模方法.首先,将信息系统抽象为请求组件、通信组件、处理组件和存储组件4个部分;其次,将信息系统工作流程形式化描述和生存性分析建模相结合,并分别描述了通用信息系统、系统组件失效修复、串联并接、冗余以及具有可生存属性组件的随机Petri网建模方法.从而对系统形式化描述的同时对系统生存性能做了定性和定量分析;最后,仿真实验证明基于SPN建模方法分析信息系统生存性的有效性和准确性,并为可生存的信息系统设计提供理论基础和指导. 相似文献
18.
19.
基于CPN的车站调度层次模型及仿真 总被引:2,自引:0,他引:2
在对车站调度问题进行分析的基础上,采用着色Petri网从宏观和微观两个层次对列车在车站的运行调度进行建模。模型从宏观上描述了列车在车站的运行过程和调度过程,从微观上描述了列车在区间、道岔上的运行过程以及办理进路过程。最后。以CPNTOOL为工具对模型进行了仿真分析。仿真结果表明,该模型能够详细描述列车在车站的运行过程和调度过程。 相似文献