下载文档原格式
Petri网论文：基于Petri网的几个并发问题的建模与分析【中文摘要】Petri网不仅可以采用可视化图形描述而且可被形式化的数学方法所支持,是一种形式化、图形化的分布式系统建模和分析工具。
它不但能够精确地分析系统的静态特性,而且能够很好地分析系统的动态行为性质,从而很好地刻画系统的动态行为、分析系统的性能。
它既可采用形式化直观的图形表示,又可以引入许多数学方法对其性质进行分析与验证。
目前,大多数的软件系统都是并发系统,并发是衡量系统运行效率高低的一个参数标准。
为了达到“事半功倍”的效果,现在的系统环境越来越需要并发,只有这样才能更好地利用系统资源环境,才能使一个系统具有更强的竞争力。
Petri网作为一个优秀的形式化描述和分析工具,能很好地描述和分析这类系统。
采用软件形式化技术,不仅有利于开发人员之间的沟通,提高软件的可靠性,而且可以尽可能地缩短开发的总体时间,减少软件设计早期阶段的错误。
本文的主要工作如下:(1)在Petri网下对哲学家就餐问题模型进行了分析。
哲学家就餐问题是描述在共享资源下同步与并发的经典案例,活性与无饥饿性是求解此问题的前提,效率是基本要求。
由于对资源的竞争使几个哲学家不可能同时处于就餐状态,在考虑公平性的情况下定义了延迟Petri网...【英文摘要】Petri nets can not only use visual graphic description, but also can be supported by formal mathematical methods, it is a kind of formalized, graphical distributedsystem modeling and analysis tools. It can analyze system static characteristics accurately and analyze system dynamic behavior well, thereby good depicting system dynamic behavior and analyzing system performance. It may adopt formalized visual graphics and introduce many mathematical methods to analyze and verify its properties.At present, ...【关键词】Petri网异步并发形式化方法 S-不变量建模系统分析【英文关键词】Petri net Asynchronous concurrent Formal methods S-invariant Modeling System analysis。
基于Petri网的铁路信号综合系统可靠性分析
陈红霞
【期刊名称】《铁道通信信号》
【年(卷),期】2010(046)006
【摘要】铁路信号综合系统已是高速铁路、客运专线不可或缺的设备,其可靠性也显得尤其重要.利用Petri网进行分析建模,并采用马尔可夫过程进行可靠性计算分析,对于系统的设计分析具有很好的参考价值.
【总页数】3页(P22-24)
【作者】陈红霞
【作者单位】南京铁道职业技术学院,210015,南京
【正文语种】中文
【相关文献】
1.基于随机Petri网的安全型继电器的可靠性分析 [J], 储依帆;曹源;孙永奎
2.基于Petri网的铁路信号联锁逻辑形式化描述的研究 [J], 韩晓燕;颜荣正
3.铁路信号综合系统的构成及功能 [J], 关胜
4.基于Markov过程的硬/软件综合系统可靠性分析 [J], 于敏;何正友;钱清泉
5.基于模糊着色Petri网的隐患软件可靠性分析 [J], 张新菊;
因版权原因，仅展示原文概要，查看原文内容请购买。
基于Petri网的柔性制造系统可达性分析与死锁控制基于Petri网的柔性制造系统可达性分析与死锁控制柔性制造系统是一种高度自动化、灵活性强的生产制造系统，它可以根据需求快速地适应各种产品的生产。
然而，由于系统内部的各种资源和工序之间的关系复杂，柔性制造系统中容易出现死锁问题，导致生产效率下降甚至停止生产。
因此，如何分析系统的可达性并实施死锁控制是柔性制造系统中的关键问题。
为了解决这个问题，研究人员引入了Petri网作为柔性制造系统的建模工具。
Petri网是一种图形化且形式化的工具，可以用于描述系统中的资源、工序和它们之间的关系。
通过将柔性制造系统建模为Petri网，可以对系统进行可达性分析并采取相应的死锁控制策略。
首先，对柔性制造系统进行建模是可达性分析的前提。
通过将系统中的每个资源和工序表示为Petri网中的库所和变迁，可以清晰地描述它们之间的关系。
在Petri网中，库所表示系统的状态，变迁表示系统的转换过程。
通过定义库所和变迁之间的流动关系，可以表示资源和工序之间的依赖关系。
通过建模，可以得到柔性制造系统的Petri网。
接下来，利用求解Petri网的可达性图，可以分析系统的可达性。
可达性分析是指确定在给定初始状态下，柔性制造系统能否到达所期望的状态。
通过对Petri网的可达性图进行求解，可以确定系统是否能够正常运转，以及系统能够达到的状态。
如果系统无法到达所期望的状态，那么就存在死锁问题。
在分析可达性的基础上，可以采取相应的死锁控制策略。
死锁是指系统中的资源与工序之间出现循环依赖，导致系统无法进行下一步操作的情况。
为了避免死锁的发生，可以采取预防、避免和恢复的策略。
预防策略是通过设计系统的结构和规则，使得系统在运行过程中趋于无死锁状态。
避免策略是在系统运行过程中，通过动态地分配资源和调度工序，避免出现死锁。
恢复策略是在死锁已经发生时，通过释放部分资源或者回滚操作，使得系统恢复正常状态。
最后，通过实验验证可达性分析与死锁控制的有效性。
