一类受控Petri网的基于管程的广义互斥控制

Monitor-Based Control of A Class of Controlled Petri Nets with Generalized Mutual Exclusion Constraints

中文关键词  离散事件系统控制  受控Petri网  管程

英文关键词  discrete event system control  controlled Petri nets  monitors

中文摘要

      本文讨论受控Petri网的广义互斥控制问题。首先，我们给出了此问题存在管程最小约束控制解的充要条件。然后，对一类其不可控子网为有限状态机的受控Petri网，证明了其广义互斥控制问题总存在管程最小约束控制解，并给出综合这一管程控制的算法。

英文摘要

      This paper discusses a class of forbidden state avoidance problems, generalized mutual exclusion problems for controlled Petri nets. Some conditions for enforcing a set of generalized mutual exclusion constraints on a controlled Petri net by monitors are given, and for a class of controlled Petri nets whose uncontrolled subnet is a state machine, it is proved that the maximally permissive control of the controlled Petri nets for any given set of generalized mutual exclusion constraints can be enforced by monitors and a synthesis algorithm for the monitors is proposed.