柔性制造系统Petri网模型的化简  

Reduction for Petri Net Modeling of Flexible Manufacturing Systems

作　　者：岳昊[1] 李文杰[2,3] 

机构地区：[1]漳州师范学院计算机科学与工程系,福建漳州363000 [2]山东科技大学机电学院,山东青岛266510 [3]西北核技术研究所,陕西西安710065

出　　处：《云南民族大学学报（自然科学版）》2010年第6期417-422,共6页Journal of Yunnan Minzu University:Natural Sciences Edition

基　　金：国家自然科学基金(60673053);福建省教育厅科技项目(JK2010037);漳州师范学院博士科研启动基金

摘　　要：在一类S3PR网柔性制造系统Petri网模型N中,位置特殊资源不可能出现在网的严格极小信标和基本信标之中.因此,对于包含此类资源的网系统,为了缩小网规模,需要对其化简.化简算法对网模型进行处理,将位置特殊资源及相关操作库所、变迁和弧删去.同原网系统相比,最终得到的网系统具有较少的库所、变迁和较简单的网结构.In a class of Flexible Manufacturing Systems（FMS） Petri nets（PN） models N named S3PR,it is proved that neither the strict minimal siphons（SMSs） nor the elementary siphons would contain the special location resources.Therefore,the net with special location resources must be reduced in order that a smaller net can be derived.The reduction algorithm deletes the special location resources,the related transitions,as well as the arcs concerned.Finally,the net obtained has less place,less transition and a simpler net structure.

关 键 词：柔性制造系统 PETRI网 信标 资源 化简 

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