On the existence of complementary-place supervisors that enforce the liveness in S3PR

For a class of Petri nets called systems of simple sequential processes with resources (S³PR), this paper proposes a sufficient condition under which there exists a complementary-place supervisor that enforce the liveness. Moreover, an algorithm is proposed to design a complementary-place supervisor for an S³PR when it exists. Design of complementary-place supervisors is very easy, and hence the existence of complementary-place supervisors is significant to study.