Automatica, Vol.50, No.8, 2199-2200, 2014
Comments on "Liveness of an extended (SPR)-P-3" [Automatica 46 (2010) 1008-1018]
In a recent paper (Liu et al., 2010), a new deadlock prevention method was proposed based on the concepts of generalized circular waits and circular blockings for (WSPR)-P-3 (an extension to System of Simple Sequential Processes with Resources ((SPR)-P-3) with weighted arcs). It is proved that a (WSPR)-P-3 net model with a certain characteristic structure is live with respect to a class of initial markings. However, some results developed in Liu et al. (2010) are not correct, which are discussed in this correspondence paper. (C) 2014 Elsevier Ltd. All rights reserved.