Table of Contents Author Guidelines Submit a Manuscript
Journal of Applied Mathematics
Volume 2013, Article ID 294835, 11 pages
http://dx.doi.org/10.1155/2013/294835
Research Article

Computationally Improved Optimal Control Methodology for Linear Programming Problems of Flexible Manufacturing Systems

1Department of Avionic Engineering, Air Force Academy, Taiwan
2Department of Electronic Engineering, National Ilan University, Taiwan
3Department of Electronic Engineering, Army Academy, Taiwan
4State Key Laboratory of Industrial Control Technology and Institute of Cyber-Systems and Control, Zhejiang University, Hangzhou 310027, China
5Department of Electronic Engineering, National Taiwan Ocean University, Taiwan

Received 20 January 2013; Accepted 27 May 2013

Academic Editor: J. Liang

Copyright © 2013 Yen-Liang Pan et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. Y. S. Huang, M. Jeng, X. L. Xie, and S. L. Chung, “Deadlock prevention policy based on Petri nets and siphons,” International Journal of Production Research, vol. 39, no. 2, pp. 283–305, 2001. View at Publisher · View at Google Scholar · View at Scopus
  2. Z. Li and M. Zhou, “Clarifications on the definitions of elementary siphons in Petri nets,” IEEE Transactions on Systems, Man, and Cybernetics Part A, vol. 36, no. 6, pp. 1227–1229, 2006. View at Publisher · View at Google Scholar · View at Scopus
  3. Y. S. Huang, M. Jeng, X. L. Xie, and D. H. Chung, “Siphon-based deadlock prevention policy for flexible manufacturing systems,” IEEE Transactions on Systems, Man, and Cybernetics Part A, vol. 36, no. 6, pp. 1248–1256, 2006. View at Publisher · View at Google Scholar · View at Scopus
  4. Y. S. Huang, “Deadlock prevention for sequence resource allocation systems,” Journal of Information Science and Engineering, vol. 23, no. 1, pp. 215–231, 2007. View at Google Scholar · View at MathSciNet · View at Scopus
  5. Y. S. Huang, “Design of deadlock prevention supervisors using Petri nets,” International Journal of Advanced Manufacturing Technology, vol. 35, no. 3-4, pp. 349–362, 2007. View at Publisher · View at Google Scholar · View at Scopus
  6. Z. W. Li, H. S. Hu, and A. R. Wang, “Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets,” IEEE Transactions on Systems, Man and Cybernetics Part C, vol. 37, no. 4, pp. 517–526, 2007. View at Publisher · View at Google Scholar · View at Scopus
  7. K. Lautenbach and H. Ridder, “The linear algebra of deadlock avoidance—a Petri net approach,” Research Report, Institute for Computer Science, University of Koblenz, Koblenz, Germany, 1996. View at Google Scholar
  8. M. V. Iordache, J. O. Moody, and P. J. Antsaklis, “A method for the synthesis of liveness enforcing supervisors in Petri nets,” in Proceedings of the American Control Conference, pp. 4943–4948, June 2001. View at Scopus
  9. J. Park and S. A. Reveliotis, “Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems,” IEEE Transactions on Robotics and Automation, vol. 16, no. 2, pp. 190–195, 2000. View at Publisher · View at Google Scholar · View at Scopus
  10. Z. W. Li and M. C. Zhou, “Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems,” IEEE Transactions on Systems, Man and Cybernetics, Part A, vol. 34, no. 1, pp. 38–51, 2004. View at Google Scholar
  11. M. Uzam and M. Zhou, “An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems,” IEEE Transactions on Systems, Man, and Cybernetics Part A, vol. 37, no. 3, pp. 362–371, 2007. View at Publisher · View at Google Scholar · View at Scopus
  12. Y. S. Huang and Y. L. Pan, “Enhancement of an efficient liveness-enforcing supervisor for flexible manufacture systems,” International Journal of Advanced Manufacturing Technology, vol. 48, no. 5–8, pp. 725–737, 2010. View at Publisher · View at Google Scholar · View at Scopus
  13. Y. S. Huang and Y. L. Pan, “An improved maximally permissive deadlock prevention policy based on the theory of regions and reduction approach,” IET Control Theory and Applications, vol. 5, no. 9, pp. 1069–1078, 2011. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  14. Y. S. Huang, Y. L. Pan, and M. Zhou, “Computationally improved optimal deadlock control policy for flexible manufacturing systems,” IEEE Transactions on Systems, Man, and Cybernetics Part A, vol. 42, no. 2, pp. 404–415, 2012. View at Publisher · View at Google Scholar · View at Scopus
  15. H. Cho, T. K. Kumaran, and R. A. Wysk, “Graph-theoretic deadlock detection and resolution for flexible manufacturing systems,” IEEE Transactions on Robotics and Automation, vol. 11, no. 3, pp. 413–421, 1995. View at Publisher · View at Google Scholar · View at Scopus
  16. M. Uzam, “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, vol. 19, no. 3, pp. 192–208, 2002. View at Google Scholar · View at Scopus
  17. M. Uzam, “Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions,” International Journal of Advanced Manufacturing Technology, vol. 24, no. 1-2, pp. 48–69, 2004. View at Google Scholar · View at Scopus
  18. M. Uzam, “The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems,” International Journal of Advanced Manufacturing Technology, vol. 23, no. 3-4, pp. 204–219, 2004. View at Google Scholar · View at Scopus
  19. Z. Li, A. Wang, and H. Lin, “A deadlock prevention approach for FMS using siphons and the theory of regions,” in Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (SMC '04), pp. 5079–5084, October 2004. View at Publisher · View at Google Scholar · View at Scopus
  20. A. Ghaffari, N. Rezg, and X. Xie, “Design of a live and maximally permissive Petri net controller using the theory of regions,” IEEE Transactions on Robotics and Automation, vol. 19, no. 1, pp. 137–142, 2003. View at Publisher · View at Google Scholar · View at Scopus
  21. A. Ghaffari, N. Rezg, and X. Xie, “Feedback control logic for forbidden-state problems of marked graphs: application to a real manufacturing system,” IEEE Transactions on Automatic Control, vol. 48, no. 1, pp. 18–29, 2003. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  22. Y. S. Huang, Y. L. Pan, and P. J. Su, “Transition-based deadlock detection and recovery policy for FMSs using graph technique,” ACM Transactions on Embedded Computing Systems, vol. 1211, no. 1, pp. 11–13, 2013. View at Google Scholar
  23. E. Badouel and P. Darondeau, “Theory of regions,” in Third Advance Course on Petri Nets, Springer, Heidelberg, Germany, 1998. View at Google Scholar
  24. G. T. Murata, “Petri nets: properties, analysis and applications,” Proceedings of the IEEE, vol. 77, no. 4, pp. 541–580, 1989. View at Publisher · View at Google Scholar
  25. Z. Li, M. Zhou, and M. Jeng, “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, vol. 5, no. 1, pp. 182–188, 2008. View at Publisher · View at Google Scholar · View at Scopus
  26. N. Wei and Z. Li, “On the suboptimal liveness-enforcing supervisors based on Petri net structural analysis and the theory of regions,” International Journal of Advanced Manufacturing Technology, vol. 38, no. 1-2, pp. 195–204, 2008. View at Publisher · View at Google Scholar · View at Scopus
  27. Z. Li, M. Zhou, and N. Wu, “A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems,” IEEE Transactions on Systems, Man and Cybernetics Part C, vol. 38, no. 2, pp. 173–188, 2008. View at Publisher · View at Google Scholar · View at Scopus
  28. L. Piroddi, R. Cordone, and I. Fumagalli, “Selective siphon control for deadlock prevention in Petri nets,” IEEE Transactions on Systems, Man, and Cybernetics Part A, vol. 38, no. 6, pp. 1337–1348, 2008. View at Publisher · View at Google Scholar · View at Scopus
  29. L. Piroddi, R. Cordone, and I. Fumagalli, “Combined siphon and marking generation for deadlock prevention in Petri nets,” IEEE Transactions on Systems, Man, and Cybernetics Part A, vol. 39, no. 3, pp. 650–661, 2009. View at Publisher · View at Google Scholar · View at Scopus
  30. Y. L. Pan, “A computationally improved optimal solution for deadlocked problem of flexible manufacturing systems using theory of regions,” in Petri Nets—Manufacturing and Computer Science, chapter 3, pp. 51–74, InTech, 2012. View at Google Scholar
  31. P. J. Ramadge and W. M. Wonham, “Control of discrete event systems,” Proceedings of the IEEE, vol. 77, no. 1, pp. 81–98, 1989. View at Publisher · View at Google Scholar · View at Scopus
  32. I. B. Abdallah and H. A. ElMaraghy, “Deadlock prevention and avoidance in FMS: a Petri net based approach,” International Journal of Advanced Manufacturing Technology, vol. 14, no. 10, pp. 704–715, 1998. View at Google Scholar · View at Scopus
  33. Y. L. Pan, Y. S. Huang, M. D. Jeng, and S. L. Chung, “Enhancement of an efficient control policy for FMSs using the theory of regions and selective siphon method,” The International Journal of Advanced Manufacturing Technology, vol. 66, pp. 1805–1815, 2013. View at Publisher · View at Google Scholar
  34. PN-Tools, a Petri Net Analysis Tool, Ver 1.0, Pedagogical University of Rzeszów, Rzeszów, Polland, 1987–1996.
  35. H. Hu, M. Zhou, and Z. Li, “Supervisor design to enforce production ratio and absence of deadlock in automated manufacturing systems,” IEEE Transactions on Systems, Man, and Cybernetics Part A, vol. 41, no. 2, pp. 201–212, 2011. View at Publisher · View at Google Scholar · View at Scopus
  36. H. Hu, M. Zhou, and Z. Li, “Liveness and ratio-enforcing supervision of automated manufacturing systems using Petri nets,” IEEE Transactions on Systems, Man, and Cybernetics Part A, vol. 42, no. 2, pp. 392–403, 2012. View at Publisher · View at Google Scholar · View at Scopus
  37. H. Hu, M. Zhou, and Z. Li, “Supervisor optimization for deadlock resolution in automated manufacturing systems with Petri nets,” IEEE Transactions on Automation Science and Engineering, vol. 8, no. 4, pp. 794–804, 2011. View at Publisher · View at Google Scholar · View at Scopus