On deadlock-free control of automated manufacturing systems with flexible routes and assembly operations using Petri nets


UZAM M. , Gelen G.

INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, vol.74, pp.1213-1217, 2014 (Journal Indexed in SCI) identifier identifier

  • Publication Type: Article / Article
  • Volume: 74
  • Publication Date: 2014
  • Doi Number: 10.1007/s00170-014-6071-5
  • Title of Journal : INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY
  • Page Numbers: pp.1213-1217

Abstract

In order to design Petri net (PN)-based liveness-enforcing supervisors to deal with flexible routes and assembly operations in automated manufacturing systems (AMS), a deadlock prevention policy was proposed in Hu et al. (IEEE Trans Ind Inf 9:109-121, 2013). The proposed policy exploits the structural analysis of PN models of AMS in the sense that the liveness of a PN model is attributed to the absence of undermarked siphons. To demonstrate the applicability and effectiveness of this method, a few examples were utilized. Some liveness-enforcing supervisors computed in Hu et al. (IEEE Trans Ind Inf 9:109-121, 2013) to enforce liveness on the considered Petri net models do not provide live system behaviors. The purpose of this paper is to report these facts and to provide the correct results.