Abstract
Deadlock prevention is crucial to the modeling of flexible manufacturing systems. In the Petri net framework, deadlock prevention is often addressed by siphon-based control (SC) policies. Recent research results show that SC methods can avoid full siphon enumeration by using mixed integer programming (MIP) to greatly increase the computational efficiency so that it can be applied in large systems in computable time. Besides, maximally permissive control solutions can be obtained by means of iterative siphon control (ISC) approaches and MIP. Then the remaining problems are redundancy and MIP iterations. Redundant controllers make the closed-loop system more complicated and each MIP iteration increases the total computational time. This article proposes a revised ISC deadlock prevention policy which can achieve better results than the other reported methods in terms of redundancy and MIP iterations while maintaining the maximal permissiveness. Several benchmark examples are provided to illustrate the proposed approach and to be compared with the other reported methods.
- Banaszak, Z. A. and Krogh, B. H. 1990. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Trans. Rob.Autom 6, 724--734.Google Scholar
Cross Ref
- Chao, D. Y. 2008. Technical note: Reducing MIP iterations for deadlock prevention of flexible manufacturing systems. Int. J. Adv. Manuf. Technol. 41, 3, 343--346.Google Scholar
Cross Ref
- Chao, D. Y. 2009. Direct minimal empty siphon computation using MIP. Int. J. Adv. Manuf. Technol. 45, 397--405.Google Scholar
Cross Ref
- Chu, F. and Xie, X. L. 1997. Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Trans Rob. Autom. 13, 793--804.Google Scholar
Cross Ref
- Ezpeleta, J., Colom, J. M., and Martinez, J. 1995. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Rob. Autom. 11, 173--184.Google Scholar
Cross Ref
- Ezpeleta, J., Tricas, F., Garcia-Valles, F., and Colom, J. M. 2002. A bankers solution for deadlock avoidance in FMS with flexible routing and multiresource states. IEEE Trans. Rob. Autom. 18, 621--625.Google Scholar
Cross Ref
- Fanti, M. P. and Zhou, M. C. 2004. Deadlock control methods in automated manufacturing systems. IEEE Trans. Syst. Man Cybern. Part A 34, 5--22. Google Scholar
Digital Library
- Ferrarini, L and Maroni, M. 1998. Deadlock avoidance control for manufacturing systems with capacity resources. Int. J. Adv. Manuf. Technol. 14, 729--736.Google Scholar
Cross Ref
- Huang, Y. S. 2006. Design of deadlock prevention supervisors using Petri nets. Int. J. Adv. Manuf. Technol. 35, 349--362.Google Scholar
Cross Ref
- Huang, Y. S., Jeng, M. D., Xie, X. L., and Chung, S. L. 2001. Deadlock prevention policy based on Petri nets and siphons. Int. J. Prod. Res. 39, 283--305.Google Scholar
Cross Ref
- Huang, Y. S., Jeng, M. D., Xie, X. L., and Chung, D. H. 2006. Deadlock prevention policy based on Petri nets and siphons. IEEE Trans. Syst. Man Cybern. Part A 36, 1248--1256. Google Scholar
Digital Library
- Iordache, M., Moody, J., and Antsaklis, P. 2002. Synthesis of deadlock prevention supervisors using Petri nets. IEEE Trans. Rob. Autom. 18, 59--68.Google Scholar
Cross Ref
- Lawley, M., Reveliotis, S., and Ferrarini, P. 1997. Design guidelines for deadlock-handling strategies in flexible manufacturing systems. Int. J. Flex. Manuf. Syst. 9, 5--30.Google Scholar
Cross Ref
- Li, Z. W. and Liu, D. 2007. A correct minimal siphons extraction algorithm from a maximal unmarked siphon of a Petri net. Int. J. Prod. Res. 45, 2161--2165.Google Scholar
Cross Ref
- Li, Z. W. and Wei, N. 2007. Deadlock control of flexible manufacturing systems via invariant-controlled elementary siphons of Petri nets. Int. J. Adv. Manuf. Technol. 33, 24--35.Google Scholar
Cross Ref
- Li, Z. W. and Zhou, M. C. 2004. Elementary siphons of Petri nets and their applications to deadlock prevention in flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. Part A 34, 38--51. Google Scholar
Digital Library
- Li, Z. W. and Zhou, M. C. 2006. Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets. IEEE Trans. Ind. Inf. 2, 313--325.Google Scholar
Cross Ref
- Li, Z. W., Uzam, M., and Zhou, M. C. 2004. Comments on “Deadlock prevention policy based on Petri Nets and Siphons”. Int. J. Prod. Res. 42, 5253--5254.Google Scholar
Cross Ref
- Li, Z. W., Hu, H. S., and Wang, A. R. 2007. Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets. IEEE Trans. Syst. Man Cybern. Part C 37, 517--526. Google Scholar
Digital Library
- Li, Z. W., Zhou, M. C., and Wu, N. Q. 2008. A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. Part C 38, 173--188. Google Scholar
Digital Library
- Lindo System, Inc. Premier optimization modeling tools. http://www.lindo.com.Google Scholar
- Murata, T. 1989. Petri nets: Properties, analysis and applications. Proc. IEEE 77, 541--580.Google Scholar
Cross Ref
- Park, J. and Reveliotis, S. A. 2001. Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Trans. Autom. Control 46, 1572--1583.Google Scholar
Cross Ref
- Piroddi, L., Cordone, R., and Fumagalli, I. 2008. Selective siphon control for deadlock prevention in Petri nets. IEEE Trans. Syst. Man Cybern. Part A 38, 1337--1348. Google Scholar
Digital Library
- Piroddi, L., Cordone, R., and Fumagalli, I. 2009. Combined siphon and marking generation for deadlock prevention in Petri nets. IEEE Trans. Syst. Man Cybern. Part A 39, 650--661. Google Scholar
Digital Library
- Shih, Y. Y. and Chao, D. Y. 2009. Sequence of control in S3PMR. Comput. J. Google Scholar
Digital Library
- Starke, P. H. 1992. INA: Intergrated Net Analyzer. Handbuch.Google Scholar
- Tricas, F., Garcia-Valles, F., Colom, J. M., and Ezpeleta, J. 1998. A structural approach to the problem of deadlock prevention in processes with resources. In Proceedings of the International Workshop on Discrete Event Systems (WODES’98). 273--278.Google Scholar
- Tricas, F., Garcia-Valles, F., Colom, J. M., and Ezpeleta, J. 2000 An iterative method for deadlock prevention in FMS. In Discrete Event Systems, Analysis and Control, G. Stremersch Ed., 139--148.Google Scholar
- Uzam, M. 2002. An optimal deadlock prevention policy for flexible manufacturing systems using Petri net model with resources and the theory of regions. Int. J. Adv. Manuf. Technol. 19, 192--208.Google Scholar
Cross Ref
- Uzam, M. 2004. The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems. Int. J. Adv. Manuf. Technol. 23, 204--219.Google Scholar
Cross Ref
- Uzam, M. and Zhou, M. C. 2006. An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems. Int. J. Prod. Res. 44, 1987--2030.Google Scholar
Cross Ref
- Uzam, M. and Zhou, M. C. 2007. An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. Part A 37, 362--371. Google Scholar
Digital Library
- Uzam, M., Li, Z. W., and Zhou, M. C. 2007. Identification and elimination of redundant control places in Petri net based liveness enforcing supervisors of FMS. Int. J. Adv. Manuf. Technol. 35, 150--168.Google Scholar
Cross Ref
- Viswandham, N., Narahari, Y., and Johnson, T. L. 1990. Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Trans. Rob. Autom. 6, 713--723.Google Scholar
Cross Ref
- Wang, A. R., Li, Z. W., Jia, J. Y., and Zhou, M. C. 2009. An effiective algorithm to find elementary siphons in a class of Petri nets. IEEE Trans. Syst. Man Cybern. Part A 39, 912--923. Google Scholar
Digital Library
- Wu, N. Q. and Zhou, M. C. 2005. Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles. IEEE Trans. Syst. Man Cybern. Part B 35, 1193--1202. Google Scholar
Digital Library
- Wysk, R. A., Yang, N. S., and Joshi, S. 1991. Detection of deadlocks in flexible manufacturing cells. IEEE Trans. Rob. Autom. 7, 853--859.Google Scholar
Cross Ref
- Xing, K. Y., Hu, B. S., and Chen, H. X. 1996. Deadlock avoidance policy for Petri-net modelling of flexible manufacturing systems with shared resources. IEEE Trans. Automat. Control 41, 289--295.Google Scholar
Cross Ref
- Yamalidou, K., Moody, J., Lemmon, M., and Antsaklis, P. 1996. Feedback control of Petri nets based on place invariants. Automatica 32, 15--28. Google Scholar
Digital Library
Index Terms
Sequence Control of Essential Siphons for Deadlock Prevention in Petri Nets
Recommendations
Computation of Elementary Siphons in Petri Nets For Deadlock Control
When designing liveness-enforcing Petri net supervisors, unlike other techniques, Li et al. added control places and arcs to a plant net model for its elementary siphons only, greatly reducing the structural complexity of the controlled system. Their ...
Design of a Petri Net Based Deadlock Prevention Policy Supervisor for S3PR
ISMS '15: Proceedings of the 2015 6th International Conference on Intelligent Systems, Modelling and SimulationSiphons can be used to characterize deadlock states to solve deadlock problems in a class of Petri nets that represent models of flexible manufacturing system (FMS). This paper presents a deadlock prevention method for a class of FMS, where the unmarked ...
Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming
This article develops a deadlock prevention policy for a class of generalised Petri nets, which can well model a large class of flexible manufacturing systems. The analysis of such a system leads us to characterise the deadlock situations in terms of ...






Comments