| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | Petri网的一类禁止状态问题的混合型监控器算法设计 |
| 作者 | 罗继亮 |
| 作者单位 | (华侨大学信息学院 福建泉州 362021) |
| 发表年份 | 2008 |
| 发表月份 | 2期(291—298) |
| 文章摘要 | 摘要 针对广义互斥约束下Petri网的不可控影响子网为状态机的一类禁止状态问题，给出了观测器的设计方法，并基于观测器得到了求解最大允许控制策略的算法.利用观测器将广义互斥约束简化为单禁止库所约束，并将存在不可控变迁的问题简化为相当于变迁全部可控的问题，这有效地解决了不可控变迁带来的计算复杂性问题.最后，利用一个地铁交通调度示例验证和说明该监控器设计方法. 关键词 Petri网；离散事件系统；监控；禁止状态；混合型监控器 中图法分类号 TP393 |