Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming

References

• Abdallah , IB and ElMaraghy , HA . 1998 . Deadlock Prevention and Avoidance in FMS: A Petri Net Based Approach . The International Journal of Advanced Manufacturing Technology , 14 : 704 – 715 .
   Web of Science ®Google Scholar
• Banaszak , Z and Krogh , BH . 1990 . Deadlock Avoidance in Flexible Manufacturing Systems with Concurrently Competing Process Flows . IEEE Transactions on Robotics and Automation , 6 : 724 – 734 .
   Google Scholar
• Barkaoui , K , Chaoui , A and Zouari , B . Supervisory Control of Discrete Event Systems Based on Structure Theory of Petri Nets . Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics . 1997 . pp. 3750 – 3755 . Orlando, Florida, , USA
   Google Scholar
• Barkaoui , K and Pradat-Peyre , JF . On Liveness Controlled Siphons in Petri Nets . Proceedings of the 17th International Conference on Application and Theory of Petri Nets, LNCS, Vol. 1091 . 1996 . pp. 57 – 72 . Osaka, New York, , Japan : Springer .
   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 Automation , 11 : 173 – 184 .
   Google Scholar
• Ezpeleta , J and Recalde , L . 2004 . A Deadlock Avoidance Approach for Non-sequential Resource Allocation Systems . IEEE Transactions on the Systems, Man and Cybernactics Part A , 34 : 93 – 101 .
   Web of Science ®Google Scholar
• Ghaffari , A , Nidhal , N and Xie , XL . 2003 . Design of a Live and Maximally Permissive Petri Net Controller using the Theory of Regions . IEEE Transactions on Robotics and Automation , 19 : 137 – 141 .
   Google Scholar
• Hsien , FS and Chang , SC . 1994 . Dispatching-driven Deadlock Avoidance Controller Synthesis for Flexible Manufacturing Systems . IEEE Transactions on Robotic and Automation , 10 : 196 – 209 .
   Google Scholar
• Huang , YS , Jeng , MD , Xie , XL and Chung , SL . A Deadlock Prevention Policy for Flexible Manufacturing Systems using Siphons . Proceedings of the IEEE International Conference on Robotics and Automation . 2001 . May 21–26 . pp. 541 – 546 . Seoul, , Korea
   Google Scholar
• Jeng , MD and Xie , XL . 1999 . Analysis of Modularly Composed Nets by Siphons . IEEE Transactions on Systems, Man and Cybernactics Part A , 29 : 399 – 406 .
   Web of Science ®Google Scholar
• Jeng , MD , Xie , XL and Peng , MY . 2002 . Process Nets with Resources for Manufacturing Modeling and Their Analysis . IEEE Transactions on Robotics and Automation , 18 : 875 – 889 .
   Google Scholar
• Kumaran , T , Chang , W and Cho , H . 1994 . A Structured Approach to Deadlock Detection, Avoidance, and Resolution in Flexible Manufacturing Systems . International Journal of Production Research , 32 : 2361 – 2379 .
   Web of Science ®Google Scholar
• Lefebvre , D . 2001 . Estimation of the Firing Frequencies in Discrete and Continuous Petri Nets Models . International Journal of Systems Science , 32 : 1321 – 1332 .
   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 the Systems, Man and Cybernetics Part A , 34 : 38 – 51 .
   Web of Science ®Google Scholar
• Li , ZW , Zhang , J and Zhao , M . 2007 . Liveness-Enforcing Supervisor Design for a Class of Generalized Petri Net Models of Flexible Manufacturing Systems . IET Control Theory and Applications , 1 : 955 – 967 .
   Web of Science ®Google Scholar
• Li , ZW and Zhou , MC . 2006a . Clarifications on the Definitions of Elementary Siphons of Petri Nets . IEEE Transactions on Systems, Man and Cybernetics, Part A , 36 ( 6 ) : 1127 – 1129 .
   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
• Lindo, Premier Optimization Modeling Tools, http://www.lindo.com/
   Google Scholar
• Murata , T . 1989 . Petri Nets: Properties, Analysis, and Applications . Proceedings of the IEEE , 77 : 541 – 580 .
   Web of Science ®Google Scholar
• Park , J and Reveliotis , SA . 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
• Reveliotis , SA . On the Siphon-based Characterization of Liveness in Sequential Resource Allocation Systems . Proceedings of the International Conference on Application and Theory of Petri Nets 2003, LNCS (Vol. 2679), eds. W.M.P. van der Aalst and E. Best . 2003 . pp. 241 – 255 .
   Google Scholar
• Starke , PH . 1992 . INA: Integrated Net Analyzer , Handbuch .
   Google Scholar
• Tricas , F . 2003 . “ Deadlock Analysis, Prevention and Avoidance in Sequential Resource Allocation Systems ” . In Ph.D. thesis, Departamento de Informatica e Ingenieria de Sistemas , Universidad de Zaragoza .
   Google Scholar
• Tricas , F and Martinez , J . An Extension of the Liveness Theory for Concurrent Sequential Processes Competing for Shared Resources . Proceedings of the IEEE International Conference Systems, Man and Cybernetics . 1995 . October 22–25 . pp. 3035 – 3040 . BC, , Canada : Vancouver .
   Google Scholar
• Tricas , F , Vallès , FG , Colom , JM and Ezpeleta , J . August 21–23 2000 . “ An Iterative Method for Deadlock Prevention in FMSs ” . In Proceedings of the 5th Workshop on Discrete Event Systems Edited by: Boel , R and Stremersch , G . August 21–23 , 139 – 148 .
   Google Scholar
• Uzam , M . 2002 . On Optimal Deadlock Prevention Policy for Flexible Manufacturing Systems using Petri Net Models with Resources and the Theory of Regions . The International Journal of Advanced Manufacturing Technology , 19 : 192 – 208 .
   Web of Science ®Google Scholar
• Uzam , M and Zhou , MC . Iterative Synthesis of Petri Net Based Deadlock Prevention Policy for Flexible Manufacturing Systems . Proceeings of the IEEE International Conference Systems, Man and Cybernetics . 2004 . October 10–13 . pp. 4260 – 4265 . The Netherlands : The Hague .
   Google Scholar
• Viswanadham , N , Narahari , Y and Johnson , T . 1990 . Deadlock Prevention and Deadlock Avoidance in Flexible Manufacturing Systems using Petri Net Models . IEEE Transactions on Robotics and Automation , 6 : 713 – 723 .
   Google Scholar
• Wysk , RA , Yang , NS and Joshi , S . 1991 . Detection of Deadlocks in Flexible Manufacturing Systems . IEEE Transactions on Robotics and Automation , 7 : 853 – 859 .
   Google Scholar
• Xing , KY , Hu , BS and Chen , HX . 1996 . Deadlock Avoidance Policy for Petri-Net Modelling of Flexible Manufacturing Systems with Shared Resources . IEEE Transactions on Automatic Control , 42 : 289 – 295 .
   Web of Science ®Google Scholar
• Zhou , MC , DiCesare , F and Desrochers , AA . 1992 . A Hybrid Methodology for Synthesis of Petri Nets for Manufacturing Systems . IEEE Transactions on Robotics and Automation , 42 : 350 – 361 .
   Google Scholar
• Zhou , MC and DiCesare , F . 1993 . Petri Net Synthesis for Discrete Event Control of Manufacturing Systems , Boston : Kluwer Academic Publishers .
   Google Scholar
• Zhou , MC and Venkatesh , K . 1998 . Modelling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach , Singapore : World Scientific .
   Google Scholar