Politecnico Di Bari

Advanced Tutorial Xi'an, China June 23, 2008

Deadlock Control Methods and Applications

MengChu Zhou, Maria Pia Fanti, ZhiWu Li, and NaiQi Wu

This workshop aims to present the recent progress in using Petri nets as a framework for deadlock control policies and their applications to flexible manufacturing systems, flexible assembly automation, automatic guided vehicle systems, semiconductor manufacturing systems, and automatic warehouses. Process-oriented, resource-oriented, colored, and timed Petri net models will be presented. Some fundamental concepts including elementary siphons, production circuits, and cycles will be introduced. New deadlock control policies will be presented. Their applications to the systems arising from flexible manufacturing, assembly, transportation, semiconductor manufacturing, and automatic warehousing will be discussed. This workshop should benefit the theoretical researchers in terms of the practical system application problems. It should also benefit industrial practitioners in terms of formal-method based solutions to their industrial problems.

---

Expected audience

The tutorial materials should be interesting to both academic researchers and industrial practitioners. Researchers, engineers, industrial analysts, system designers, and students in the areas of semiconductor manufacturing, flexible manufacturing, assembly, disassembly, transportation, logistics, and automatic control should be very interested in attending this tutorial.

The attendees are expected to have a basic knowledge of Petri nets (places, transitions, firing game), set theory and linear algebra.

---

Speakers

MengChu Zhou received his B.S. degree from Nanjing University of Science and Technology, M.S. from Beijing Institute of Technology, and Ph. D. degree from Rensselaer Polytechnic Institute. He joined New Jersey Institute of Technology in 1990, and is currently a Professor of Electrical and Computer Engineering. His interests are in computer-integrated systems, Petri nets, and manufacturing. He has 300+ publications including 6 books and 120+ journal papers (most in IEEE Transactions). He is Managing Editor of IEEE Transactions on Systems, Man and Cybernetics: Part C, Associate Editor of IEEE Transactions on Automation Science and Engineering and IEEE Transactions on Industrial Informatics, and Editor-in- Chief of International Journal of Intelligent Control and Systems. He served as General and Program Chair of many international conferences. Dr. Zhou was the recipient of CIM University-LEAD Award by Society of Manufacturing Engineers and Humboldt Research Award for US Senior Scientists. He was elected as IEEE Fellow for his contributions to Petri nets and their applications in 2003.

Maria Pia Fanti received the Laurea Magistrale degree in Electronic Engineering from the University of Pisa (Italy), in 1983. She was a visiting researcher at the Rensselaer Polytechnic Institute of Troy, New York, in 1999. Since 1983 she has been with the Department of Electrical and Electronic Engineering of the Polytechnic of Bari (Italy), where she was Assistant Professor from 1990 till 1998 and where she is now an Associate Professor of Systems and Control Engineering. Her research interests include discrete event systems, Petri nets, modeling and control of automated manufacturing systems and computer integrated systems. She has 100+ peers refereed papers including 40 journal articles, 6 book chapters, and many conference proceeding papers. Prof. Fanti is Associate Editor of IEEE Trans. on Systems, Man, and Cybernetics. Part A, IEEE Transactions on Automation Science and Engineering, The Mediterranean Journal of Measurement and Control, International Journal of Automation and Control, Enterprise Information Systems. She is Co-Chair of the Technical committee on Discrete Event Systems for the IEEE SMC Society, Chair of the Central & South Italy Section, SMC Society Chapter, member of the IFAC Technical Committee on Discrete Event and Hybrid Systems.

ZhiWu Li received his B.S., M.S., and Ph.D. degrees all from Xidian University, Xi’an, China, in 1989, 1992, and 1995, respectively. He joined Xidian University in 1992, where he is currently Professor of School of Electro-Mechanical Engineering. He has 100+ publications in Petri nets and automation. He was a Visiting Professor at University of Toronto and a Visiting Scientist at the Laboratory for CAD & Lifecycle Engineering, Israel Institute of Technology. He co-chaired the session on Manufacturing and Automation in the First Asian Symposium on Mechatronics. He was invited to co-organize a Special Session on Petri Nets and Discrete Event Systems in the 33rd Annual Conference of IEEE Industrial Electronics Society. Dr. Li is a member of Discrete Event Systems Technical Committee of IEEE Systems, Man, and Cybernetics Society and a member of Semiconductor Manufacturing Technical Committee of IEEE Robotics and Automation Society. He is presently also Vice-Chairman of Special Interest Committee of Petri Nets of China Computer Federation. He serves as a frequent reviewer for 15 international journals.

Naiqi Wu received the M. S. and Ph. D. Degree in Systems Engineering from Xi’an Jiaotong University, Xi’an, China, in 1985 and 1988, respectively. He was with the Chinese Academy of Sciences, Shenyang Institute of Automation, Shenyang, China, during 1988-1995 and the Shantou University, Shantou, China, during 1995-1998. From 1991 to 1992, he was a Visiting Scholar in the School of Industrial Engineering, Purdue University, West Lafayette, USA. In 1999 and 2004, he was a visiting professor with the Department of Industrial Engineering, Arizona State University, Tempe, USA, and the Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, USA, respectively. He is currently a Professor of Industrial and Systems Engineering and head of the Department of industrial engineering, School of Mechatronics Engineering, Guangdong University of Technology, Guangzhou, China. His research interests include production planning and scheduling, manufacturing system modeling and control, discrete event systems, Petri net theory and applications, and information assurance. He has published papers in International Journals. He is an associate editor of the IEEE Transactions on Systems, Man, & Cybernetics, Part C. He was/is a Program Committee Member of a number of international conferences, and has been a reviewer for many international journals.

---

Contents

I. Synthesis of process-oriented Petri net models

II. Synthesis of resource-oriented Petri net models

III. Elementary siphon-based deadlock control methods

IV. Benchmark studies and comparisons

V. Application to flexible manufacturing systems

VI. Deadlock control methods using Resource-oriented Petri nets

VII. Application to flexible assembly systems

VIII. Application to automatic guided vehicle systems

IX. Application to semiconductor manufacturing systems

X. Synthesis of colored Petri net models

XI. Application to automatic warehouses

09.00-10.30 Parts I-II (Prof Mengchu Zhou)
10.30-11.00 Break
11.00-12.30 Part III-V (Prof ZhiWu Li)
12.30-14.00 Lunch
14.00-15.30 PartVI-IX 3 (Prof Naiqi Wu and Prof. Mengchu Zhou)
15.30-16.00 Break
16.00-17.30 Part X-XI (Prof Maria Fianti)