基于随机Petri网的网络应用系统负载仿真模型

提出基于随机Petri网的网络应用系统负载Petri网(NSLPN)模型的定义,并给出该模型的一般构造方法,基于应用功能调用链将应用划分模块,根据调用链分析模块间调用关系构建出应用调用网络,并将其抽象为NSLPN模型,添加用于满足标准SPN模型以及人工干涉系统状态的辅助结构,求解系统负载稳态分布规律,具备模拟人工干涉下系统负载演变过程的能力。实例研究表明,该模型能够直观体现网络应用负载演变过程,能够为系统优化提供科学准确的数据参考。     

流体随机Petri网与混合Petri网的比较分析

流体随机Petri网和混合Petri网作为传统Petri网的拓展,可以建模离散成分和连续成分并存的混合系统,也可用于解决离散模型的状态空间爆炸问题.由于这两种建模机制远未发展成熟,分析比较它们的异同点有助于机制本身的进一步发展完善,有助于为特定的应用选择合适的建模方法.本文讨论了流体随机Petri网和混合Petri网的定义、连续标识、分析方法、以及相互转换的可能性.结论是这两种建模机制是互补的,各自适合于特定的应用场合.     

基于粗糙集和Petri网的随机流网络可靠性评价方法

针对随机流网络可靠性建模难的问题,提出一种基于粗糙集和Petri网相结合的随机流网络可靠性评价方法.建立了随机流网络在确定网络状态下的Petri网模型,并利用粗糙集方法求得网络中各边状态对系统状态的重要度;然后以此作为随机流网络的Petri网模型中各变迁的优先因子来控制模型中变迁的激发;最后通过蒙特卡罗仿真求得随机流网络可靠度的估计值.仿真结果表明,该方法是一种计算随机流网络可靠性的有效方法.     

生化网络的随机Petri网建模与分析

细胞的行为是随机性的,学习细胞中的随机性有助于理解细胞的组织,设计和进化。建立、确认和分析随机的生化网络模型是当前计算系统生物学领域的一个重要研究主题。当前,标准的Petri网模型已经成为生化网络模拟和定性分析的有力工具。尝试使用随机Petri网对生化网络进行建模与分析,简单描述了随机Petri网理论对标准Petri网的扩充,通过对二聚作用和肌动蛋白这两个典型例子的建模与演化模拟,介绍、论证了随机Petri网理论的新应用。     

混合Petri网的流体随机Petri网模型

混合Petri网和流体随机Petri网作为混合系统的建模方法,其内在的建模机制和分析方法不尽相同,而且这两种机制远未发展成熟.分析并建立它们之间相互转换的方法有助于机制本身的发展完善,并利用对方的建模原语和分析方法对系统进行多角度的分析.提出了一阶混合Petri网转换成流体随机Petri网的形式化方法及转换后变迁合并的方法,并给出了转换和合并方法的正确性证明,最后结合实例简要阐述了这两种方法的实现过程.     

随机Petri网的计算机仿真

本文研究了用计算机仿真技术作为随机Petri网的分析工具,并以通用仿真语言GPSS为例,讨论了随机Petri网与GPSS程序块之间的转换,并给出了应用实例。     

基于扩展Petri网模型的BPMN形式化

BPMN(Business Process Modeling Notation)作为一个在系统开发早期阶段获取业务过程模型的标准,指导系统的设计和开发,其模型的正确性是影响软件开发质量的关键。鉴于BPMN模型的形式化可以验证模型的正确性,提出了一种利用扩展Petri网模型,应用模型驱动技术实现BPMN模型形式化自动执行的方法。该方法通过细化Petri网模型中的Transition和Place元素以及增加Organization Identifier和Group Identifier容器,使其不但能够描述BPMN模型中的动态行为,而且还能描述BPMN模型中的动态行为协作和静态组织结构。从元模型结构、语法和图标记方面详细分析了扩展的Petri网模型元素,利用模型驱动开发技术设计BPMN模型元素至扩展的Petri网模型元素的转换规则,并在Eclipse平台上使用ATL模型转换语言执行映射,实现形式化的自动执行。最后在此基础上应用Travel Agency系统演示了模型形式化插件BPMN2ExtendPetrinets的执行结果。     

基于随机Petri网的工作流仿真

工作流管理是今年来发展最为迅速的计算机应用技术之一,被广泛应用于多个领域.Petri网,是对具有并发、同步、异步、冲突、资源共享以及不确定性等特点的离散事件系统进行建模的有效工具.针对工作流的性能评价问题设计和实现了随机Petri网仿真工具.介绍了工作流和随机Petri网的基本概念,然后具体介绍了仿真策略和冲突解决方法的关键仿真技术问题,最后结合具体实例对仿真工具的有效性和正确性进行验证.     

基于随机Petri网的内容分发网络能效分析

内容分发网络是一种新型的网络构建方式,能为用户提供较好的网络访问速度和稳定性,但其复杂的网络设备使得能耗相对较大,因此,内容分发网络的节能及能耗评价是其重要的研究主题。针对内容分发网络的网络结构,提出一种睡眠-唤醒机制和动态速率调节机制相结合的内容分发网络节能策略,并运用随机Petri网对内容分发网络节能策略进行能耗分析。在随机Petri网建模的基础上应用模型化简和评价方法,通过分析随机Petri网模型各状态稳定概率得到系统平均能耗,并使用软件SPNP对节能机制加入前后的内容分发网络能耗进行对比分析。通过对比分析表明,该节能策略能很好地降低内容分发网络的平均能耗。     

