| 【中文题名】 | 离散事件系统的Petri网控制方法研究 |
| 【英文题名】 | Studies of Petri Net Control Method for Discrete Event System |
| 【学科专业】 | 运筹学与控制论 |
| 【论文级别】 | 硕士论文 |
| 【投稿时间】 | 2001-9-26 |
| 【中关键词】 | Petri网,离散事件系统,不变量,活性,控制器, |
| 【英关键词】 | Petri net,discrete event dynamic system,invariant,liveness,controller, |
| 【分类导航】 | 工业技术>自动化技术、计算机技术>自动化基础理论>自动控制理论>> |
| 【论文摘要】 |
Petri网是一种系统描述和分析的有力工具，近年来被广泛地应用于计算机
科学和离散事件系统等领域。
本文以Petri网作为离散事件系统的模型，对控制理论与方法进行了较深
入的研究。引入了Petri网路增益及位置不变量并运算的概念，建立了路增益与
位置不变量之间的联系以及路，基本圈与它们对应的位置不变量之间的关系，
给出了Petri网图形运算与位置不变量运算之间的关系，从而扩充了Petri网节
点语义。基于路增益概念，给出了无回路Petri网位置不变量存在性判别及确
定的几何方法，这些不仅对Petri网理论本身有重要的意义，而且为基于Petri
网的离散事件动态系统控制器的研究与综合提供了基础。研究了等式约束下的
Petri网控制器问题。利用不变量综合了具有不可控变迁离散事件动态系统的
Petri网控制器。通过对一类串行加工系统Petri网模型的结构分析，给出了该
系统死锁避免的Petri网控制方法，这为一类FMS的活性控制提供了理论基础。 |
| 【论文题纲】 |
|
中文摘要 |
6-7 |
|
英文摘要 |
7-8 |
|
第一章 绪论 |
8-12 |
|
1．1 离散事件动态系统的提出 |
8 |
|
1．2 离散事件动态系统中的模型和方法 |
8-9 |
|
1．3 离散事件动态系统的特点 |
9-10 |
|
1．4 离散事件动态系统工程研究中的新动向 |
10-12 |
|
第二章 Petri网理论与图论的基本概念与知识 |
12-17 |
|
2．1 Petri网研究与发展简况 |
12-13 |
|
2．2 Petri网的基本概念与术语 |
13-16 |
|
2．3 图论的基本概念 |
16-17 |
|
第三章 Petri网的位置不变量的几何意义 |
17-27 |
|
3．1 Petri网的位置不变量 |
17-18 |
|
3．2 Petri网结构元素与位置不变量的关系及运算 |
18-21 |
|
3．3 无回路加权事件图的S-不变量 |
21-23 |
|
3．4 两个Petri网基于位置并的S-不变量 |
23-25 |
|
3．5 无回路Petri网S-不变量的判定和求解方法 |
25-26 |
|
3．6 小结 |
26-27 |
|
第四章 Petri网不变量在DEDS控制方法中的应用 |
27-36 |
|
4．1 基于不变量的Petri网反馈控制方法 |
27-28 |
|
4．2 利用S-不变量综合具有等式约束的Petri网控制器 |
28-31 |
|
4．3 利用不变量综合具有不可控变迁DEDS的Petri网控制器 |
31-36 |
|
第五章 S-组合Petri网的活性控制 |
36-43 |
|
5．1 S-组合Petri网的概念 |
36-37 |
|
5．2 S-组合Petri网性质 |
37-38 |
|
5．3 S-组合Petri网结构分析 |
38-41 |
|
5．4 S-组合Petri网活性控制的实现 |
41-43 |
|
第六章 串行加工系统活性分析及实现 |
43-49 |
|
6．1 FMS中的串行加工系统及其Petri网模型 |
43-44 |
|
6．2 串行加工系统的结构性质与活性分析 |
44-46 |
|
6．3 串行加工系统活性控制的实现 |
46-48 |
|
6．4 小结 |
48-49 |
|
结束语 |
49-50 |
|
致谢 |
50-51 |
|
参考文献 |
51-55 |
|
| 【DOI】 | LunWen.ID:2.2008.386400 |
