部分可控Petri网的最优监控器设计

高蕾¹，武书彦²，孙燕³，周建勇³，于杰³，刘久富³

1. 河南信息统计职业学院信管系2. 河南牧业经济学院信息工程系3. 南京航空航天大学自动化学院

摘 要：研究了部分可控Petri网的码垛机器人零件加工系统最优监控器设计的问题。为了保证广义互斥约束满足静态规范和行为规范,提出了部分可控Petri网的最优监控器的方法,探寻出以线性不等式的形式表示的初步约束集,通过可达性分析和初步约束集建立可达树得出合法标识集和有界非法标识集,对分离出的标识建立混合整数线性规划模型,运用分支边界法得到最大允许度且最少数量的广义互斥约束集作为最优监控器。以含不可控变迁的码垛机器人零件加工系统为例,建立了部分可控Petri网模型,结合零件加工过程中机器人的占用和释放环节,对应用Petri网在机器加工系统的最优设计进行了研究,应用监控器生成算法设计的监控器拥有更严格的约束和更简化的模型,验证了该算法的有效性。

关键词：部分可控Petri网;监控器;不可控变迁;广义互斥约束;