| 引用本文: | 陈浩勋.一类受控Petri网的基于管程的广义互斥控制[J].控制理论与应用,1995,12(5):546~553.[点击复制] |
| CHEN Haoxun.Monitor-Based Control of A Class of Controlled Petri Nets with Generalized Mutual Exclusion Constraints[J].Control Theory & Applications,1995,12(5):546~553.[点击复制] |
|
| 一类受控Petri网的基于管程的广义互斥控制 |
| Monitor-Based Control of A Class of Controlled Petri Nets with Generalized Mutual Exclusion Constraints |
| 摘要点击 1561 全文点击 641 投稿时间：1994-02-14 修订日期：1995-01-16 |
| 查看全文 查看/发表评论 下载PDF阅读器 HTML |
| DOI编号 |
| 1995,12(5):546-553 |
| 中文关键词 离散事件系统控制 受控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. |