Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming

References

• Abdallah , IB and ElMaraghy , HA . 1998 . Deadlock Prevention and Avoidance in FMS: A Petri Net Based Approach . 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 . 1997 . 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, FL, , USA
   Google Scholar
• Barkaoui , K and Pradat-Peyre , JF . 1996 . On Liveness and Controlled Siphons in Petri Nets . Proceedings of the 17th International Conference on Application and Theory of Petri Nets, LNCS (Vol. 109) . 1996 . Vol. 1091 , 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 Automation , 11 : 173 – 184 .
   Google Scholar
• Ezpeleta , J , García-Vallés , F and Colom , JM . 1998 . A Class of Well Structured Petri Nets for Flexible Manufacturing Systems . Proceedings of the 19th International Conference on on Application and Theory of Petri Nets, LNCS, . 1998 . Edited by: Desel , J and Silva , M . Vol. 1420 , pp. 64 – 83 . Lisbon, Portugal, Berlin : Springer-Verlag .
   Google Scholar
• Ezpeleta , J and Recalde , L . 2004 . A Deadlock Avoidance Approach for Non-sequential Resource Allocation Systems . IEEE Transactions on Systems, Man, and Cybernetics A , 34 : 93 – 101 .
   Web of Science ®Google Scholar
• García-Vallés , F and Colom , JM . 8–10 September 1999 . “ Implicit Places in Net Systems ” . In in Proceedings of the 8th International Workshop on Petri Nets and Performance Models 8–10 September , 104 – 113 . Zaragoza, , Spain
   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 Automation , 19 : 137 – 141 .
   Google Scholar
• Hruz , B and Zhou , MC . 2007 . Modeling and Control of Discrete Event Dynamic Systems , London, , UK : Springer-Verlag .
   Google Scholar
• Hsien , FS and Chang , SC . 1994 . Dispatching-driven Deadlock Avoidance Controller Synthesis for Flexible Manufacturing Systems . IEEE Transactions on Robotics and Automation , 10 : 196 – 209 .
   Google Scholar
• Hu , H , Zhou , MC and Li , Z . 2009 . Liveness Enforcing Supervision of Video Streaming Systems using Non-sequential Petri Nets . IEEE Transactions on Multimedia , 11 : 1446 – 1456 .
   Web of Science ®Google Scholar
• Huang , YS , Jeng , MD , Xie , XL and Chung , SL . 2001 . Deadlock Prevention Policy Based on Petri Nets and Siphons . International Journal of Production Research , 39 : 283 – 305 .
   Web of Science ®Google Scholar
• Huang , YS , Jeng , MD , Xie , XL and Chung , SL . 2001 . A Deadlock Prevention Policy for Flexible Manufacturing Systems using Siphons . Proceedings of IEEE International Conference on Robotics and Automation . 21–26 May 2001 . 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 Cybernetics A , 29 : 399 – 406 .
   Web of Science ®Google Scholar
• Jeng , MD , Xie , XL and Chung , SL . 2004 . ERCN* Merged Nets for Modeling Degraded Behavior and Parallel Processes in Semiconductor Manufacturing Systems . IEEE Transactions on Systems, Man, and Cybernetics A , 34 : 102 – 112 .
   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
• Li , J , Fan , YS and Zhou , MC . 2004 . Performance Modeling and Analysis of Workflow . IEEE Transactions on Systems, Man, and Cybernetics: Part A , 34 : 229 – 242 .
   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 . 2004 . Elementary Siphons of Petri Nets and their Application to Deadlock Prevention in Flexible Manufacturing Systems . IEEE Transactions on Systems, Man, and Cybernetics A , 34 : 38 – 51 .
   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 : 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 , Zhou , MC and Wu , NQ . 2008 . A Survey and Comparison of Petri Net-based Deadlock Prevention Policies for Flexible Manufacturing Systems . IEEE Transactions on Systems, Man, and Cybernetics: Part C , 38 : 173 – 188 .
   Web of Science ®Google Scholar
• Lindo (2009), 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 . 2003 . 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, . 2003 . Edited by: van der Aalst , WMP and Best , E . Vol. 2679 , pp. 241 – 255 . Berlin, Springer-Verlag .
   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 , García-Vallés , F , Colom , JM and Ezpeleta , J . 21–23 August 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 . 21–23 August , 139 – 148 . Ghent, , Belgium
   Google Scholar
• Tricas , F and Martinez , J . 1995 . An Extension of the Liveness Theory for Concurrent Sequential Processes Competing for Shared Resources . Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics . 22–25 October 1995 . pp. 3035 – 3040 . Vancouver, BC, , Canada
   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 . International Journal of Advanced Manufacturing Technology , 19 : 192 – 208 .
   Web of Science ®Google Scholar
• Uzam , M and Zhou , MC . 2004 . Iterative Synthesis of Petri Net Based Deadlock Prevention Policy for Flexible Manufacturing Systems . Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics . 10–13 October 2004 . pp. 4260 – 4265 . The Netherlands : The Hague .
   Google Scholar
• Uzam , M and Zhou , MC . 2006 . An Improved Iterative Synthesis Method for Liveness Enforcing Supervisors of Flexible Manufacturing Systems . International Journal of Production Research , 44 : 1987 – 2030 .
   Web of Science ®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 Automation , 6 : 713 – 723 .
   Google Scholar
• Wu , N , Zhou , MC and Li , Z . 2008 . Resource-oRiented Petri Net for Deadlock Avoidance in Flexible Assembly Systems . IEEE Transactions on Systems, Man, and Cybernetics: Part A , 38 : 56 – 69 .
   Web of Science ®Google Scholar
• Wysk , RA , Yang , NS and Joshi , S . 1991 . Detection of Deadlocks in Flexible Manufacturing Systems . IEEE Transactions on Robotics 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 and Venkatesh , K . 1998 . Modelling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach , Singapore : World Scientific .
   Google Scholar
• Zouari , B and Barkaoui , K . 2003 . Parameterized Supervisor Synthesis for a Modular Class of Discrete Event Systems . Proceedings of the IEEE International Conference on System Man and Cybernetics . 2003 . pp. 1874 – 1879 . Washington, DC, , USA
   Google Scholar