Update to "Extraction of elementary siphons in a class of generalized Petri nets using graph theory" [Engineering Computations (2014) 31(2)331-352]

Abstract

Purpose The purpose of this paper is to correct some mistakes in recently published paper (Hou, Y.F., Li, Z.W., Zhao, M., and Liu, D. (2014) “Extraction of elementary siphons in a class of generalized Petri nets using graph theory”, Engineering Computations, Vol.31, No.2, pp.331-352). Design/methodology/approach In (Hou et al., 2014), based on the concepts of initial resource weighted digraphs and restricted subgraphs, a structurally simple liveness-enforcing supervisor for WS3PR was designed. To demonstrate the effectiveness and applicability of the proposed method, a flexible manufacturing system (FMS) example was presented. However, there are some mistakes in the considered example. The derived monitors were incorrect, which caused the result that the final controlled net system is not live. Findings In order to correct the errors in (Hou et al., 2014), a liveness-enforcing Petri nets supervisor with revised monitors for the considered example was redesigned by applying the method in (Hou et al., 2014). Originality/value This paper corrected the mistakes in (Hou et al., 2014). Consequently, a liveness-enforcing Petri net supervisor is redesigned.