摘要现实生活中，离散事件系统是非常常见的系统，例如，网络通信系统、自动制造系统、交通系统等。而Petri网是一种可对离散事件系统进行描述的强有力的数据工具，获得系统Petri网模型的可达图是进行系统分析的重要手段。本文通过研究Petri网的相关理论，实现产生系统可达图的方法。在输入系统Petri网模型后，由其关联矩阵和其初始状态，依据Petri网的推演公式依次算出模型的系统状态，最后所得的所有状态即Petri网模型的可达图。离散事件系统可以应用在许多方面，获取系统的可达状态信息，对于系统分析具有重要的意义。通过本文的研究，可为后续系统死锁避免与活性状态分析研究奠定基础。81874

毕业论文关键词  离散事件系统 Petri网 可达图 关联矩阵

毕业设计说明书外文摘要

Title  Research on the reachability graph of Petri net model  for discrete event system             

Abstract In real life, discrete event system is a very common system, for example, network communication system, automatic manufacturing system, traffic system and so on。 Petri net is a powerful data tool that can describe the discrete event system。 It is an important method for the system analysis to access the reachability graph of the system Petri net model。 In this paper, I propose a method to generate reachability graph by studying the correlation theory of Petri nets。 After inputting Petri net model，above all，the incidence matrix is generated，and then calculate the system state of the model according to the formula of Petri network, and finally all the state of the Petri net model is the reachability graph。 Discrete event system is widely used。 Obtaining the reachable state information of the system is of great significance for the analysis of the system。 Through the research of this paper, it can lay the foundation for the follow-up related research or work。

Keywords  Discrete event system  Petri nets  Reachability graph  Incidence matrix

目   次

1绪论……………………………………………………………………1

1。1课题背景 ……………………………………………………1

1。2针对Petri网的研究 …………………………………………………1

1。3本文的结构……………………………………………………………… 1

2 离散事件系统和Petri网…………………………………………………3

2。1 离散事件系统概述………………………………………………3

2。2 Petri网的历史与发展…………………………………………4

3 Petri网的相关知识概述……………………………………7

3。1 Petri网的基本定义……………………………………………………………………………7