基于Petri网的复杂空竭休假排队系统的性能评价

针对复杂空竭排队系统难以得到性能指标解析解的问题,提出基于Petri网模拟的近似解方法.通过CPN Tools建立4种休假策略下排队系统的Petri网模型,在定义排队系统的性能指标数学期望公式的基础上,使用Data Collector采集模型模拟的动态数据,得到相关的性能指标结果和期望收益.仿真结果表明这种基于Petri网模型的近似求解方法是有效的,建立的模型和基于模型的性能分析方法具有可扩展性、复用性和界面友好性.     

基于随机Petri网的客户/服务器模型及其分析

提出了一种基于随机Petri网的客户 服务器模型 ,模拟了客户 服务器系统的基本工作原理 ,在此基础上 ,利用随机Petri网的时间特性对该模型进行了定量分析 .     

协同设计中基于混合Petri网的云工作流表示模型

针对目前协同设计中业务过程描述能力不足和柔性差等问题,从并发性、可伸缩性和协同性等五方面进
行分析,提出了一种在空间上三维分布的Petri网建模方法. 将组合、颜色和定时约束Petri网引入协同设计的流
程建模之中,设计了协同设计下云工作流业务流程的HPN(hybrid Petri net)模型;运用随机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网的重要性质之一.该文关注于这一性质并提出了一种新的无需存储全部状态空间的算法以求解Petri网库所界,主要思想为在生成状态空间过程中,通过引导消除可达图的部分回路同时结合T不变量的相关性质,以实现通过存储部分状态来精确求解每个库所的界.基于模型检测比赛的公开数据集进行了对比实验,通过对求解库所界的不同方法及其实验结果进行比较分析,说明了本文算法的有效性.     

文法的Petri网模型及其构造算法

针对几类典型文法:右线性文法,表达式文法以及属性树状文法提出相应的Petri网表示模型,给出模型构造的有效算法,讨论了模型的有关性质.结合Petri网的引发规则,通过例子指出了基于Petri网表示模型的语言产生过程.由此表明这种模型不仅具有树文法、图文法的图形直观性,而且由于Petri网自身的特色——token标记,增加了文法推导过程的动态信息——token信息流.     

Z规格说明的测试用例自动生成

软件测试是软件质量保证的重要手段,测试用例的生成是软件测试的关键和难点.文中应用范畴划分测试方法产生测试框架,并引入线性规划模型,通过构造线性规划模型来实例化测试框架,并且较好地解决了测试框架是否可行的判断问题.同时结合票据计算的例子,探讨了从Z规格说明推导出测试用例的过程、方法和技术.