基于Petri网的软件故障树分析

软件故障树最小割集求解方式与效率极大影响软件可靠性分析结果及有效性。提出将故障树转化为Petri网,使用Petri网关联矩阵法,求解软件系统故障树最小割集。能够较好分析大型复杂软件系统,故障树最小割集求解更加简洁有效。通过ADS—B解码板解码任务验证其有效性,表明能够有效求解故障树最小割集。     

Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison

Nowadays, there exist web sites that allow users to retrieve and install software in an easy way. The performance of these sites may be poor if they are used in wireless networks; the reason is the inadequate use of the net resources that they need. If these kinds of systems are designed using mobile agent technology the previous problem might be avoided. In this paper, we present a comparison between the performance of a software retrieval system especially designed to be used in a wireless network and the performance of a software retrieval system similar to the well-known Tucows.com web site. In order to compare performance, we make use of a software performance process enriched with formal techniques. The process has as important features that it uses UML as a design notation and it uses stochastic Petri nets as formal model. Petri nets provide a formal semantics for the system and a performance model.     

一种随机Petri网性能等价化简与分析方法

随机Petri网模型是系统性能评价的有力工具,但其状态空间随模型规模的增长而指数性增长的问题限制了其对复杂和大规模系统模型的性能数量分析能力.因此,在对模型进行分析之前,先对其进行适当的性能等价化简,是一种更为可行的分析方法.本文首先讨论了一类随机Petri网-基本随机Petri网(ESPN)的性能等价分析方法,这类随机Petri网由顺序、并行、选择和循环等四种基本结构及其组合构成.作者推导出这四种基本结构的性能等价公式,并运用自底向上逐步综合替代的分层分析方法,给出这类随机Petri网模型的性能等价化简分析方法,该方法的复杂性随模型增长而线性增长,有效解决了其性能数量分析问题.然后,讨论了两种非基本结构到基本结构的转换规则,使得复杂的随机Petri网模型也可能转换为ESPN模型,从而使性能等价算法可应用于一般随机Petri网.     

基于Petri网的SET双重签名建模与分析

双重签名是安全电子交易协议的一个重要技术,它将摘要和数字签名结合起来,使得交易中的各方仅得到部分消息即可完成验证从而达成多方协议。论文利用Petri网对双重签名进行建模和形式化描述,并就安全性对此模型进行了分析。     

CORBA规范的形式化描述及分析

CORBA为构建大规模分布式应用程序提供了一套公共对象服务规范,其规范主要以IDL语言编写,只提供对象的静态行为描述．提出并应用扩展有色Petri网对CORBA对象进行形式化模拟和分析,结果表明扩展有色Pctri网模型不仅能够清楚描述对象的静态行为,同时也能较好地模拟对象分布性和动态行为．     

使用Petri网检测主动数据库中的复合事件

由于近年提出的一些描述事件定义的语言，主动数据库系统中事件的检测成一难题，尤其是复合事件的检测。因此，需要一个合适的、能模拟复合事件语义并且能实现事件检测器功能的机制。本文将描述如何用Petri网在主动数据库系统中实现这样一个机制，实验证明S-PN不仅合适于各种复合事件的模拟，而且执行也方便。     

一种基于Petri网的多目标无死锁蚁群调度算法

蚁群算法已被广泛应用于解决调度问题,针对资源受限的项目调度问题,死锁和多目标问题是重要的课题研究。文中针对具有死锁资源受限的多目标调度问题,采用Petri网模型,研究其蚁群调度算法,以紧急项目的完成时间和所有项目的完成时间最短为优化目标,并通过仿真实验验证了文中算法的有效性和实用性。     

面向对象Petri网建模技术与应用

面向对象方法使得系统设计简化,符合所描述的现实事物的特点,简单易于理解.但是在设计系统时没有进行严格的检验和验证.Petri网提供了形式化的图形表示,层次化的结构在表示类的继承以及描述对象的动态性方面非常有用.现介绍一种抽象节点技术,将面向对象设计模型转换成层次化的Petri网模型将对象和对象属性封装到数据结构中去,从而结合了两者的优点.     

Petri网图形的压缩存储与自动转换

本文给出了一种Ｐｅｔｒｉ网的计算机表示方法以及其图形的压缩存储／还原算法，并在此基础上对Ｐｅｔｒｉ网图形进行自动转换以产生此图的矩阵表示，这为在其上进行可达性分析和验证的自动化提供了极大的方便。     

主体计划的Petri网方法及正确性验证

