论文部分内容阅读
为了给出一类由控制库所和它与变迁的连接弧组成的监控器结构的适用性,本文提出了一种基于函数构造的针对广义互斥约束的监控器综合算法.该算法首先构造一个函数库所来跟踪由广义互斥约束得到的函数的值,然后用一个具有标准Petri网语义的库所替换后即得到了该监控器.据此我们得到了这类监控器仅能处理线性约束,不能直接处理非线性约束的结论.