Journal of Applied Mathematics
Volume 2013 (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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- E. Badouel and P. Darondeau, “Theory of regions,” in Third Advance Course on Petri Nets, Springer, Heidelberg, Germany, 1998. View at Google Scholar
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- PN-Tools, a Petri Net Analysis Tool, Ver 1.0, Pedagogical University of Rzeszów, Rzeszów, Polland, 1987–1996.
- 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
- 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
- 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