学位论文 > 优秀研究生学位论文题录展示

离散事件系统的Petri网控制方法研究

作　者: 张东红
导　师: 邢科义
学　校: 西安电子科技大学
专　业: 运筹学与控制论
关键词: Petri网离散事件系统不变量活性控制器
分类号: TP13
类　型: 硕士论文
年　份: 2000年
下　载: 396次
引　用: 9次
阅　读: 论文下载

内容摘要

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

离散事件系统的Petri网控制方法研究

内容摘要

全文目录

相似论文