论文部分内容阅读
离散事件系统是随着未知的不规则时间间隔内出现的离散事件驱动演化的一类动态系统。从本质上讲,这类系统是一个人造系统,典型的有柔性制造系统,计算机集成制造系统,交通控制系统,数据库管理系统,通信网络系统等等。在离散事件系统中,监控系统行为使其不进入禁止状态并满足系统的性能要求是极其重要的。但是如何控制系统行为,避免其进入禁止状态是一个非常棘手的问题。与其它数学建模工具相比,Petri网以其图形化的表现形式、众多的分析方法和坚实的数学基础等优势,被广泛应用于离散事件系统的研究中。本论文以Petri网为数学工具研究离散事件系统的禁止状态监控问题。在基于Petri网的离散事件系统监控器设计中,其控制问题可以用线性约束的方法来表示,且线性约束转换问题一直是研究的重点。然而,Petri网中不可控变迁的存在,使得约束转换问题变得更加复杂,且难处理。经过大量已有的研究工作发现,如何通过线性约束得到允许标识集,从而有效地解决禁止状态问题仍是一个大难题。本文围绕含有不可控变迁的Petri网的约束转换问题展开研究,具体工作及研究成果如下：1.首先引入广义互斥约束等与线性约束相关的概念,并且针对一组广义互斥约束的“逻辑或”形式的线性约束问题,我们给出了允许标识集的新定义,得到了获取最大允许约束的转换方法。2.研究了不可控影响子网为α-网的一类Petri网,针对此类网,提出了最优线性约束转换方法,该方法首先根据定义获得不可控影响子网,然后提出了求解转换后禁止库所集集合的算法,最后根据禁止库所集集合构造了“逻辑或”形式的最大允许线性约束。该算法基于约束转换的思想,含有不可控变迁的Petri网的监控问题可以简化为相当于变迁全部可控的Petri网的监控问题,不可控变迁导致的复杂性由此降低,系统中的监控问题得到了更好的控制。3.针对不可控影响子网为更复杂的Petri网,基于最大增量函数,提出了线性约束转换方法。该方法通过分析求解最大增量函数的角度来进行线性约束不等式的转换并提出一定的算法。最后,在总结全文的基础上,展望了含有不可控变迁的Petri网的线性约束转换问题的未来工作。