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

基于简化技术的受控Petri网的显式控制器设计

作　者: 郑寒
导　师: 董利达
学　校: 浙江大学
专　业: 电路与系统
关键词: Petri网显式控制器简化技术 ST-图工作流网资源分配型工作流网
分类号: TP301.1
类　型: 硕士论文
年　份: 2010年
下　载: 19次
引　用: 0次
阅　读: 论文下载

内容摘要

计算机和网络技术的发展,使得离散事件动态系统得到了广泛的应用。Petri网作为一种建模工具,由于图形化和分布式等优点,越来越多的用于离散事件动态系统的监控理论研究中。当前,Petri网的离散事件系统监控理论的研究热点之一是禁止状态问题,其本质是Petri网的可达性问题,由于存在空间状态爆炸的问题,即其计算量随着网的规模呈几何级数增加,因此如何减少在线计算量,缩短在线计算时间,甚至设计出其显式控制器对于一个实际系统特别是实时系统具有重要的意义。为此本文主要定义研究了两种全新的特定结构Petri网子类—ST-图工作流网和资源分配型工作流网,在全面研究分析其结构和性质的基础上,提出了一种保证界相同的简化技术,最终实现该类受控Petri网的显式控制器设计。在ST-图工作流网方面,首先定义了ST-图工作流网的结构及其网系统相关的标识,研究分析该Petri网子类具有的一些特定性质,其中重点分析了任意稳固性所需的标识条件以及它所具有的相关作用,然后研究当其作为子网时对整个网系统运行所产生的影响。并在此基础上,把它应用于Petri网子网的简化,提出了一种基于ST-图工作流网的简化技术,扩展了显式控制器存在的条件,进一步解决了最大不可控子网含环状结构后的显式控制器的求解难题,最后从变迁角度研究T型ST-图工作流网的性质及其相关作用。在资源分配型工作流网方面,首先引入了资源分配子网的概念,它扩展了资源约束型工作流网中资源库所的应用范围,然后研究分析了一种在特定标识下满足任意稳固性的资源分配型工作流网结构,即状态机-资源分配型工作流网,重点研究分析其在不同标识条件下具备的性质,之后同样提出了一种基于状态机-资源分配型工作流网的简化技术,把该类Petri网子类应用于受控Petri网的显式控制器设计中。

全文目录

致谢  4-5
摘要  5-6
Abstract  6-7
目次  7-8
第一章绪论  8-12
  1.1 离散事件动态系统及Petri网概述  8-9
  1.2 Petri网控制器设计研究现状  9-11
  1.3 本文的主要研究内容  11-12
第二章 Petri网基础理论  12-22
  2.1 Petri网概念  12-15
  2.2 Petri网子类  15-21
    2.2.1 S-图和T-图  16
    2.2.2 树型Petri网  16-17
    2.2.3 工作流网  17-21
  2.3 小结  21-22
第三章 ST-图工作流网  22-37
  3.1 ST-图工作流网的定义  22
  3.2 ST-图工作流网的简化方法  22-28
  3.3 ST-图工作流网的应用和控制器设计  28-36
  3.4 小结  36-37
第四章 T型ST-图工作流网  37-49
  4.1 T型ST-图工作流网的定义  37
  4.2 T型ST-图工作流网的简化方法  37-41
  4.3 T型ST-图工作流网的应用和控制器设计  41-48
  4.4 小结  48-49
第五章资源分配型工作流网  49-56
  5.1 资源分配型工作流网的定义  49-51
  5.2 资源分配型工作流网的简化方法  51-52
  5.3 资源分配型工作流网的应用和控制器设计  52-55
  5.4 小结  55-56
第六章总结与展望  56-58
  6.1 总结  56-57
  6.2 展望  57-58
参考文献  58-62
作者简历及在读硕期间取得的成果  62

基于简化技术的受控Petri网的显式控制器设计

内容摘要

全文目录

相似论文