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

作     者：闫明明 李志武 韦娜 赵咪 YAN Ming-ming;LI Zhi-wu;WEI Na;ZHAO Mi

作者机构：西安电子科技大学机电工程学院陕西西安710071 

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

出 版 物：《计算机集成制造系统》 (Computer Integrated Manufacturing Systems)

年 卷 期：2008年第14卷第1期

页      码：107-112,117页

摘      要：针对Petri网的S3PMR中的死锁预防问题,提出一种优化的控制器设计方法。当控制器的优化性不能保证时,要对所添加的控制器进行结构分析,提出了一个输出弧位置最优化的死锁预防控制算法。将S3PMR中的严格极小信标分为基本信标和从属信标,对每一个基本信标添加一个控制库所,使其P-不变式可控,且不会产生新的可被清空信标,对从属信标的控制则通过调整基本信标的控制深度变量来实现。从而用少量的控制库所得到结构更简单、许可行为更多的活性Petri网控制器。

主 题 词：柔性制造系统 死锁预防 Petri网 基本信标 

学科分类：0808[工学-自动化类] 0809[工学-计算机类] 07[理学] 08[工学] 071102[071102] 0711[理学-心理学类] 0817[工学-轻工类] 081104[081104] 0807[工学-电子信息类] 0802[工学-机械学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 081103[081103] 

核心收录：

D　O　I：10.13196/j.cims.2008.01.109.yanmm.021

馆 藏 号：203633519...