一种基于Petri网的可靠性分析方法

随机Petri网在软件可靠性分析中的应用
李妍琛;朱连章
【期刊名称】《现代电子技术》
【年(卷),期】2007(30)2
【摘要】软件可靠性模型对于软件可靠性估测起着核心的作用.目前所提出的模型大多有着一定的应用条件和适用范围,不能适应复杂多变的应用环境的要求,在客观上为软件可靠性模型的应用提出了新的问题.提出了一种基于随机Petri网的软件可靠性分析方法,该方法有利于降低可靠性描述与分析的复杂度,提高评价和预测可靠性的精确度.同时指出该方法在应用中会遇到的某些问题及其解决方法.
【总页数】3页(P135-137)
【作者】李妍琛;朱连章
【作者单位】中国石油大学,计算机与通信工程学院,山东,东营,257061;中国石油大学,计算机与通信工程学院,山东,东营,257061
【正文语种】中文
【中图分类】TP39
【相关文献】
1.随机着色Petri网在图书馆文献检索系统中的应用 [J], 邓娉
2.Petri网在系统可靠性分析中的应用 [J], 张涛;武小悦;谭跃进
3.基于随机Petri网的软件可靠性分析方法 [J], 朱连章;李妍琛
4.基于随机Petri网的软件可靠性分析 [J], 朱连章;李妍琛
5.广义随机Petri网在生态产业园区性能分析中的应用 [J], 景熠;王旭;李文川
因版权原因，仅展示原文概要，查看原文内容请购买。

基于Petri网运行状态的组件化软件可靠性分析方法
郑晓东;崔志明;陈建明
【期刊名称】《计算机技术与发展》
【年(卷),期】2008(18)4
【摘要】通过分析软件系统的组件结构特征、运行状态和可靠性因素,提出了基于随机Petri网运行状态的可靠性分析方法.对构成软件系统的各组件的可靠性进行分析和评估,根据系统运行状态动态跟踪软件的可靠性,推导出整个软件系统的可靠性.与仅着眼于系统组件间的执行路径不同,该方法更关注于系统各个运行状态的可靠性.最后给出了一个实例研究.
【总页数】4页(P5-8)
【作者】郑晓东;崔志明;陈建明
【作者单位】苏州大学,智能化信息处理及应用研究所,江苏,苏州,215006;苏州大学,智能化信息处理及应用研究所,江苏,苏州,215006;苏州大学,智能化信息处理及应用研究所,江苏,苏州,215006
【正文语种】中文
【中图分类】TP311
【相关文献】
1.基于灰色随机Petri网的构件化软件可靠性早期评估方法 [J], 刘玲艳;吴晓平
2.基于随机Petri网的软件可靠性分析方法 [J], 朱连章;李妍琛
3.基于随机Petri网的软件可靠性分析 [J], 朱连章;李妍琛
4.基于Petri网的组件化工作流模型研究 [J], 李国栋;宋斌;柳长安
5.基于模糊着色Petri网的隐患软件可靠性分析 [J], 张新菊;
因版权原因，仅展示原文概要，查看原文内容请购买。

基于Petri网的分析方法简述摘要：对数学和图形进行描述和分析的工具很多，但能用良好的数学性质把一些复杂的现象（例如，同步、并发、分布、冲突、资源共享等）描述的直观、生动形象的工具很少，而Petri网就具有这些优点。

在分布式系统、信息系统、离散事件系统等领域，都可以利用Petri网对离散事件动态系统建模、规范分析和设计，而且非常好。

Petri网有很多分析方法，文章就作简要概述。

关键词：Petri网；Petri网语言；可达性；不变量；死锁Petri网是一种计算模型，也是一种数学模型，最先是由德国的C.A.Petri教授提出来的，之后，得到了深入的研究，对于异步并发系统的描述和模拟，能用非常友好的图形表示出来。

友好的图形表示只是Petri网得到广泛应用的一个原因，更主要的原因是它的分析方法非常完备，而且这些方法对于分析和模拟系统的行为非常有效。

下面就简述一下其丰富的分析方法。

1Petri网语言Petri网语言，是用来解决一个网系统中由于变迁而引发的序列问题。

这种通过变迁引发的序列，可以控制事件发生的顺序，从而对资源进行合理的配置和有效地调度。

最初Petri网语言的目的是利用这种变迁引发的序列来分析系统的行为，并通过其语言来进行计算和模拟，对于系统的设计能有效地进行控制和改进。

随着Petri网语言的发展，它在理论和应用方面都得到很好的应用，成为了Petri网的重要组成部分。

2可达树Petri网是否可达如何判定，可以在一个网系统中设置一个标识，根据这个标识是否能够从初始标识可达来判定Petri网的可达性。

Petri网的很多问题都是通过可达性问题来进行分析的。

判定Petri网的可达性很难，但其可达性问题是可以判定的。

如何去判定？有很多方法，基其中之一是基于可达树或可覆盖树。

如果Petri网有界，那么可达树的节点就有限，其网系统的可达性就能够分析的非常准确。

如果Petri网无界，可达树的节点就无限，所以这样的可达树就没办法构造出来。