Low-cost and high-performance supervision in ratio-enforced automated manufacturing systems using timed Petri nets

IEEE Transactions on Automation Science and Engineering

Volumn 7, Issue 4, 2010, Pages 933-944

  Hu, Hesuan ^a,b,c   Zhou, Meng Chu ^a,c   Li, Zhiwu ^a  

^a XIDIAN UNIVERSITY   (China)

^b KING SAUD UNIVERSITY   (Saudi Arabia)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Automated manufacturing systems (AMS); discrete event system; Petri nets; ratio control; supervisory control

Indexed keywords

AUGMENTED MARKED GRAPHS; AUTOMATED MANUFACTURING; AUTOMATED MANUFACTURING SYSTEMS; CONTROL PLACE; DISCRETE EVENT SYSTEMS; GENERALIZED MUTUAL EXCLUSION CONSTRAINT; IMPLEMENTATION COST; MIXED-INTEGER PROGRAMMING; RATIO CONTROL; SPECIAL CLASS; SUPERVISORY CONTROL; SYNTHESIS METHODOLOGY; TIMED PETRI NET;

AUTOMATION; GRAPH THEORY; INTEGER PROGRAMMING; MANUFACTURE; PETRI NETS; PRODUCTION ENGINEERING; SUPERVISORY PERSONNEL;

DENSE WAVELENGTH DIVISION MULTIPLEXING;

EID: 77957807582     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2010.2046412     Document Type: Article

References (29)

