摘要：离散事件动态系统（Discreteeventdynamicsystems）简称DEDS。它是由一些不相关的事件促使系统的状态发生改变的，这一类系统的自变量不是传统数学模型中的时间等因素，而是不确定的事件组成，也就造就了其互斥并发等特性。并且借助数学的表达式无法描述其相关的特征。而Petri网可达图能形象的描述系统的各种状态，以及各种状态之间的转换，分析可达图能直接得到系统的死锁状态，并得到相应的解决思路。本文通过对离散事件系统的Petri网进行建模，研究Petri网状态演化及其规则模型并求解关联矩阵，运用MATLAB强大的计算能力编写程序求解大规模模型的可达集，最后以哲学家用餐问题验证程序的正确性。

关键词 离散事件系统 Petri网 可达图

毕业设计说明书外文摘要

Title    The petri net model based on discrete event system

Abstract：Discrete event dynamic systems, or DEDS. It is prompted by unrelated events system state changes, this kind of system of the independent variable is not the traditional mathematical model of the factors such as time, but uncertain events, also contributed to its exclusive concurrency features. And the mathematical expression cannot describe the relevant features. And Petri net to figure can image the description of the various states in the system, as well as a variety of transitions between states, analysis of diagram of system can be obtained directly a deadlock state, and get the corresponding solution. Petri net based on discrete event system modeling, the research state of Petri nets evolution model and solve the incidence matrix and its rules, using MATLAB powerful computation ability to set of solving large-scale model, finally to philosophers dining problem is given to prove the validity of the program.

Keywords  Discrete event systems  Petri net  To figure

目 次

1 引言 1

1.1 离散事件系统概述 1

1.2 petri网的理论发展及研究现状 1

1.3 总体技术方案及其社会影响 2

1.4 技术方案的经济因素分析 3

1.5 本文的结构及主要内容 3

2 离散事件系统和Petri网 4

2.1 DEDS建模 4

2.2 Petri网的特性 5

2.3 Petri网的相关定义 5

3 基于Petri网的FMS系统建模 8

3.1引言 8

3.2Petri网模型的运行和演算规则 8

3.2求解关联矩阵及其程序的实现 9

4 Petri网可达图的计算 13

4.1Petri网的状态演化 13

4.2Petri网的可达集计算 16

4.3可达集计算的程序实现 17