S^3PMR网的一种死锁预防优化策略  

Optimal deadlock prevention policy for a class of Petri nets S^3PMR

作　　者：闫明明[1] 李志武[1] 韦娜[1] 赵咪[1] 

机构地区：[1]西安电子科技大学机电工程学院,陕西西安710071

出　　处：《计算机集成制造系统》2008年第1期107-112,117,共7页Computer Integrated Manufacturing Systems

基　　金：国家自然科学基金资助项目(60474018);教育部归国留学人员实验室基金资助项目(03401)~~

摘　　要：针对Petri网的S3PMR中的死锁预防问题,提出一种优化的控制器设计方法。当控制器的优化性不能保证时,要对所添加的控制器进行结构分析,提出了一个输出弧位置最优化的死锁预防控制算法。将S3PMR中的严格极小信标分为基本信标和从属信标,对每一个基本信标添加一个控制库所,使其P-不变式可控,且不会产生新的可被清空信标,对从属信标的控制则通过调整基本信标的控制深度变量来实现。从而用少量的控制库所得到结构更简单、许可行为更多的活性Petri网控制器。To solve the problem of deadlock prevention for a class of Petri nets, S^3PMR, an optimal deadlock prevention policy was proposed. Once the optimality couldn＇t be guaranteed, the position of the output arcs was optimized by structural analysis of the supervisor. Strict minimal siphons of an S^3PMR were divided into elementary and subordinate ones. For each elementary siphon, a monitor was added to ensure invariant-controlled without generating emptiable control-induced siphons. The controllability of a subordinate siphon was ensured by changing the control depth variables of its related elementary siphons, which led to a liveness-enforcing Petri net supervisor for a plant model. Furthermore, the methodology of this research would lead to a structurally simple liveness-enforcing supervisor with more permissive behaviors.

关 键 词：柔性制造系统 死锁预防 PETRI网 基本信标 

分 类 号：TP278[自动化与计算机技术—检测技术与自动化装置]