Affordable Access

Publisher Website

Comments on “Liveness of an extended [formula omitted]” [Automatica 46 (2010) 1008–1018]

Authors
Journal
Automatica
0005-1098
Publisher
Elsevier
Identifiers
DOI: 10.1016/j.automatica.2014.05.034
Keywords
  • Petri Net
  • Deadlock Prevention
  • Circular Wait

Abstract

Abstract 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 WS3PR (an extension to System of Simple Sequential Processes with Resources (S3PR) with weighted arcs). It is proved that a WS3PR 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.

There are no comments yet on this publication. Be the first to share your thoughts.