柔性制造系统Petri网模型中的一类共享资源  

One Class of Shared Resources in Petri Net Modeling of Flexible Manufacturing Systems

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

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

出　　处：《湖北民族学院学报（自然科学版）》2010年第3期349-352,共4页Journal of Hubei Minzu University(Natural Science Edition)

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

摘　　要：揭示了柔性制造系统(flexible manufacturing systems,简称FMS)中死锁发生的内在机制,选择形式化的系统建模工具Petri网为手段.在FMS的Petri网模型S3PR网中,同一加工过程内的不同加工操作所共享的资源,是一类特殊资源.同独立加工过程的共享资源一样,同一加工过程内的不同加工操作所共享的资源也可能导致系统发生死锁.因此,将这类资源定义为加工过程内共享资源.在FMS的死锁控制中,需要将加工过程内共享资源的影响因素考虑进来.The formal system modeling tool of Petri net is chosen as the way to discover the inner mechanism of deadlocks in flexible manufacturing systems（FMS for short）.In Petri net modeling S3PR net of FMS,the resources shared by more than one process operations within the same production process are remarkable.It is proved that these resources,as well as the resources shared by independent production processes,may generate deadlocks.Therefore,the above resources are called Shared Resources within Production Process（SRPP for short）.In the deadlock control of FMS,it is necessary to take SRPPs carefully.

关 键 词：柔性制造系统 PETRI网 共享资源 死锁 

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