Extension of the lower bound of monitor solutions of maximally permissive supervisors to non-α net systems

References

• 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
• Chao, D.Y. (2006). Computation of elementary siphons in Petri nets for deadlock control. Computer Journal, 49, 470–479.
   Web of Science ®Google Scholar
• Chao, D.Y. (2009). Technical note - MIP iteration-reductions for deadlock prevention of flexible manufacturing systems. International Journal of Advanced Manufacturing Technology, 41, 343–346.
   Web of Science ®Google Scholar
• Chao, D.Y. (2010a). Conservative control policy for weakly dependent siphons in S3PR based on elementary siphons. IET Control Theory and Applications, 4, 1298–1302.
   Web of Science ®Google Scholar
• Chao, D.Y. (2010b). Improved controllability test for dependent siphons in S3PR based on elementary siphons. Asian Journal of Control, 12, 377–391.
   Web of Science ®Google Scholar
• Chao, D.Y. (2013). On the lower bounds of monitor solutions of maximally permissive supervisors for a subclass α-S3PR of flexible manufacturing systems. International Journal of Systems Science, 46, 332–339.
   Web of Science ®Google Scholar
• Chen, Y.F., & Li, Z.W. (2011). Design of a maximally permissive liveness-enforcing supervisor with compressed supervisory structure for flexible manufacturing systems. Automatica, 47, 1028–1034.
   Web of Science ®Google Scholar
• Chen, Y.F., Li, Z.W., Khalgui, M., & Moshabi, O. (2011). Design of maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems. IEEE Transactions on Automation Science and Engineering, 8, 374–393.
   Web of Science ®Google Scholar
• Chen, Y.F., Li, Z.W., & Zhou, M.C. (2011). Behavior optimal and structural simple liveness-enforcing supervisor for flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 42, 615–629.
   Web of Science ®Google Scholar
• Coffman, E.G., Elphick, M.J., & Shoshani, A. (1971). Systems deadlocks. ACM Computing Surveys, 3, 67–78.
   Google Scholar
• Cordone, R., & Piroddi, L. (2011). Monitor optimization in Petri net control. In IEEE Conference on Automation Science and Engineering, (pp. 413–418). Trieste: IEEE.
   Google Scholar
• Cordone, R., & Piroddi, L. (2012). Parsimonious monitor control of Petri net models of flexible manufacturing systems. IEEE Transactions on Systems, Man and Cybernetics: Systems, 43, 215–221.
   Web of Science ®Google Scholar
• Ezpeleta, J., & Recalde, L. (1995). A deadlock avoidance approach for non-sequential resource allocation systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, 11, 173–184.
   Google Scholar
• Hong, L., & Chao, D.Y. (2012). Controllability of control and mixture weakly dependent siphons in S3PR. International Journal of Systems Science, 44, 1377–1385.
   Web of Science ®Google Scholar
• Li, Z.W., Zhang, J., & Zhou, M.C. (2007). Liveness-enforcing supervisor design for a class of generalized Petri net models of flexible manufacturing systems. IEEE Proceedings Control Theory & Applications, 1, 955–967.
   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. (2006a). Clarifications on the definitions of elementary siphons in Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, 36, 1227–1229.
   Web of Science ®Google Scholar
• Li, Z.W., & Zhou, M.C. (2006b). Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets. IEEE Transactions on Industrial Informatics, 2, 313–325.
   Web of Science ®Google Scholar
• Li, Z.W., & Zhou, M.C. (2008a). Control of elementary and dependent siphons in Petri nets and their application. IEEE Transactions on Systems, Man, and Cybernetics, A, 38, 133–148.
   Web of Science ®Google Scholar
• Li, Z.W., & Zhou, M.C. (2008b). 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. (2009). Deadlock resolution in automated manufacturing systems: A novel Petri net approach. London: Springer-Verlag.
   Google Scholar
• Li, Z.W., Zhou, M.C., & Jeng, M.D. (2008). A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions. IEEE Transactions on Automation Science and Engineering, 5, 182–188.
   Web of Science ®Google Scholar
• Nazeem, A., & Reveliotis, S.A. (2011). Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theory. In IEEE Conference on Automation Science and Engineering, (pp. 405–412), Trieste: IEEE.
   Google Scholar
