Property of Liveness in Sequential Resource Allocation Systems Based on Petri Net
基于Petri网的顺序资源分配系统活性的一个性质

具有多资源需求和柔性加工路径的顺序资源分配系统(Sequential Resource Allocation Systems with Multiple Resource Acquisitions and Flexible Routings,C/D-RAS)是一类较复杂的、更为一般的资源分配系统。考察了两个与 C/D-RAS密切相关的活性问题。借助这两个C/D-RAS的Petri网模型来定义标识S3 PGR2网对((N1,Mm),(N2，M02)，由标识S3 PGR2网中资源种类、数量的守恒性和变迁使能的一个充分必要条件，证明(N1 ,M01)和(N2,M02)的合法变迁发生序列是一致的，据此得出的最终结论是(N1,M01,)和(N2,M02)具有相同的活性。最后，简要提及本结论的应用。