Petri网论文：基于Petri网的几个并发问题的建模与分析.docVIP

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 distributed system 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网的几个并发问题的建模与分析 摘要 4-5 Abstract 5 1 引言 7-16 1.1 研究背景及意义 7-8 1.2 Petri 网的发展历史 8-10 1.3 Petri 网的研究现状 10-15 1.3.1 模型的扩展 10-13 1.3.2 Petri 网的分析技术 13-15 1.4 本文的主要内容及结构 15-16 2 Petri 网的基础知识 16-26 2.1 Petri 网及网系统的基本概念 16-19 2.2 网系统中事件的几个关系 19-20 2.3 Petri 网系统的不变量 20-23 2.4 网系统分类 23 2.5 网的结构和行为特征 23-26 3 基于Petri 网下对哲学家就餐问题的分析 26-34 3.1 基本概念 27-31 3.2 模型的改进与推广 31-34 4 基于Petri 网下对通信信道复用的建模应用 34-41 4.1 基本概念 35 4.2 问题描述及建模 35-38 4.3 模型的分析 38-41 结论 41-42 参考文献 42-45 攻读硕士学位期间发表的论文及科研成果 45-46 致谢 46-47