On the existence of complementary-place supervisors that enforce the liveness in S3PR | IEEE Conference Publication | IEEE Xplore