论文部分内容阅读
对于含有不可控变迁的Petri网监控问题,允许状态空间可能需要一组“或”的允许约束来描述,而库所不变量的监控方法只将给定约束转换为单个的允许约束,其监控器将系统行为限制在允许标识状态空间的较小子集内,其限制性过于严格,且该方法无法解决某些监控问题。针对上述问题,给出了一种基于关联矩阵代数运算的约束转换方法,能够将给定约束转换为一组“逻辑或”的允许约束,进而给出了逻辑型监控器的设计方法,其控制策略的在线计算可以在多项式时间内完成,能够满足实时性的要求,并且该监控器比方法的监控器允许性更大。需要指出的是该方法的约束转换算法的离线计算量具有指数级的计算复杂性。
For Petri net monitoring problems with uncontrollable transitions, allowing the state space may require a set of “or ” allowable constraints to describe, while the library-invariant monitoring method converts only given constraints into a single allowable constraint, which Monitors limit system behavior to a small subset of the namespaces that allow identification, which is too restrictive and does not address some of the monitoring issues. Aiming at the above problems, this paper presents a constraint transformation method based on algebraic matrices of relational matrices, which can convert a given constraint into a set of allowable constraints of “logical or ”, and then gives the design method of logical monitor, The online calculation of its control strategy can be completed in polynomial time, to meet the real-time requirements, and the monitor is more permissive than the method monitor. It should be pointed out that the method of constrained conversion algorithm has exponential computational complexity.