柔性制造系统Petri网模型中的两类特殊资源

Two types of special resources in Petri nets models of flexible manufacturing systems

在一类S3PR网柔性制造系统Petri网模型N中,考察两类所处位置特殊的资源。这两类资源分别被定义为第一类和第二类位置特殊资源。随后,证明这些资源不会出现在S3PR网N的任何一个严格极小信标(strict minimal siphon,SMS)或者是基本信标之中,并且任何使用这些资源的操作库所也不会出现在N的任何一个SMS或基本信标之中。结论说明,在柔性制造系统中可能存在一些同系统死锁的发生没有关系的资源。最后,简要介绍这两类特殊资源的应用前景。

This paper concerned two types of resources with special location in a class of flexible manufacturing systems（FMS） Petri nets models N named S3PR.These two types of resources were defined as the first type and the second type of special location resources,respectively.It was proved that neither these resources would be contained in each arbitrary strict minimal siphon（SMS） or elementary siphon of S3PR,nor those operation places that used these resources.The conclusion illustrates that there might be some resources which have nothing to do with the occurrence of system deadlock.Finally,briefly introduced the application perspective of the two types of special resources.