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.
Similar content being viewed by others
References
Hu HS, Zhou MC, Li ZW, Tang Y (2013) Deadlock-free control of automated manufacturing systems with flexible routes and assembly operations using Petri nets. IEEE Trans Ind Inf 9(1):109–121
Li ZW, Zhao M (2008) On controllability of dependent siphons for deadlock prevention in generalized Petri nets. IEEE Trans Syst, Man, Cyber A Syst Hum 38(2):1083–4427
Barkaoui K, Peyre JF (1996) On liveness and controlled siphons in Petri nets. Lect Notes Comput Sci, Berlin, Germany: Springer-Verlag 1091:57–72
INA (2003) Integrated net analyzer, a software tool for analysis of petri nets. Version 2.2, 31.07.2003. [Online]. Available: http://www.informatik.hu-berlin.de/~starke/ina.html
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Uzam, M., Gelen, G. On deadlock-free control of automated manufacturing systems with flexible routes and assembly operations using Petri nets. Int J Adv Manuf Technol 74, 1213–1217 (2014). https://doi.org/10.1007/s00170-014-6071-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00170-014-6071-5