-
摘要: 在基于Petri网建模的离散事件系统中, 提出利用局部关联信息进行约束转换, 并实现Petri网结构监控器综合的方法. 对以Parikh矢量约束形式给出的控制规范, 不可控不可观变迁会导致约束成为非法约束, 分析了不可控变迁的前向关联结构和不可观变迁的后向关联结构, 利用局部关联变迁实现对不可控和不可观变迁的间接控制, 从而将非法矢量约束转换为合法约束, 并保证初始控制规范的实现. 与基于矩阵的监控器综合方法相比, 本文的方法只需利用局部信息, 最后通过实例对该方法进行了说明.Abstract: The method of constraints transformation based on local information is initiated for the structural supervisor synthesis of the discrete event system (DES) modeled by Petri nets. Specifications are described by constraints which may become illegal due to the uncontrollable or unobservable transitions. Forward-related structures of uncontrollable transitions and backward-related structures of unobservable transitions are analyzed separately, and local transitions can be used to realize the indirect control of the uncontrollable and unobservable transitions, which can transform illegal constraints into legal ones and still assure the original control specifications. Compared to matrix-based supervisor synthesis, the method of this paper needs only local information instead of global information. A real-world example is explained to describe the method.
点击查看大图
计量
- 文章访问数: 2084
- HTML全文浏览量: 55
- PDF下载量: 1434
- 被引次数: 0