• Nazeem, A., Reveliotis, S., Wang, Y., & Lafortune, S. (2012). Designing compact and maximally permissive deadlock avoidance policies for complex resource allocation systems through classification theory: The linear case. IEEE Transactions on Automatic Control, 56, 1818–1833.
   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
• Piroddi, L., Cordone, R., & Fumagalli, I. (2009). Combined siphon and marking generation for deadlock prevention in Petri nets. IEEE Transactions on Systems, Man and Cybernetics - Part A, 39, 650–661.
   Web of Science ®Google Scholar
• Shih, Y.Y., & Chao, D.Y. (2010). Sequence of control in S3PMR. Computer Journal, 53, 1691–1703.
   Web of Science ®Google Scholar
• Uzam, M. (2002). An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions. International Journal of Advanced Manufacturing Technology, 19, 192–208.
   Web of Science ®Google Scholar
• Uzam, M. (2004). The use of Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems. The International Journal of Advanced Manufacturing Technology, 23, 204–219.
   Web of Science ®Google Scholar
• Uzam, M., Li, Z.W., & Zhou, M.C. (2007). Identification and elimination of redundant control places in Petri net based liveness enforcing supervisors of FMS. The International Journal of Advanced Manufacturing Technology, 35, 150–168.
   Web of Science ®Google Scholar
• Uzam, M., & Zhou, M.C. (2006). An improved iterative synthesis approach for liveness enforcing supervisors of flexible manufacturing systems. International Journal of Production Research, 44, 1987–2030.
   Web of Science ®Google Scholar
• Wang, S.G., Wang, C.Y., & Yu, Y.P. (2011). Comments on “Siphon-based deadlock prevention policy for flexible manufacturing systems”. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 41, 338–340.
   Web of Science ®Google Scholar
• Wang, S.G., Wang, C.Y., & Zhou, M.C. (2012). Controllability conditions of resultant siphons in a class of Petri nets. IEEE Trans. Syst., Man, Cybern., Part A, 5, 1206–1215.
   Google Scholar
• Wang, S.G., Wang, C.Y., Zhou, M.C., & Li, Z.W. (2012). A method to compute strict minimal siphons in a class of Petri nets based on loop resource subsets. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 42, 226–237.
   Web of Science ®Google Scholar
• Wang, S.G., Wang, C.Y., Yu, Y.P., & Zhao, L.X. (2012). An algorithm to find the minimal initial markings of resource places ensuring liveness of finite-capacity S3PR. International Journal of Production Research, 50, 1528–1538.
   Web of Science ®Google Scholar
• Wang, S.G., Wang, C.Y., & Yu, Y.P. (2013). Design of a liveness-enforcing supervisor for S3PR based on complementary places. ACM Transactions on Embedded Computing Systems-Special Issue on Modeling and Verification of Discrete Event, 12, 1–18.
   Web of Science ®Google Scholar
• Wang, S.G., Zhou, M.C., Wang, C.Y., & Li, Z.W. (2013). A new modified reachability tree approach and its applications to unbounded Petri nets. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 43, 932–940.
   Web of Science ®Google Scholar
• Wang, S.G., Wang, C.Y., & Zhou, M.C. (2013). Design of optimal monitor-based supervisors for a class of Petri nets with uncontrollable transitions. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 43, 1248–1255.
   Web of Science ®Google Scholar
• Windt, K., Hutt, M.T., & Meyer, M. (2011). A modeling approach to analyze redundancy in manufacturing systems. In Elmaraghy, Hoda A. (Ed.), CIRP Enabling Manufacturing Competitiveness and Economic Sustainability: Proceedings of the 4th International Conference on Changeable, Agile, Reconfigurable and Virtual production (CARV2011) (pp. 493–498). Montreal: Springer.
   Google Scholar
• Yamalidou, K., Moody, J., Lemmon, M., & Antsaklis, P. (1996). Feedback control of Petri nets based on place invariants. Automatica, 32, 15–28.
   Web of Science ®Google Scholar
• Zhang, W.J., & van Luttervelt, C.A. (2011). Toward a resilient manufacturing system. CIRP Annals - Manufacturing Technology, 60, 469–472.
   Web of Science ®Google Scholar