Controllability of control and mixture weakly dependent siphons in S³PR

References

• Chao , DY . 2007a . A Graphic-Algebraic Computation of Elementary Siphons of BS3PR . Journal of Information Science and Engineering , 23 : 1817 – 1831 .
   Web of Science ®Google Scholar
• Chao , DY . 2007b . An Incremental Approach to Extract Minimal Bad Siphons . Journal of Information Science and Engineering , 23 : 203 – 214 .
   Web of Science ®Google Scholar
• Chao , DY . 2008a . Incremental Approach to Computation of Elementary Siphons for Arbitrary S3PR . IET Control Theory and Applications , 2 : 168 – 179 .
   Web of Science ®Google Scholar
• Chao , DY . 2008b . Revised Dependent Siphons . International Journal of Advanced Manufacturing Technology , 43 : 182 – 188 .
   Web of Science ®Google Scholar
• Chao , DY . ‘Controllability of Strongly and Weakly Dependent Siphons under SMSless Control’, under review
   Google Scholar
• Chao , DY , Wu , K-C , Chen , J-T and Lee , MYJ . 2011 . Controllability of Strongly and Weakly Dependent Siphons under Disturbanceless Control . Intelligent Control and Automation , 2 : 310 – 319 .
   Google Scholar
• Chen , YF , Li , ZW , Khalgui , M and 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 , H , Zhou , CJ and Zhu , WF . 2011 . Modelling the Protocol Stack in NCS with Deterministic and Stochastic Petri Net . International Journal of Systems Science , 42 : 1057 – 1064 .
   Web of Science ®Google Scholar
• Chu , F and Xie , XL . 1997 . Deadlock Analysis of Petri Nets using Siphons and Mathematical Programming . IEEE Transactions on Robotics and Automation , 13 : 793 – 804 .
   Google Scholar
• Ezpeleta , J , Colom , JM and Martinez , J . 1995 . A Petri Net based Deadlock Prevention Policy for Flexible Manufacturing Systems . IEEE Transactions on Robotics and Automatation , 11 : 173 – 184 .
   Google Scholar
• Jiao , L . 2008 . Refining and Verifying Regular Petri Nets . International Journal of Systems Science , 39 : 17 – 27 .
   Web of Science ®Google Scholar
• Lefebvre , D . 1999 . Feedback Control Designs of Manufacturing Systems Modelled by Continuous Petri Nets . International Journal of Systems Science , 30 : 591 – 600 .
   Web of Science ®Google Scholar
• Li , ZW and Zhou , MC . 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: Systems and Humans , 34 : 38 – 51 .
   Web of Science ®Google Scholar
• Li , ZW and Zhou , MC . 2006a . Clarifications on the Definitions of Elementary Siphons in Petri Net . IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans , 36 : 1227 – 1229 .
   Web of Science ®Google Scholar
• Li , ZW and Zhou , MC . 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 , ZW and Zhou , MC . 2008a . Control of Elementary and Dependent Siphons in Petri Nets and Their Application . IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans , 38 : 133 – 148 .
   Web of Science ®Google Scholar
• Li , ZW and Zhao , M . 2008b . On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets . IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans , 38 : 369 – 384 .
   Web of Science ®Google Scholar
• Li , ZW , Zhou , MC and Jeng , MD . 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
• Li , ZW and Hu , HS . 2009 . On Systematic Methods to Remove Redundant Monitors from Liveness-enforcing Net Supervisors . Computers and Industrial Engineering , 56 : 53 – 62 .
   Web of Science ®Google Scholar
• Li , ZW , Yan , MM and Zhou , MC . 2010 . Synthesis of Structurally Simple Supervisors Enforcing Generalized Mutual Exclusion Constraints in Petri Nets . IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews , 40 : 330 – 340 .
   Web of Science ®Google Scholar
• Li , ZW , Zhu , S and Zhou , MC . 2009 . A Divide-and-Conquer Strategy to Deadlock Prevention in Flexible Manufacturing Systems . IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews , 39 : 156 – 169 .
   PubMed Web of Science ®Google Scholar
• Lyu , JJ , Ding , JH and Luh , H . 1998 . Petri Nets for Performance Modeling Study of Client-Server Systems . International Journal of Systems Science , 29 : 565 – 571 .
   Web of Science ®Google Scholar
• Mugarza , JC . Camus, H., Gentina, J.C., Teruel, E., and Silva, M. (1998), ‘Reducing the Computational Complexity of Scheduling Problems in Petri Nets by Means of Transformation Rules’, IEEE International Conference on Systems, Man, and Cybernetics, San Diego, CA, 11–14 October, vol. 1, pp. 19–25
   Google Scholar
• Piroddi , L , Cordone , R and Fumagalli , I . 2009 . Combined Siphon and Marking Generation for Deadlock Prevention in Petri Nets . IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans , 39 : 650 – 661 .
   Web of Science ®Google Scholar
• Shih , YY and Chao , DY . 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 and Zhou , MC . 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
• Xiong , PC . Zhou, M.C., and Pu, C. (2009), ‘A Petri Net Siphon based Solution to Protocol-level Service Composition Mismatches’, in Proceedings of the 7th International Conference on Web Services (ICWS 2009), Los Angeles, CA, 6–10 July, pp. 952–958
   Google Scholar
• Xiong , PC , Fan , Y and Zhou , MC . 2010 . A Petri Net Approach to Analysis and Composition of Web Services . IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans , 40 : 376 – 387 .
   Web of Science ®Google Scholar
• Xiong , PC , Pu , C and Zhou , MC . 2010 . Protocol-Level Service Composition Mismatches: A Petri Net Siphon Based Solution . International Journal of Web Services Research , 7 : 1 – 20 .
   Web of Science ®Google Scholar
• Zhang , WJ , Li , Q , Bi , ZM and Zha , XF . 2000 . A Generic Petri Net Model for Flexible Manufacturing Systems and its Use for FMS Control Software Testing . International Journal of Production Research , 38 : 1109 – 1132 .
   Web of Science ®Google Scholar
• Zhao , M and Li , ZW . 2010 . Suboptimal Liveness-enforcing Supervisor Design for a Class of Generalized Petri Nets using Partial Siphon Enumeration and Mathematical Programming . International Journal of Systems Science , 41 : 1013 – 1026 .
   Web of Science ®Google Scholar
• Zhou , MC and Venkatesh , K . 1998 . Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach , Singapore : World Scientific .
   Google Scholar