“…The reason is that the output arcs of GCPs are linked to the source transitions of an original plant net model, which may restrict the behaviour permissiveness of the controlled system to some degree, implying that it is need to improve the addition of GCPs in the next research. In addition, this RMIP approach that can solve NSSs associated with deadlocks and livelocks is only a sufficient condition for testing the liveness of S 4 R. As a result, as stated in [26], how to reconstruct the objective function and the corresponding new constraints for the novel MIP method that is a sufficient and necessary condition for the liveness of S 4 R, and like [4,6,7], how to achieve the final live controlled system (N * , M * ) with R = 100% by improving the addition of GCPs, and the extension of this improved DCP to more general classes of Petri nets are the focus of our future research. Table 8 Results of Policy 1 for a nonlive marked S 4 R shown in Fig.…”