-
题名部分可控Petri网分布式死锁监控器设计
被引量：2
- 1
-
-
作者
李海燕
王艳萍
周建勇
刘久富
-
机构
郑州铁路职业技术学院
南京航空航天大学自动化学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2018年第8期48-54,共7页
-
基金
国家自然科学基金(No.61473144)
-
文摘
研究了部分可控Petri网柔性制造系统中的死锁避免的问题。为了保证死锁避免和资源最大允许利用,提出了基于分支定界法的Petri网死锁监控器的优化设计方法,采用多个子控制节点对全局状态建立分布式监控器,通过行为可行和分布可行对分布式监控器下合法状态空间进行检测,对最大行为可行子集建立线性规划模型求解最大分布可行合法状态集,得到分布式监控器下的最大合法状态子空间。最后,建立了柔性制造系统的部分可控Petri网模型,针对系统的死锁避免等多个行为特性要求,分别设计了集中式监控器和分布式监控器,分布式监控器能有效地避免死锁。
-
关键词
部分可控petri网
分布式监控器
死锁避免
分支定界法
线性规划
-
Keywords
partial controllable petri nets
distributed supervisors
deadlock avoidance
branch and bound method
linear programming
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名部分可控Petri网的最优监控器设计
被引量：1
- 2
-
-
作者
高蕾
武书彦
孙燕
周建勇
于杰
刘久富
-
机构
河南信息统计职业学院信管系
河南牧业经济学院信息工程系
南京航空航天大学自动化学院
-
出处
《控制工程》
CSCD
北大核心
2017年第5期991-997,共7页
-
基金
国家自然科学基金(61473144)
-
文摘
研究了部分可控Petri网的码垛机器人零件加工系统最优监控器设计的问题。为了保证广义互斥约束满足静态规范和行为规范,提出了部分可控Petri网的最优监控器的方法,探寻出以线性不等式的形式表示的初步约束集,通过可达性分析和初步约束集建立可达树得出合法标识集和有界非法标识集,对分离出的标识建立混合整数线性规划模型,运用分支边界法得到最大允许度且最少数量的广义互斥约束集作为最优监控器。以含不可控变迁的码垛机器人零件加工系统为例,建立了部分可控Petri网模型,结合零件加工过程中机器人的占用和释放环节,对应用Petri网在机器加工系统的最优设计进行了研究,应用监控器生成算法设计的监控器拥有更严格的约束和更简化的模型,验证了该算法的有效性。
-
关键词
部分可控petri网
监控器
不可控变迁
广义互斥约束
-
Keywords
Partially controllable petri net
supervisor
uncontrollable transition
generalized mutual exclusion constraint
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
