Petri网的一类禁止状态问题的混合型监控器算法设计
罗继亮
华侨大学信息学院,福建泉州362021
摘 要:
针对广义互斥约束下Petri网的不可控影响子网为状态机的一类禁止状态问题，给出了观测器的设计方法，并基于观测器得到了求解最大允许控制策略的算法．利用观测器将广义互斥约束简化为单禁止库所约束，并将存在不可控变迁的问题简化为相当于变迁全部可控的问题，这有效地解决了不可控变迁带来的计算复杂性问题．最后，利用一个地铁交通调度示例验证和说明该监控器设计方法． (共8页)
学科分类:
TP393[工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机的应用 > 计算机网络]
相关期刊
关注本文的人:
看过本文的人还看过:
cqvip.com