论文研究-柔性制造系统Petri网模型中的两类特殊资源.pdf

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