第5章Petri网模型.doc

Petri网及其维修建模应用研究 摘要：Petri网描述异步并发的能力和形象直观的图形表示，使之成为系统维修过程模型描述的有力工具。本文在对Petri网的基本概念、模型描述方法作简要介绍基础上，分别就不可修系统、可修系统、维修资源共享、维修优先级以及维修效费等系统维修问题，进行了Petri网模型描述。 关键词：Petri网，维修，建模 Petri网是波恩大学数学家C.A.Petri教授于1962年在其博士论文中提出的，其目的是以此作为研究计算机系统中各组成部分之间异步通信的数学模型。自70年代后，Petri网理论得到迅速发展，至今已成为具有严密数学基础、多抽象层次、多用途的通用网论，逐渐成为各相关学科的通用语言，并在自动控制和计算机科学中得到广泛应用，如用于计算机网络性能分析的并行程序的设计、分布式计算机系统的分析与控制、软件工程、知识推理、人工神经元网络等领域。近几年，Petri网理论被引入可靠性领域，并迅速在系统可靠性建模与分析方面得到重要应用。由于Petri网作为一种图形化和数学化的建模工具，能提供一个集成的建模、分析和控制环境，从而使之成为大型复杂可修系统可靠性建模与分析的有力工具。 1、Petri网的基本概念 Petri网的基本结构元素包括：位置（place）、变迁（transition，或称转移）和弧（arc）。任何系统都是由两类元素组成：表示状态的元素和表示状态变化的