论文部分内容阅读
Petri网是系统描述和分析的有力工具,近年来被广泛地应用于离散事件系统(DES)领域,它不仅能够刻画系统的结构,而且可以描述系统的动态行为。离散事件系统是由不规则时间间隔出现的事件序列驱动的一种动态系统,从本质上讲,这类系统是一个人造系统,实际的离散事件系统可能会演变到一些禁止状态,禁止状态的避免,就是设计一个控制器,使得在控制器作用下受控对象的闭环行为满足控制规范的要求。本论文的主要内容是由序状Petri网的简化方法和监控理论两大部分组成:序状Petri网的简化部分:首先,在简化网系统的基础上,研究了强连通状态机和工作流网的特性及其等效简化方法,基于此,提出了序状Petri的简化方法,它可以将序状Petri网中的强连通状态机子网和工作流子网进行等效简化,该部分内容将直接应用于本文后续章节中的控制器设计。监控理论部分:提出一种基于简化受控Petri网的控制器设计方法,它适用于最大不可控子网为序状Petri网,且每个环序状子网均为强连通状态机或者工作流网时的场合,在简化受控Petri网的基础上,可以将该类有环网等价为无环不可控子网,进而应用线性整数规划法(LIP)来计算最大允许控制律。该方法推广了线性整数规划法的应用范围,解决了一类不可控子网具有环状结构时的控制器设计问颢。