基于petri网的顺序资源分配系统活性的一个性质

具有多资源需求和柔性加工路径的顺序资源分配系统(sequentialresourceallocationsystemswithmultipleresourceacquisitionsandflexibleroutings,c/d-ras)是一类较复杂的、更为一般的资源分配系统。考察了两个与c/d-ras密切相关的活性问题。借助这两个c/d-ras的petri网模型来定义标识s3pgr2网对((n1,mm),(n2，m02)，由标识s3pgr2网中资源种类、数量的守恒性和变迁使能的一个充分必要条件，证明(n1,m01)和(n2,m02)的合法变迁发生序列是一致的，据此得出的最终结论是(n1,m01,)和(n2,m02)具有相同的活性。最后，简要提及本结论的应用。