Abstract
In Yan et al. (J Inf Sci Eng 25(1): 167–183, 2009), a deadlock prevention policy is proposed for a subclass of Petri nets, S3PMR, that can well model a large class of flexible manufacturing systems (FMS) where deadlocks are caused by unmarked siphons in their Petri net models. To validate the effectiveness and efficiency of the proposed approach, two examples were demonstrated in Yan et al. (J Inf Sci Eng 25(1): 167–183, 2009). This paper shows that there is a problem with one of the control places computed for one of the examples. In Yan et al. (J Inf Sci Eng 25(1): 167–183, 2009), for another example, two different deadlock prevention supervisors were proposed. It is also shown in this paper that, for these two supervisors, it is possible to obtain two subsets of control places. Thus, the structures of the two supervisors are further simplified with the same permissive system behaviours.
Similar content being viewed by others
References
Yan MM, Li ZW, Wei N, Zhao M (2009) A deadlock prevention policy for a class of Petri nets S3PMR. J Inf Sci Eng 25(1):167–183
INA (2003) Integrated net analyzer, a software tool for analysis of Petri nets. Version 2.2, 31.07.2003. http://www.informatik.hu-berlin.de/~starke/ina.html
Uzam M, Li ZW, Zhou MC (2007) Identification and elimination of redundant control places in Petri net based liveness enforcing supervisors of FMS. Int J Adv Manuf Technol 35(1–2):150–168
Li ZW, Hu HS (2009) On systematic methods to remove redundant monitors from liveness-enforcing net supervisors. Comput Ind Eng 56(1):53–62
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Uzam, M., Gelen, G. On a deadlock prevention policy for a class of Petri nets S3PMR. Int J Adv Manuf Technol 73, 315–319 (2014). https://doi.org/10.1007/s00170-014-5821-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00170-014-5821-8