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