主体计划的生成问题是多主体系统实现的一个关键问题.为了实现多主体系统中的计划自动生成以及对生成的计划进行验证,以任务有效分解的Petri网模型为基础,提出了计划提取的方法并对相关的正确性运用同步器进行验证.首先,通过对网系统的可达性分析得到所有计划的集合,组成多主体系统的计划库.其次,根据同步网的相关思想,对计划库中的每一个计划的正确性进行了形式化的验证,从而为多主体系统的实现提供了保证.     

Petri网矩阵法用于数字电路故障诊断

本文介绍数字电路的Ｐｅｔｒｉ网络模型,Ｐｅｔｒｉ网的矩阵能压缩存禽数字电路的拓扑,Ｐｅｔｒｉ网的矩阵法在数字电路故障诊断中的应用。     

基于模糊Petri网的综合态势分析

提出一种基于模糊Petri网的综合态势分析模型,该模型具有简单、直观、逻辑性强的优点,能够将复杂的态势情况以流程图的形式展现出来。运用模糊＂与＂规则将当前态势的各个评估对象联系起来进行综合评价,根据结果分析优、劣势,为决策者提供辅助决策,对整个战场的战术单元活动进行解释、综合和分析,决定了战场形势的走向。基于信息熵的权...     

一种区分服务综合方案的模型与性能分析

本文提出了一种将Internet网络分组传输延时和丢失控制的区分服务要求相结合的综合方案,它具有较强的通用性和灵活性.文章给出了PHB实现机制的一种基于随机Petri网模型的分析框架,并给出了性能指标的分析和数值结果.模型求解采用了一种分解、迭代的近似方法,可以有效降低求解复杂度.近似分析结果和模拟结果的比较证明,这种近似求解方法是可行的.     

可编程路由器中基于缓冲队列长度阈值的处理器调度

可编程路由器除了转发IP分组之外,还需要执行计算任务.如何调度可编程路由器中CPU的处理能力是一个需要解决的重要问题.本文首先建立了一种通用的可编程路由器软件体系结构,在此基础上,提出了一种基于缓冲队列长度阈值的CPU调度算法,采用随机Petri网对算法进行了模型分析和计算.结果表明,该调度算法可以同时保证可编程路由器中的尽力发送流和QoS流的计算需求.     

基于有色Petri网的模型驱动SOA服务模型组合

在模型驱动SOA的框架下,业务流程层的合理创建可验证的流程服务。通过形式化定义了服务组合过程中的5种基本的逻辑结构,采用有色Petri网表示,并将其抽象成为服务的代数运算;在此基础上,提出了经过服务运算后得到的服务性质以及组合服务的构造方法;最后通过实例,说明该建模方法可以保证组合的服务是正确而且可终止的。     

基于时间Petri网的工作流系统模型的线性推理

目前工作流理论的研究主要集中在工作流管理模型的结构及正确性分析,很少有人研究与时间有关的工作流模型的性质,特别是模型中的时序关系推理及性能计算问题.本文重点研究了这方面的问题,用时间Petri网表示工作流模型并对基本工作流模型进行时序分析,给出线性时间推理的规则,运用这些规则,可对复杂的工作流模型进行逐步化简,并在线性时间复杂度内解决时间推理问题.     

基于模糊Petri网推理的半导体生产线投料控制策略

半导体生产线存在大量随机不确定因素,各种不确定扰动的发生,往往使已获得优化调度方案在执行过程中失去优良性,鉴于模糊Petri网在知识表达和逻辑推理方面的优势,本文研究将该思想用于半导体生产线投料控制,构建投料模糊Petri网推理模型,建立完整的在线投料机制,以生产线实时信息为依据,决定系统采取的投料控制行为,以便尽可能...     

Modeling Mobility Tracking Procedures in PCS Systems Using Stochastic Activity Networks

In this paper the capability of stochastic activity networks (SANs) has been used as a novel approach in the analysis of mobility tracking procedures. To evaluate complex systems such as cellular systems, powerful tools for modeling and analysis are required. SANs have proved to be very flexible and powerful tools in the study of location update (LU) and paging (PG) schemes. SANs can capture, in a simple manner and from the mobility models under study, much more detail than Markov models. Therefore, the analysis of mobility tracking procedures with SANs provides more accuracy than the use of Markov models. This fact is illustrated in the paper by considering the LU and PG schemes proposed in Ref. [12]. Furthermore, our results show a much better performance of these schemes than that predicted by Ref. [12].