Abstract
Siphons play an important role in the development of deadlock control methods by using Petri nets. The number of siphons increases exponentially with respect to the size of a Petri net. This article presents a symbolic approach to the computation of minimal siphons in Petri nets by using binary decision diagrams (BDD). The siphons of a Petri net can be found via a set of logic conditions. The logic conditions are symbolically modeled by using Boolean algebras. The operations of Boolean algebras are implemented by BDD that are capable of representing large sets of siphons with small shared data structures. The proposed method first uses BDD to compute all siphons of a Petri net and then a binary relation is designed to extract all minimal siphons. Finally, by using a number of examples, the efficiency of the proposed method is verified through different-sized problems.
- Andersen, H. R. 1997. An introduction to binary decision diagrams. Lecture notes for 49285 Advanced Algorithms E97, Department of Information Technology, Technical University of Denmark.Google Scholar
- Barkaoui, K. and Lemaire, B. 1989. An effective characterization of minimal deadlocks and traps in Petri nets based on graph theory. In Proceedings of the 10th International Conference on Application and Theory of Petri Nets. Springer, 1--21.Google Scholar
- Boer, E. R. and Murata, T. 1994. Generating basis siphons and traps of Petri nets using the sign incidence matrix. IEEE Trans. Circuits Syst. Regul. Pap. 41, 4, 266--271.Google Scholar
Cross Ref
- Brant, R. 1992. Symbolic Boolean manipulation with ordered binary decision diagrams. ACM Comput. Surv. 24, 3, 293--318. Google Scholar
Digital Library
- Brown, F. M. 1990. Boolean Reasoning: The Logic of Boolean Equations. Kluwer Academic.Google Scholar
Cross Ref
- Cordone, R., Ferrarini, L., and Piroddi, L. 2005. Enumeration algorithms for minimal siphons in Petri nets based on place constraints. IEEE Trans. Syst. Man Cybern. Part A Syst. Humans 35, 6, 844--854. Google Scholar
Digital Library
- 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, 2, 173--184.Google Scholar
Cross Ref
- Ghaffari, A., Rezg, N., and Xie, X. L. 2003. Design of a live and maximally permissive petri net controller using the theory of regions. IEEE Trans. Rob. Autom. 19, 1, 137--142.Google Scholar
Cross Ref
- Hu, H. S. and Li, Z. W. 2008. An optimal-elementary-siphons based iterative deadlock 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. 2009a. 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. 2009b. Liveness enforcing supervision in video streaming systems using siphons. J. Inf. Sci. Eng. 25, 6, 1863--1884.Google Scholar
- Hu, H. S. and Li, Z. W. 2009c. Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphs. Comput. Ind. Eng. 57, 4, 1168--1181. Google Scholar
Digital Library
- Hu, H. S. and Li, Z. W. 2009d. 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
- Huang, Y. S., Jeng, M. D., Xie, X. L., and Chung, S. L. 2001. Deadlock prevention based on petri nets and siphons. Int. J. Prod. Res. 39, 2, 283--305.Google Scholar
Cross Ref
- Huang, Y. S., Jeng, M. D., Xie, X. L., and Chung, D. H. 2006. Siphon-based deadlock prevention for flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. Part A Syst. Humans 36, 6, 1248--1256. Google Scholar
Digital Library
- Jeng, M. D. and Xie, X. L. 1984. Deadlock detection and prevention of automated manufacturing systems using Petri nets and siphons. In Deadlock Resolution in Computer-Integrated Systems, M. C. Zhou and M. P. Fanti Eds., Marcel-Dekker Inc., New York, 233--281.Google Scholar
- Kumaran, T. K., Chang, W., Cho, H., and Wysk, A. 1994. A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems. Int. J. Prod. Res. 32, 10, 2361--2379.Google Scholar
Cross Ref
- Li, Z. W. and Shiptalni, M. 2009. Smart deadlock prevention policy for flexible manufacturing systems using petri nets. IET Control Theory Appl. 3, 3, 362--374.Google Scholar
Cross Ref
- 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. Part A Syst. Humans 34, 1, 38--51. Google Scholar
Digital Library
- Li, Z. W. and Zhou, M. C. 2006a. Clarifications on the definitions of elementary siphons of Petri nets. IEEE Trans. Syst. Man Cybern. Part A Syst. Humans 36, 6, 1227--1229. Google Scholar
Digital Library
- Li, Z. W. and Zhou, M. C. 2006b. Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using petri nets. IEEE Trans. Ind. Inf. 2, 4, 313--325.Google Scholar
Cross Ref
- Li, Z. W. and Zhou, M. C. 2008. Control of elementary and dependent siphons in petri nets and their application. IEEE Trans. Syst. Man Cybern. Part A Syst. Humans 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. Google Scholar
Digital Library
- Li, Z. W., Uzam, M., and Zhou, M. C. 2008. Deadlock control of concurrent manufacturing processes sharing finite resources. Int. J. Adv. Manuf. Technol. 38, 7--8, 787--800.Google Scholar
Cross Ref
- Li, Z. W., Zhou, M. C., and Jeng, M. D. 2008. A maximally permissive deadlock prevention policy for fms based on petri net siphon control and the theory of regions. IEEE Trans. Autom. Sci. and Eng. 5, 1, 182--188.Google Scholar
Cross Ref
- Lind-Nielsen, J. 2002. BuDDy: Binary decision diagram package release 2.2. IT-University of Copenhagen (ITU).Google Scholar
- Miner, A. S. and Ciardo, G. 1999. Efficient reachability set generation and storage using decision diagrams. In Proceedings of the 7th International Conference on Conceptual Structures. Lecture Notes in Computer Science, vol. 1639, 6--250. Google Scholar
Digital Library
- Murata, T. 1989. Petri nets: Properties, analysis, and applications. Proc. IEEE 77, 4, 541--580.Google Scholar
Cross Ref
- Pastor, E., Roig, O., Cortadella, J., and Badia, R. M. 1994. Petri net analysis using boolean manipulation. In Proceedings of the 15th International Conference on Application and Theory of Petri Nets. Lecture Notes in Computer Science, vol. 815, 416--435. Google Scholar
Digital Library
- Pastor, E., Cortadella, J., and Roig, O. 2001. Symbolic analysis of bounded petri nets. IEEE Trans. Comput. 50, 5, 432--448. 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. Part A Syst. Humans 38, 6, 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 Syst. Humans 39, 3, 650--661. Google Scholar
Digital Library
- Starke, P. H. 2003. INA: Integrated Net Analyer. http://www2.informatik.huberlin.de/starke/ina.html.Google Scholar
- Uzam, M. and Zhou, M. C. 2006. An improved iterative syhthesis method for liveness enforcing supervisors of flexible manufacturing systems. Int. J. Prod. Res. 44, 10, 1987--2030.Google Scholar
Cross Ref
- Wang, A. R., Li, Z. W., Jia, J. Y., and Zhou, M. C. 2009. An effective algorithm to find elementary siphons in a class of petri nets. IEEE Trans. Syst. Man Cybern. Part A Syst. Humans 39, 4, 912--923. Google Scholar
Digital Library
Index Terms
Computation of Minimal Siphons in Petri Nets by Using Binary Decision Diagrams
Recommendations
A survey of siphons in Petri nets
Petri nets have gained increasing usage and acceptance as a basic model of asynchronous concurrent systems since 1962. As a class of structural objects of Petri nets, siphons play a critical role in the analysis and control of systems modeled with Petri ...
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 ...
Characterizing Liveness of Petri Nets in Terms of Siphons
ICATPN '02: Proceedings of the 23rd International Conference on Applications and Theory of Petri NetsSeveral new characterizations relating the liveness, liveness monotonicity and siphons of general and asymmetric choice nets are first proposed in this article. The first major one states that, if a pure ordinary net satisfies liveness monotonicity, ...






Comments