1. I. B. Abdallah and H. A. El Maraghy, "Deadlock prevention and avoidance in FMS: A Petri net based approach", Int. J. Adv. Manuf. Technol., vol. 14, no. 10, pp. 704-715, Sep. 1998.
2. A. Aybar and A.Iftar, "Deadlock avoidance controller design for timed Petri nets using streching", IEEE Syst. J., vol. 2, no. 2, pp. 178-188, Jun. 2008.
3. K. Barkaoui and J. F. Peyre, "On liveness and controlled siphons in Petri nets", in Lecture Notes in Computer Science. Berlin, Germany: Springer-Verlag, Jun. 1996, vol. 1091, pp. 57-72.
4. F. Basile, P. Chiacchio, and A. Giua, "An optimizaiton approach to Petri net monitor design", IEEE Trans. Autom. Control, vol. 52, no. 2, pp. 306-311, Feb. 2007.
5. F. Basile, P. Chiacchio, and A. Giua, "Petri net monitor design with control and observation costs", in Proc. IEEE Int. Conf. Dec. Control, Sydney, Australia, Dec. 2007, pp. 424-429.
6. F. Chu and X. L. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming", IEEE Trans. Robot. Autom., vol. 13, no. 6, pp. 793-804, Dec. 1997.
7. J. Ezpeleta, J. M. Colom, and J. Martínez, "A Petri net based deadlock prevention policy for flexible manufacturing systems", IEEE Trans. Robot. Autom., vol. 11, no. 2, pp. 173-184, Apr. 1995.
8. B. Hruz and M. C. Zhou, Modeling and Control of Discrete Event Dynamic Systems. New York: Springer, 2007.
9. Y. S. Huang, M. D. Jeng, X. L. Xie, and S. L. Chung, "Deadlock prevention policy based on Petri nets and siphons", Int. J. Prod. Res., vol. 39, no. 2, pp. 283-305, Jan. 2001.
10. H. S. Hu, M. C. Zhou, and Z. W. Li, Ratio and supervisory control for automated manufacturing systems using Petri nets Tech. Rep., Laboratory of Discrete Event Systems, ECE, NJIT, 2009. [Online]. Available: http://web.njit.edu/~zhou/hu-6-12-09.pdf
11. Z. W. Li and M. C. Zhou, "Elementary siphons of Petri net and their application to deadlock prevention for flexible manufacturing systems", IEEE Trans. Syst. Man Cybern., Part A, Syst. Humans, vol. 34, no. 1, pp. 38-51, Jan. 2004.
12. Z. W. Li, M. C. Zhou, and N. Q. Wu, "A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems", IEEE Trans. Syst. Man Cybern., Part C, Appl. Rev., vol. 38, no. 2, pp. 173-188, Mar. 2008.
13. J. Lee and O. Korbaa, "Modeling and scheduling of ratio-driven FMS using unfolding time Petri nets", Comput. Ind. Eng., vol. 46, no. 4, pp. 639-653, Jul. 2004.
14. J. O. Moody and P. J. Antsaklis, "Petri net supervisors for DES with uncontrollable and unobservable transitions", IEEE Trans. Autom. Control, vol. 45, no. 3, pp. 462-476, Mar. 2000.
15. T. Matsumoto and K. Tsuji, "A useful necessary condition and a simple sufficient condition for liveness of general Petri nets", IEICE Trans. Fund. Elec. Comm. Comp. Sci., vol. 74, no. 10, pp. 3124-3132, Oct. 1991.
16. H. Ohl, H. Camus, E. Castelain, and J. C. Gentina, "Petri net modeling of ratio-driven flexible manufacturing systems and implications on the WIP for cyclic schedules", in Proc. IEEE Int. Conf. Syst., Man, Cybern., Vancouver, BC, Canada, Oct. 1995, pp. 3081-3086.
17. J. Park and S. A. Reveliotis, "Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings", IEEE Trans. Autom. Control, vol. 46, no. 10, pp. 1572-1583, Oct. 2001.
18. J. Park and S. A. Reveliotis, "Liveness-enforcing supervision for resource allocation systems with uncontrollable behavior and forbidden states", IEEE Trans. Robot. Autom., vol. 18, no. 2, pp. 234-240, Apr. 2002. (Pubitemid 34659026)
19. S. A. Reveliotis, "A necessary and sufficient condition for the liveness and reversibility of process resource nets with acyclic, quasi-live, serializable, and reversible process subnets", IEEE Trans. Autom. Sci. Eng., vol. 3, no. 4, pp. 462-468, Oct. 2006.
20. F. Tricas, F. García-Vallés, J. M. Colom, and J. Ezpeleta, "A Petri net structure-based deadlock prevention solution for sequential resource allocation systems", in Proc. IEEE Int. Conf. Robot. Autom., Barcelona, Spain, Apr. 2005, pp. 272-278.
21. J. Campos, G. Chiola, and M. Silva, "Ergodicity and throughput bounds of Petri nets with unique consistent firing count vector", IEEE Trans. Software Eng., vol. 17, no. 2, pp. 117-125, Feb. 1991.
22. J. Campos, G. Chiola, and M. Silva, "Properties and performance bounds for closed free choice synchronized monoclass queueing networks", IEEE Trans. Automat. Contr., vol. 36, no. 12, pp. 1368-1382, Dec. 1991.
23. N. Viswanadham, Y. Narahari, and L. Johnson, "Deadlock prevention and avoidance in flexible manufacturing sysems using Petri net models", IEEE Trans. Robot. Autom., vol. 6, no. 6, pp. 713-723, Dec. 1990.
24. N. Q. Wu and M. C. Zhou, System Modeling and Control with Resource-Oriented Petri Nets. New York: CRC Press, 2010.
25. N. Q. Wu and M. C. Zhou, "Deadlock resolution in automated manufacturing systems with robots", IEEE Trans. Autom. Sci. Eng., vol. 4, no. 3, pp. 474-480, Jul. 2007.
26. N. Q. Wu, M. C. Zhou, and Z. W. Li, "Resource-oriented Petri net for deadlock avoidance in flexible assembly systems", IEEE Trans. Syst., Man, Cybern., Part A, vol. 38, no. 1, pp. 56-69, 2008.
27. M. C. Zhou and F. Di Cesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. London, U. K.: Kluwer Academic.
28. Deadlock Resolution in Computer-Integrated Systems, M. C. Zhou and M. P. Fanti, Eds. New York: Marcel Dekker, Jan. 2005.
29. M. C. Zhou and K. Venkatesh, Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.