Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait

References

• Barkaoui, K., & Pradat-Peyre, J. (1996). On liveness and controlled siphons in Petri nets. Lecture Notes on Computer Science, 1091, 57–72.
   Google Scholar
• Brooks, R.R., Zhu, M., Lamb, J., & Iyengar, S.S. (2004). Aspect-oriented design of sensor networks. Journal of Parallel and Distributed Computing, 64, 853–865.
   Web of Science ®Google Scholar
• Chao, D. (2013). On the lower bound of monitor solutions of maximally permissive supervisors for a subclass α-S3PR of flexible manufacturing systems. International Journal of Systems Science. Advance online publication. doi:10.1080/00207721.2013.783946
   Google Scholar
• Cheng, A., Esparza, J., & Palsberg, J. (1995). Complexity results for 1-safe nets. Theoretical Computer Science, 147, 117–136.
   Web of Science ®Google Scholar
• Colom, J.M. (2003). The resource allocation problem in flexible manufacturing systems. Lecture Notes on Computer Science, 2679, 23–35.
   Google Scholar
• Ezpeleta, J., Colom, J.M., & Martinez, J. (1995). A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation, 11, 173–184.
   Google Scholar
• Hong, L., & Chao, D. (2013). Controllability of control and mixture weakly dependent siphons in S3PR. International Journal of Systems Science, 44, 1377–1385.
   Web of Science ®Google Scholar
• Hruz, B., & Zhou, M.C. (2007). Modeling and control of discrete event dynamic systems. London: Springer.
   Google Scholar
• Li, Z.W., & Zhao, M. (2008). On controllability of dependent siphons for deadlock prevention in generalized Petri nets. IEEE Transactions on Systems, Man, and Cybernetics: Part A, 38, 369–384.
   Web of Science ®Google Scholar
• Li, Z.W., & Zhou, M.C. (2004). Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics: Part A, 34, 38–51.
   Web of Science ®Google Scholar
• Li, Z.W., & Zhou, M.C. (2009). Deadlock resolution in automated manufacturing systems: A novel Petri net approach. New York, NY: Springer.
   Google Scholar
• Liu, D., Li, Z.W., & Zhou, M.C. (2013a). Hybrid liveness-enforcing policy for generalized Petri net models of flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, 43, 85–97.
   Web of Science ®Google Scholar
• Liu, D., Li, Z.W., & Zhou, M.C. (2013b). Parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets. Automatica, 49, 3167–3179.
   Web of Science ®Google Scholar
• Liu, G.J., Jiang, C.J., & Zhou, M.C. (2010). Two simple deadlock prevention policies for S3PR based on key-resource/operation-place pairs. IEEE Transactions on Automation Science and Engineering, 7, 945–957.
   Web of Science ®Google Scholar
• Liu, G.J., Jiang, C.J., Zhou, M.C., & Ohta, A. (2013). The liveness of WS3PR: Complexity and decision. IEICE Transactions on Fundamentals, E96-A, 1783–1793.
   Web of Science ®Google Scholar
• Liu, G.Y., & Barkaoui, K. (2013). Necessary and sufficient liveness condition of GS3PR Petri nets. International Journal of Systems Science. Advance online publication. doi:10.1080/00207721.2013.827257
   Google Scholar
• Moharrami, S., & Karimov, A. (2012). Deadlock avoidance in the operating systems with using coloured Petri nets. International Journal of Soft Computing, 7, 38–43.
   Google Scholar
• Park, J., & Reveliotis, S.A. (2001). Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Transactions on Automatic Control, 46, 1572–1583.
   Web of Science ®Google Scholar
• Piroddi, L., Cordone, R., & Fumagalli, I. (2008). Selective siphon control for deadlock prevention in Petri nets. IEEE Transactions on Systems, Man, and Cybernetics: Part A, 38, 1337–1348.
   Web of Science ®Google Scholar
• Reisig, W. (2013). Understanding Petri nets: Modeling techniques, analysis methods, case studies. Berlin: Springer-Verlag.
   Google Scholar
• Reveliotis, S.A. (2005). Real-time management of resource allocation systems: A discrete event systems approach. New York, NY: Springer.
   Google Scholar
• Shojafar, M., Pooranian, Z., Abawajy, J.H., & Meybodi, M.R. (2013). An efficient scheduling method for grid systems based on a hierarchical stochastic Petri net. Journal of Computing Science and Engineering, 7, 44–52.
   Google Scholar
• Tricas, F., & Martinez, J. (1995). An extension of the liveness theory for concurrent sequential processes competing for shared resources. In Gruver, W.A. & de Silva C.W. (Eds.), Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics (pp. 3035–3040). Piscataway, NJ: IEEE Press.
   Google Scholar
• Uzam, M., & Zhou, M.C. (2007). An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics: Part A, 37, 362–371.
   Web of Science ®Google Scholar
• Valmari, A. (1998). The state explosion problem. Lecture Notes on Computer Science, 1491, 429–528.
   Google Scholar
• van der Aalst, W.M.P., van Hee, K., ter Hofstede, A., Sidorova, N., Verbeek, H., Voorhoeve, M., & Wynn, M. (2011). Soundness of workflow nets: Classification, decidability, and analysis. Formal Aspects of Computing, 23, 333–363.
   Web of Science ®Google Scholar
• Wu, N.Q., & Zhou, M.C. (2010). System modeling and control with resource-oriented Petri nets. New York, NY: CRC Press.
   Google Scholar
• Xiao, X., & Lee, J. (2008). A novel O(1) deadlock detection methodology for multiunit resource systems and its hardware implementation for system-on-chip. IEEE Transactions on Parallel and Distributed Systems, 19, 1657–1670.
   Web of Science ®Google Scholar
• Zhao, M., Li, Z.W., & Hu, H.S. (2010). Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming. International Journal of Systems Science, 41, 1013–1026.
   Web of Science ®Google Scholar
• Zhou, M.C., & Fanti, M.P. (2005). Deadlock resolution in computer-integrated systems. New York, NY: Marcel Dekker.
   Google Scholar
• Zhou, M.C. & Venkatesh, K. (1998). Modeling, simulation and control of flexible manufacturing systems: A Petri net approach. Singapore: World Scientific.
   Google Scholar