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

来源 :浙江大学信息与电子工程学系 浙江大学 | 被引量 : 0次 | 上传用户:chwu9423
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
计算机和网络技术的发展,使得离散事件动态系统得到了广泛的应用。Petri网作为一种建模工具,由于图形化和分布式等优点,越来越多的用于离散事件动态系统的监控理论研究中。当前,Petri网的离散事件系统监控理论的研究热点之一是禁止状态问题,其本质是Petri网的可达性问题,由于存在空间状态爆炸的问题,即其计算量随着网的规模呈几何级数增加,因此如何减少在线计算量,缩短在线计算时间,甚至设计出其显式控制器对于一个实际系统特别是实时系统具有重要的意义。为此本文主要定义研究了两种全新的特定结构Petri网子类—ST-图工作流网和资源分配型工作流网,在全面研究分析其结构和性质的基础上,提出了一种保证界相同的简化技术,最终实现该类受控Petri网的显式控制器设计。在ST-图工作流网方面,首先定义了ST-图工作流网的结构及其网系统相关的标识,研究分析该Petri网子类具有的一些特定性质,其中重点分析了任意稳固性所需的标识条件以及它所具有的相关作用,然后研究当其作为子网时对整个网系统运行所产生的影响。并在此基础上,把它应用于Petri网子网的简化,提出了一种基于ST-图工作流网的简化技术,扩展了显式控制器存在的条件,进一步解决了最大不可控子网含环状结构后的显式控制器的求解难题,最后从变迁角度研究T型ST-图工作流网的性质及其相关作用。在资源分配型工作流网方面,首先引入了资源分配子网的概念,它扩展了资源约束型工作流网中资源库所的应用范围,然后研究分析了一种在特定标识下满足任意稳固性的资源分配型工作流网结构,即状态机-资源分配型工作流网,重点研究分析其在不同标识条件下具备的性质,之后同样提出了一种基于状态机-资源分配型工作流网的简化技术,把该类Petri网子类应用于受控Petri网的显式控制器设计中。
其他文献
雷竹(Phyllostachys violascens)隶属于禾本科竹亚科刚竹属,具有出笋早、笋期长、成林快、品质优良等特点,是一种优良的笋用竹种,广泛栽植于浙江、江苏、江西等地。上世纪90年
毕业论文针对天线罩工程设计中的实际问题,结合具体天线罩设计任务,以等效传输线理论为基础,开发了多层介质平板天线罩分析软件;结合天线阵列天线罩的设计,对天线罩相位不一
碳纳米管自1991年发现以来,就吸引了众多的科学家和研究学者的注意。碳纳米管由于其优异的物理、化学特性,成为传感器方面的应用的研究热点。碳纳米管因手性不同可呈现出金属
开关型稳压电源因其效率高,体积小、外围电路简单等特点,在各种电子产品中得到了广泛的应用。直流变换器(DC-DC)是开关稳压电源的重要分支,在通讯、电子计算机、消费类电子产品等领域获得了广泛的应用。近年来,随着便携式电子产品的迅速增长,与其配套的电源管理芯片也具有越来越广泛的市场。由于人们对电子产品的功能及性能的要求不断提高以及对节能环保的重视,高效率、小型化以及低成本已经成为芯片设计中至关重要的因
光纤陀螺用多功能集成光学芯片是集成光学干涉型光纤陀螺(I-FOG)系统的核心器件之一。由于高精度的光纤陀螺主要应用于高端武器的导航,具有战略意义,因此不可能从国外直接买
说话人识别是指通过对说话人语音信号的分析处理来自动识别说话人的身份,它在许多领域内有着良好的应用前景。随着说话人识别技术的不断发展,除了识别算法的可靠性以外,人们