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

Mixed Integer Programming-Based Liveness Test for FMS with Full Routing Flexibility

1Hangzhou Institution of Service Engineering, Hangzhou Normal University, Hangzhou 310027, China
2Institution of Electronic Circuit & Information Systems, Zhejiang University, Hangzhou 310027, China

Received 31 December 2013; Revised 20 June 2014; Accepted 2 July 2014; Published 7 August 2014

Academic Editor: Javier Oliver

Copyright © 2014 Lida Dong 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. G. Liu, D. Y. Chao, and M. Uzam, “Maximally permissive deadlock prevention via an invariant controlled method,” International Journal of Production Research, vol. 51, no. 15, pp. 4431–4442, 2013. View at Publisher · View at Google Scholar · View at Scopus
  2. J. Ezpeleta, F. García-Vallés, and J. M. Colom, “A class of well structured Petri nets for flexible manufacturing systems,” in Application and Theory of Petri Nets, pp. 64–83, Springer, Berlin, Germany, 1998. View at Google Scholar
  3. M. D. Byrne and P. Chutima, “Real-time operational control of an FMS with full routing flexibility,” International Journal of Production Economics, vol. 51, no. 1-2, pp. 109–113, 1997. View at Publisher · View at Google Scholar · View at Scopus
  4. 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 · View at Scopus
  5. F. Chu and X.-L. Xie, “Deadlock analysis of Petri nets using siphons and mathematical programming,” IEEE Transactions on Robotics and Automation, vol. 13, no. 6, pp. 793–804, 1997. View at Publisher · View at Google Scholar · View at Scopus
  6. F. Tricas, F. Garcia-Valles, J. M. Colom, and J. Ezpeleta, “A structural approach to the problem of deadlock prevention in process with resources,” in Proceedings of the 4th International Workshop on Discrete Event Systems (WODES '98), pp. 273–278, Cagliari, Italy, August 1998.
  7. J. Ezpeleta, J. M. Colom, and J. Martinez, “A petri net based deadlock prevention policy for flexible manufacturing systems,” IEEE Transactions on Robotics and Automation, vol. 11, no. 2, pp. 173–184, 1995. View at Publisher · View at Google Scholar · View at Scopus
  8. J. Ezpeleta, F. García-Vallés, and M. Colom J, “A class of well structured Petri nets for flexible manufacturing systems,” in Application and Theory of Petri Nets, pp. 64–83, Springer, Berlin, Germany, 1998. View at Google Scholar
  9. Z. Li and M. Shpitalni, “Smart deadlock prevention policy for flexible manufacturing systems using Petri nets,” IET Control Theory and Applications, vol. 3, no. 3, pp. 362–374, 2009. View at Publisher · View at Google Scholar · View at Scopus
  10. Y. Huang, M. Jeng, X. Xie, and S. 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
  11. A. Giua and C. Seatzu, “Liveness enforcing supervisors for railway networks using ES2 PR Petri nets,” in Proceedings of the 6th IEEE International Workshop on Discrete Event Systems, pp. 55–60, 2002.
  12. J. Park and S. A. Reveliotis, “Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings,” IEEE Transactions on Automatic Control, vol. 46, no. 10, pp. 1572–1583, 2001. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  13. Y.-Y. Shih, D. Y. Chao, and C.-Y. Chiu, “A new MIP test for S3 PGR2,” in Global Perspective for Competitive Enterprise, Economy and Ecology, Advanced Concurrent Engineering, pp. 41–52, Springer, London, UK, 2009. View at Publisher · View at Google Scholar
  14. G. Liu and Z. Li, “General mixed integer programming-based liveness test for system of sequential systems with shared resources nets,” IET Control Theory & Applications, vol. 4, no. 12, pp. 2867–2878, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  15. J. Ezpeleta, F. Tricas, F. García-Vallés, and J. M. Colom, “A banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states,” IEEE Transactions on Robotics and Automation, vol. 18, no. 4, pp. 621–625, 2002. View at Publisher · View at Google Scholar · View at Scopus
  16. Z. Zhang and W. Wu, “Sequence control of essential siphons for deadlock prevention in petri nets,” Transactions on Embedded Computing Systems, vol. 12, article 8, no. 1, 2013. View at Publisher · View at Google Scholar · View at Scopus
  17. Y. Wang, H. Liao, S. Reveliotis, T. Kelly, S. Mahlke, and S. Lafortune, “Gadara nets: modeling and analyzing lock allocation for deadlock avoidance in multithreaded software,” in Proceedings of the 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference (CDC/CCC '09), pp. 4971–4976, Shanghai, China, December 2009. View at Publisher · View at Google Scholar · View at Scopus
  18. H. Liao, Y. Wang, H. K. Cho et al., “Concurrency bugs in multithreaded software: modeling and analysis using Petri nets,” Discrete Event Dynamic Systems: Theory and Applications, vol. 23, no. 2, pp. 157–195, 2013. View at Publisher · View at Google Scholar · View at Scopus
  19. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach, Springer, London, UK, 2009.
  20. D. Y. Chao, “Max'-controlled siphons for liveness of S3PGR2,” IET Control Theory and Applications, vol. 1, no. 4, pp. 933–936, 2007. View at Publisher · View at Google Scholar · View at Scopus
  21. C. Zhong and Z. Li, “Self-liveness of a class of Petri net models for flexible manufacturing systems,” IET Control Theory & Applications, vol. 4, no. 3, pp. 403–410, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  22. F. Basile, P. Chiacchio, A. Giua, and C. Seatzu, “Deadlock recovery of Petri net models controlled using observers,” in Proceedings of the 8th International Conference on Emerging Technologies and Factory Automation (ETFA '01), vol. 2, pp. 441–449, Antibes-Juan les Pins, France, October 2001. View at Scopus
  23. LINGO, “Premier optimization modeling tools,” http://www.lingo.com/.