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

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

揭示了柔性制造系统(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.