Abstract
A transition-controlled deadlock detection and recovery prevention policy is presented for a subclass of Petri nets used to model flexible manufacturing systems. The subclass is called systems of simple sequential processes with resources (S3PR). The proposed policy is different from the standard deadlock prevention policies. Instead of adding control places, this policy adds a controlled transition to solve a group of deadlocked markings that have the same graph-based property. Finally, the results of our study indicate that the proposed policy appears to be more permissive than those existing ones that add control places.
- Barkaoui, K. and Abdallah, B. 1995. Deadlock avoidance in FMS based on structural theory of Petri nets. In Proceedings of the INRIA/IEEE Symp. Emerging Technologies for Factory Automation. 499--510.Google Scholar
- Berthomieu, B. and Vernadat, F. 2006. Time Petri nets analysis with TINA. In Proceedings of the 3rd International Conference on the Quantitative Evaluation of Systems. IEEE, 123--124. Google Scholar
Digital Library
- Chao, D. Y. 2006. Computation of elementary siphons in Petri nets for deadlock control. Comput. J. 49, 4, 470--479. Google Scholar
Digital Library
- Chao, D. Y. 2008. Incremental approach to computation of elementary siphons for arbitrary S3PR. IET Control Theory Appl. 2, 2, 168--179.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
- Hu, H. S. and Li, Z. W. 2008. An optimal-elementary-siphons based iterative dead-lock prevention policy for flexible manufacturing systems. Int. J. Adv. Manuf. Technol. 38, 3--4, 309--320.Google Scholar
Cross Ref
- Hu, H. S. and Li, Z. W. 2009. Efficient deadlock prevention policy in automated manufacturing systems using shared resources. Int. J. Adv. Manuf. Technol. 40, 5--6, 566--571.Google Scholar
Cross Ref
- Hu, H. S. and Li, Z. W. 2009. Modeling and scheduling for manufacturing grid workflows using timed Petri nets. Int. J. Adv. Manuf. Technol. 42, 5--6, 553--568.Google Scholar
Cross Ref
- Hu, H. S., Zhou, M. C., and Li, Z. W. 2009. Liveness enforcing supervision of video streaming systems using non-sequential Petri nets. IEEE Trans. Multimedia 11, 8, 1457--1465. Google Scholar
Digital Library
- Hu, H. S., Zhou, M. C., and Li, Z. W. 2010a. Algebraic synthesis of timed supervisor for automated manufacturing systems using Petri nets. IEEE Trans. Autom. Sci. Eng.Google Scholar
Cross Ref
- Hu, H. S., Zhou, M. C., and Li, Z. W. 2010b. Low-cost and high-performance supervision in ratio-enforced automated manufacturing systems using timed Petri nets. IEEE Trans. Autom. Sci. Eng.Google Scholar
Cross Ref
- Hu, H. S., Zhou, M. C., and Li, Z. W. 2010c. Ratio and supervisory control for automated manufacturing systems using Petri nets. IEEE Trans. Syst. Man Cybern. A Syst. Human. Google Scholar
Digital Library
- Huang, Y. S. 2007a. Deadlock prevention for flexible manufacturing systems in sequence resource allocation systems. J. Inf. Sci. Eng. 23, 1, 215--231.Google Scholar
- Huang, Y. S. 2007b. Design of deadlock prevention supervisors using Petri nets. Int. J. Adv. Manuf. Technol. 35, 3--4, 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, 3, 283--305.Google Scholar
Cross Ref
- Huang, Y. S., Jeng, M. D., Xie, X. L., and Chung D. S. 2006. Siphon-based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. A Syst. Human 36, 6, 2152--2160. Google Scholar
Digital Library
- Iordache, M. A. and Mantsaklis, P. J. 2003. Design of T-liveness enforcing supervisors in Petri nets. IEEE Trans. Automat. Contr. 48, 11, 1962--1974.Google Scholar
Cross Ref
- Li, Z. W. and Zhao, M. 2008. On controllability of dependent siphons for deadlock prevention in generalized Petri nets. IEEE Trans. Syst. Man Cybern. A Syst. Human 38, 2, 369--384. Google Scholar
Digital Library
- Li, Z. W. and Zhou, M. C. 2004. Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. A Syst. Human 34, 1, 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. Inform. 2, 4, 313--325.Google Scholar
Cross Ref
- Li, Z. W. and Zhou, M. C. 2008a. A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. A Syst. Human 38, 2, 173--188. Google Scholar
Digital Library
- Li, Z. W. and Zhou, M. C. 2008b. On siphon computation for deadlock control in a class of Petri nets. IEEE Trans. Syst. Man Cybern. A Syst. Human 38, 3, 667--679. Google Scholar
Digital Library
- Li, Z. W. and Zhou, M. C. 2008c. Control of elementary and dependent siphons in Petri nets and their application. IEEE Trans. Syst. Man Cybern. A Syst. Human 38, 1, 133--148. Google Scholar
Digital Library
- Li, Z. W. and Zhou, M. C. 2009. Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. Springer-Verlag, Berlin. Google Scholar
Digital Library
- Li, Z. W., Zhou, M. C., and Uzam, M. 2007. Deadlock control policy for a class of Petri nets without complete siphon enumeration. IET Control Theory Appl. 1594--1605.Google Scholar
- Li, Z. W., Zhou, M. C., and Jeng, M. D. 2008a. A maximally permissive deadlock prevention policy for fms based on Petri net siphon control and the theory of regions. IEEE Trans. Autom. Sci. Eng. 5, 1, 182--188.Google Scholar
Cross Ref
- Li, Z. W., Uzam, M., Zhou, M. C. 2008b. Deadlock control of concurrent manufacturing processes sharing finite resources. Int. J. Adv. Manuf. Technol. 38, 787--800.Google Scholar
Cross Ref
- Marsan, M. A., Balbo, G. Conte, G., Donatelli, S., and Franceschinis, G. 1995. Modeling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing. John Wiley and Sons.Google Scholar
- Murata, T. 1989. Petri nets: Properties, analysis, and applications. Proc. IEEE 71, 541--580.Google Scholar
Cross Ref
- Peterson, J. L., 1981. Petri Net Theory and the Modeling of Systems. Prentice Hall, Englewood Cliffs, NJ. Google Scholar
Digital Library
- Piroddi, L., Cordone, R., and Fumagalli, I. 2008. Selective siphon control for deadlock prevention in Petri nets. IEEE Trans. Syst. Man Cybern. A Syst. Human 38, 6, 1337--1348. Google Scholar
Digital Library
- Piroddi, L., Cossalter, M., and Ferrarini, L. 2009a. A resource decoupling approach for deadlock prevention in FMS. Int. J. Adv. Manuf. Technol. 40, 1--2, 157--170.Google Scholar
Cross Ref
- Piroddi, L., Cordone, R., and Fumagalli, I. 2009b. Combined siphon and marking generation for deadlock prevention in Petri Nets. IEEE Trans. Syst. Man Cybern. A Syst. Human 39, 3, 650--661. Google Scholar
Digital Library
- Uzam, M. 2002. An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models 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 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. 2007. An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. A Syst. Human 37, 3, 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
Index Terms
Transition-Based Deadlock Detection and Recovery Policy for FMSs Using Graph Technique
Recommendations
Extended elementary siphon-based deadlock prevention policy for a class of generalised Petri nets
This paper develops a novel deadlock prevention policy for a class of generalised Petri nets, namely S4PR that can well model flexible manufacturing systems FMS. The analysis of generalised Petri nets leads us to characterise deadlock situations in ...
A deadlock prevention approach for flexible manufacturing systems without complete siphon enumeration of their Petri net models
Siphons are very important in the analysis and control of deadlocks in a Petri net. However, it is quite time-consuming or even impossible to get the complete siphon enumeration of a Petri net. This paper focuses on the deadlock prevention problems in ...
Siphon extraction for deadlock control in flexible manufacturing systems by using Petri nets
Siphons can be used to characterise deadlock states and solve deadlock problems in Petri nets that model flexible manufacturing systems. This article presents a novel deadlock prevention policy for Petri nets using siphon extraction. At each iteration, ...






Comments