基于Petri网的建模分析

Petri网以其简洁、直观、潜在模拟能力强等特点被广泛用于离散事件系统的模拟和分析中。随着业务流程建模、工作流概念的出现以及Petri网技术的发展,Petri网也被用于工作流模型的建立。在介绍工作流和Petri网概念的基础上,通过实例研究如何使用Petri网建立模型,并进一步做了可达性分析。     

星座备份策略研究进展

针对星座卫星在轨运行时因操作或故障导致星座服务性能下降的现象，综述了星座备份策略研究的进展。首先，概述了导航星座、通信星座的基本情况和备份现状，归纳出不同星座的备份策略。其次，重点阐述了3种不同的星座备份策略模式，即在轨备份、停泊轨道备份及地面备份，给出了3种备份策略模式的特点。在此基础上，分别从卫星故障模式、卫星可靠性、卫星可用性、星座状态概率和星座系统可用性5个方面梳理了国内外星座备份策略关键因素的研究进展。再次，综述了目前星座备份策略分析的主要模型和方法，包括Petri网、马尔可夫链以及存储论。最后，对未来星座备份策略研究的发展方向进行了展望。     

飞行程序发布订阅服务Petri网建模分析

发布订阅服务是未来航行情报管理所面临的主要问题之一。利用UML建立了飞行程序发布订阅概念模型,刻画了系统需求和发布订阅的具体过程。建立了相应的Petri网模型,通过可达树分析和P不变量分析得出所建Petri网模型的有界性、守衡性和活性,从而证明了概念模型的正确性和有效性。     

三种系统可靠性评估方法的比较与分析

故障树、故障Petri网和贝叶斯网络是评估系统可靠性、安全性的三种重要模型。其中,故障树在工程中应用最广,而后两种模型其各自具有不可替代的优点,可以弥补故障树在实际应用中的不足。在介绍三种模型的基础上,通过对故障树向故障Petri网转化方法、故障树向贝叶斯网络转化方法的研究,给出描述三种模型的典型逻辑关系等价结构图的表格,揭示三种模型的内在联系。结合该表,提出故障Petri网向贝叶斯网络的转化方法。同时,利用上述三种模型对导弹发动机故障进行对比分析,结果表明故障Petri网使故障传播过程一目了然,而通过故障Petri网络或故障树转化而来的等价贝叶斯网络可计算出更多定量结果。     

IEEE-1394异步传输机制建模及性能分析

高速数据总线技术是航空电子中的关键技术之一.IEEE-1394是一种串行高速数据总线,已经成功应用于航空电子中.其异步传输模式保证数据传输的可靠性,广泛用于命令、状态数据的传输.为解决IEEE-1394总线异步传输过程中的传输延时、吞吐量以及总线利用率等问题,基于确定与随机Petri网(DSPN,Deterministic and Stochastic Petri Nets),建立了IEEE-1394总线异步传输的节点模型,并基于模型仿真分析了其异步传输系统的性能.通过仿真研究得到了IEEE-1394异步传输系统吞吐量、平均等待时间等性能指标同数据包大小和数据到达速率的关系,并给出了IEEE-1394异步传输数据包到达速率极限的计算方法.     

基于扩展Petri网的除冰软件安全需求建模和验证

Petri网是形式化的系统建模方法,以严格的数学基础来保证系统的正确构建,但在支持复杂软件建模和自动化验证方面存在不足.扩展了Petri网的形式语义,区别定义了状态型和数值型库所,区别定义了变迁的激发和抑制状态,引入了无前置、一元和组合判断规则,同时根据形式化定义将模型自动转换为检验程序实施安全性验证.最后给出了以上方法在典型安全关键软件-除冰系统上的应用,过程和结果表明扩展的模型和方法增强了Petri网对复杂软件系统的建模能力,提高了软件的安全性,从模型到验证代码的自动转换解决了完善模型时人工修改相应代码的工作量和因此而引入人为错误的重复工作量的问题.     

基于微分Petri网的民机航迹演化通用模型构建

为实现对未来大流量、高密度、小间隔条件下的空域实施管理,在战略航迹规划阶段,提出了一种模块化的战略航迹演化通用模型。建立了不同航段之间航空器状态动态切换的一类宏观Petri网演化模型,以及同一航段内航空器速度和高度两种特征参数值连续变化的3类微观Petri网演化模型。根据航空器特征参数值转化的4种不同形式并基于航空器全飞行剖面的混杂运行特性,运用微分Petri网理论,定义了航空器的4种演化模式,通过组合各种演化模式得到了3种航空器基本演化模型。在满足航空器性能约束的前提下,通过设定10个航段及15个高度和速度预设值,得到了全飞行剖面下各特征参数的演化图。结果表明,所设计的演化模型增强了航迹预测模型的通用性,能够反映航空器在水平剖面和垂直剖面内的状态变化。     

组合优化中的Petri网仿真算法

组合优化中,最长路、最短路和最大流问题是重要而又基本的问题。本文提出一种求最短有向路的新方法——Petri网图仿真算法。该方法是在一般Petri网的基础上,对网元素进行附加描述,同时,引入了“运动标记”的概念和定义新的“发生”规则,再利用Petri网的马尔科夫性和并发性,以及它的动态模拟功能,在Petri网图仿真器上,进行(对象)系统的网图仿真运行及数值处理,求得最长路径,最短路径及其路长,最小割及其最大流。由于该算法便于利用计算机的并行算法可以提高计算速度,并能利用最优性原理减少计算量。而且,还可提供系统运行的动态显示和结果的屏幕显示及图表输出。因此,它是一种直观而又方便的方法。     

基于Petri网和UML的工作流模型设计

介绍了工作流的概念及发展过程,讨论工作流建模的基本方法。重点分析Petri网和UM L在工作流模型设计过程中的应用,结合Petri网语义定义工具和图形化界面以及UM L的面向对象特点,形成基于Petri网和UM L的工作流建模方法。工作流模型的语义定义采用Petri网表达,给出工作流网的形式化描述。工作流系统的设计模型采用UM L进行定义,对于业务逻辑、执行过程、数据结构分别采用用户实例图、顺序图、类图进行描述。在工作流的实现上,采用软组件实现工作流服务组件的分布布置,并通过接口定义语言对功能组件中的服务进行发布。最后给出工作流的发展趋势,并计划开展工作流仿真和优化方面的研究。     

研究计划管理系统的Petri网论法

本文以图的形式给出Petri网的定义;通过导入“时间Place”和“象征”的附加描述,使Petri网成为扩充的Petri网(EPN);用EPN模拟计划管理系统,用EPN仿真器构画计划管理系统的图模型、求系统的时间参数、进行系统的优化。