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

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

基于排队Petri网的服务系统性能建模与分析方法

如何有效评估服务系统的性能表现是解决服务对动态网络环境适配性的关键.然而,基于互联网的服务系统的规模尺度和复杂程度不断提高,使得服务系统的性能建模和分析越来越困难.通过分析服务系统的执行过程,提出了一种基于排队Petri网的性能建模和分析方法.该方法将服务系统运行过程分为服务准备和服务提供两个阶段.服务准备阶段被建模为...     

二维多层次的云服务可靠性评估方法研究

针对云服务业务流程管理的特点, 给出了云服务的组合实现框架; 依据随机Petri网的建模理论, 探讨了组合云服务流程网模型的细粒度建模方法; 根据动态多变的用户需求, 设计了二维多层次的云服务组合可靠性动态评估框架, 并给出了马尔可夫过程和等值约简的两种可靠性计算方法。应用示例分析结果表明, 该方法具有较好的动态适应性和灵活性, 能有效满足云服务的可靠性评估需求。     

基于系统行为序列的Petri网自动建模方法

要想用Petri网对系统进行有效的模拟和分析,就必须先建立起可靠准确的Petri网模型,目前很少有文献专门研究Petri网对系统的建模问题。对此,提出了基于系统行为序列的Petri网自动建模方法。该方法将系统所有行为序列组合为正规语言表达式,对于不同的系统,给出标注函数(即变迁和系统行为的映射关系),就可以建立起系统的Petri网模型。给出了电话呼叫业务建立用户Petri网模型的一个实例。该方法形式化强、通用性好,建立的模型标准规范,并且可实现机器自动建模,在目前的系统建模研究方面取得了进展。     

基于SCPN的软件可靠性建模与分析

针对软件动态行为复杂难以建模,且可靠性难以评估的问题,提出一种基于随机有色Petri网SCPN(Stochastic Colored Petri Net)的软件可靠性建模与分析方法。在建立软件可靠性分析的元结构模型的基础上,分别建立软件可靠性分析的串联结构模型和并联结构模型,有效地描述了软件的静态结构和动态行为。以某工厂采购系统为目标系统,以Time NET4.0为平台,建立其基于SCPN的软件可靠性分析模型,仿真验证了所提方法的正确性和有效性。该方法可以为软件可靠性的早期评估提供理论指导。     

基于马尔可夫过程的云服务组合QoS量化评估方法研究

针对云服务组合的QoS量化评估方法进行了研究。基于组合云服务环境中虚拟动态性和服务随机性的特点,提出了基于BPEL流程的云服务组合实现框架;在随机Petri网理论的基础上建立了组合云服务流程网模型(CCSPNet),进而应用马尔可夫过程对其进行性能评估,提出了云服务组合的六维QoS评价体系,并结合CCSPNet模型提出了云服务组合的QoS定量评估方法。通过应用实例分析表明,提出的方法具有较好的动态适应性和灵活性,能有效满足云服务应用环境的QoS评估需求。     

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

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

基于有色Petri网的1553B总线建模及分析

针对1553B总线的实时性评估问题,提出一种基于有色Petri网(Colored Petri Net,CPN)的1553B总线模型;该模型基于分层建模的思想,分别建立了1553B总线的拓扑模型、总线控制器模型、远程终端模型和总线信道模型,有效刻画了1553B总线的拓扑结构和动态行为;仿真实验验证了所建模型的正确性和有效性,该模型可为构建满足特定实时性要求的1553B总线系统提供理论依据。     

面向Agent的Petri网及其应用

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

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

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