Petri网是一种形式语言，由于其对资源分配的自然描述和对死锁的精确表征的能力，被广泛应用于与资源分配相关的并发系统中。 具有资源的简单顺序过程的加权系统（（WSPR）-P-3）是Petri网的重要子类，可以建模许多资源分配系统，其中1）多个进程可以并行运行，以及2）每个进程的每个执行步骤。 可以使用同一资源类型的多个单元，但不能使用多种资源类型。 我们首先根据分区问题证明（WSPR）-P-3的活跃性问题是共NP难题。 此外，我们基于两个新概念（结构循环等待（SCW）和阻塞标记（BM））为（WS