基于Petri网的ASIP体系结构形式化建模方法研究

根据SOC（System on chip）的软硬件协同设计的需求．针对ASIP体系结构空间搜索（DSE，Design Space Exploration）问题，考虑复杂的流水线结构，提出了一种扩展的时序Petri网模型——PNP模型，该模型可以以简洁直观的形式精确有效地描述目标体系结构．文中给出了PNP模型的确切定义，并通过对一个流水化的体系结构进行形式化建模的实例展示了该模型的有效性．     

基于层次扩展SPN的网络攻击模型

当前网络攻击模型对于复杂系统的建模能力较差。为此,提出一种基于层次扩展随机Petri网的全网攻击模型。该模型对宏观网络攻击和微观主机攻击具有较好的综合描述能力,适用于网络协同式组合攻击行为的模拟,并能够有效解决网络状态空间爆炸问题。基于该模型,提出一种生成算法,通过对网络粗糙攻击路径的定义,给出挖掘主机结点间潜在的攻击关系算法。经过子网扩展后,利用蚁群算法找出k条最优攻击路径,通过对粗糙攻击路径和精确攻击路径的综合评价,给出网络危险性定量评估方法。     

基于对象Petri网的计算机网络仿真建模

首先给出对象Petri网(OPN)的定义及其对基本Petri网的扩展。根据OPN和计算机网络的特点，划分了计算机网络仿真模型，并结合TCP/IP协议讨论建模过程。最后通过基于OPN的CBMSE(组件建模仿真环境)仿真了一个局域网。说明OPN的对网络建模仿真和性能分析应用。     

用Petri网模型进行电力系统结线分析

本文提出一种可用于电力系统结线分析的Petrri网方法。该方法以元件和开关状态构造的Petri网为核心,用令牌的流动来确定电力系统结线分析的网络结线,变迁的发生将包含相同元件的结点连接在一起。通过对一个电力系统模型的分析,表明该方法的可行性及有效性。     

基于Petri网的网络攻击流模型研究

针对网络攻击的智能组织实施问题,提出一种攻击流的概念,选用Petri网作为工具,对网络攻击流进行建模。在此基础上,对 3种基本网络攻击流模型进行分析,并结合IP欺骗攻击实例,分析其在IP欺骗攻击中的具体应用及其实现方式。实验结果表明,该模型既利于攻击者构建网络攻击方案,又能被计算机解析并组织实施网络攻击。     

多媒体系统中基于Petri网的同步模型

本文主要介绍了多媒体系统中的媒体同步技术和基于Ｐｅｔｒｉ网的多种同步模型,并讨论了交互式同步模型ＩＳＰＮ。该模型支持用户交互的多媒体同步关系描述,是一种灵活的动态规范。     

基于随机Petri网的可重构核心单元分析

利用随机Petri网对可重构核心单元进行建模,对其可达性、有界性、安全性等结构特性进行逻辑正确性验证,并对其稳态概率、变迁概率、吞吐量等性能特性进行数量化求解。在好、中、差3种速率情况下讨论动态重构对计算任务完成时间的影响,分析结果表明,可重构核心单元的动态重构响应越及时,其任务处理时间就越少。     

基于Petri网的稿件处理工作流模型

稿件处理流程是一个部分自动执行的业务过程。通过对稿件处理工作流实际应用环境的分析,提出了一个相对完整的基于Petri网的工作流模型,并给出了该模型的完整性验证。     

基于Petri网的面向对象原型化方法研究

论述了目前系统分析与开发的面向对象原型法 ,指出将其应用于包含并行性系统开发时需增加系统性能分析 ,并给出一个以 Petri网为辅助的面向对象原型方法。     

基于Petri网的WSCI形式化模型分析

WSCI是一种Web服务组合标记语言,对于一些关键的业务流程,任何设计错误都会造成重大损失,因此有必要为WSCI语言建立形式化模型并给予分析,从而保证正确的业务流程部署。本文主要给出了WSCI的分析方法,基于文献[1]给出了形式化模型,提出了该形式化模型下的一种网融合方法。该方法将表示进程的网模型与其表示例外处理和子流程的网模型进行合并,形成统一的网模型。本文最后还给出了在该网模型下的可达图分析方法,从而达到分析带有例外处理的WSCI形式化模型的目的。     

基于层次Petri网的复杂装备保障流程分析方法

针对复杂装备保障流程约束条件多、动态性强、耦合严重、层次结构复杂的特点,提出了一种基于层次Petri网的流程分析方法;首先,分析了保障流程的层次化结构,采用着色时间约束Petri网,建立了包含保障人员、保障设备、保障空间等保障资源库所的层次化Petri网流程模型;然后,采用流程基本模型起始时间——流程子网起始时间——流程总时间的层次方法,设计了流程时间参数统计算法;最后,以某复杂装备系统保障流程为例,进行了实例分析,并通过与ExSpect软件MonteCarlo仿真对比验证了算法的有效性.