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

摘要

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