Systems Control and Automation Group

School of Electro-Mechancial Engineering

Xidian University

http://sca.xidian.edu.cn

CV

Zhiwu Li

Dr. and ProfessorFellow, IEEEHumboldtian (AvH Foundation)Systems Control & Automation GroupDepartment of AutomationSchool of Electro-Mechanical EngineeringXidian University

No.2 South TaiBai RoadXi’an 710071, ChinaTel: 86-29-8820-1986Fax: 86-29-8820-2456

Email: zhwli@xidian.edu.cn; systemscontrol@gmail.com

ZhiWu Li received the B.S., M.S., and Ph.D. degrees in mechanical engineering, automaticcontrol, and manufacturing engineering, respectively, from Xidian University, Xi’an, China, in1989, 1992, and 1995, respectively. He joined Xidian University in 1992, where he is currently aProfessor in the Department of Automation, School of Electro-Mechanical Engineering and headsthe System Control & Automation Group. From June 2002 to July 2003, he was a Visiting Profes-sor at the Systems Control Group, Department of Electrical and Computer Engineering, Universityof Toronto, Toronto, ON, Canada. From February 2007 to February 2008, he was a Visiting Sci-entist at the Laboratory for Computer-Aided Design (CAD) & Lifecycle Engineering, Departmentof Mechanical Engineering, Technion-Israel Institute of Technology, Technion City, Haifa, Israel.From November 2008 to October 2009, he was a Visiting Professor in Automation TechnologyLaboratory, Institute of Computer Science, Martin-Luther University of Halle-Wittenburg, Halle(Saale), Germany. From January 2010 to February 2010 and from July 2012 to October 2012,he was a visiting Professor at Conservatoire National des Arts et Metiers (Cnam), Paris, France,supported by the programs Research in Paris and Cai YuanPei, respectively.

He is the author or coauthor of over 200 publications including two book chapters in Deadlock

Resolution in Computer-Integrated Systems (Marcel Dekker, 2005) and in Reconfigurable Embedded

1

Control Systems: Applications for Flexibility and Agility (IGI Global Press, 2011), respectively. Heis a coauthor with MengChu Zhou, Deadlock Resolution in Automated Manufacturing Systems: A

Novel Petri Net Approach (Springer, 2009) and Modeling, Analysis and Deadlock Control in Auto-

mated Manufacturing Systems (Beijing: Science Press, 2009, in Chinese), and with YuFeng ChenOptimal Supervisory Control of Automated Manufacturing Systems(CRC Press, Taylor & FrancisGroup, 2013). His current research interests include Petri net theory and applications, supervisorycontrol of discrete event systems, workflow modeling and analysis, and systems integration.

He is the General Co-Chair of the IEEE International Conference on Automation Science andEngineering, August 23-26, Washington, DC, 2008, the Co-chair of the Workshop on Petri Nets andAgile Manufacturing, a satellite event of the International Conference on Applications and Theoryof Petri Nets, June 21-24, 2008, a financial Co-Chair of the IEEE International Conference onNetworking, Sensing, and Control, March 26-29, 2009, a member of International Advisory Com-mittee, 10th International Conference on Automation Technology, June 27-29, 2009, a Co-Chair ofthe program committee of the IEEE International Conference on Mechatronics and Automation,August 24-27, 2010, a Co-Chair of the 3rd International Workshop on Process-Aware Logistics Sys-tems (PALS’13), August 2013, Beijing China, and members of the program committees of manyinternational conferences and workshops.

He serves an Associate Editor of the IEEE Transactions on Automation Science and Engi-

neering (2008–2013), IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems

and Human Beings (2011–2012), IEEE Transactions on Systems, Man, and Cybernetics: Systems

(2013–2014), International Journal of Embedded Control Systems, IST Transactions of Robotics,

Automation & Mechatronics - Theory & Applications, and IST Transactions of Control Engineer-

ing - Theory and Applications. He is a Guest Editor of Special Issue on “Petri Nets for SystemControl Automation” in Asian Journal of Control, Special Issue on “Petri Nets and Agile Manufac-turing” in Transactions of the Institute of Measurement and Control, and Special Issue on “FormalMethods for Modelling and Verification of Discrete Event Systems,” in ACM Transactions on

Embedded Computing Systems.

He is a member of Discrete Event Systems Technical Committee of the IEEE Systems, Man,and Cybernetics Society and a member of IFAC Technical Committee on Discrete Event and HybridSystems (2011–2014). He serves as a frequent reviewer for 30+ international journals includingAutomatica and a number of IEEE Transactions as well as many international conferences. He islisted in Marquis Who’s Who in the World, 27th Edition, 2010. Dr. Li is a recipient of Alexandervon Humboldt Research Grant, Alexander von Humboldt Foundation, Germany, and of researchfellowship of Research in Paris. He is the Founding Chair of Xi’an Chapter, IEEE Systems,Man, and Cybernetics Society. He was selected in 2013, 2014, and 2015 Thomson Reuters HighlyCited Researchers in the category of Engineering and 2014 and 2015 Elsevier Most Cited ChineseResearchers in the category of Systems and Control Engineering. He is a Fellow of IEEE.

Research Interests

• Supervisory Control of Discrete Event Systems

• Petri Net Theory and Applications

• Flexible Manufacturing Systems and Flexible Automation

• System Integration

• Biology System Modeling and Analysis

2

Education

1992-1995 Xidian University Xi’an, ChinaPh.D., Manufacturing EngineeringDissertation Title:Automated Synthesis of Petri Net Modelsfor Automated Manufacturing Systems

1989-1992 Xidian University, Xi’an, ChinaM.S., Automatic ControlMasters Project:Analysis of Control Performance of Robotswith Variable Structure Factors

1985-1989 Xidian University Xi’an, ChinaUndergraduate studies in Mechanical Engineering

Research Experience

2012.7-2012.10 Conservatoire National des Arts et Metiers Paris, FranceVisiting ProfessorDepartement STIC - Specialite InformatiqueCedricSupported by Cai YuanPei Program

2010.1-2010.2 Conservatoire National des Arts et Metiers Paris, FranceVisiting ProfessorDepartement STIC - Specialite InformatiqueCedricSupported by Research in Paris Program

2008.11-2010.10 Martin-Luther University of Halle-Wittenberg, Halle, GermanyAlexander von Humboldt ScholarAutomation Technology GroupInstitute of Computer ScienceSupported by Alexander von Humboldt Foundation

2007.2-2008.2 Israel Institute of Technology (Technion), Haifa, IsraelVisiting ProfessorLab of CAD & Lifecycle EngineeringDepartment of Mechanical EngineeringSupported by Technion-Xidian Academic Exchange Program

2002.6-2003.7 University of Toronto, Toronto, CanadaVisiting ProfessorSystems Control GroupDepartment of Electrical & Computer EngineeringSupported by China Scholarship Council

2002.6-Present Xidian University, Xi’an, ChinaProfessor

3

School of Electro-Mechanical Engineering

1997.6-2002.6 Xidian University, Xi’an, ChinaAssociate ProfessorSchool of Electro-Mechanical Engineering

1994.12-1997.6 Xidian University, Xi’an, ChinaLecturerSchool of Electro-Mechanical Engineering

1992.6-1994.12 Xidian University, Xi’an, ChinaAssistant ProfessorSchool of Electro-Mechanical Engineering.

Teaching Experience

2002-present Xidian University Xi’an, ChinaProfessor- Modeling and Control of Flexible Manufacturing Systems- Petri Net Theory and Applications- Introduction to Discrete Event systems- The Principle of Automatic Control- Modern Control Theory- Theory of Linear Systems

2002-2003 University of Toronto, Toronto, CanadaVisiting ProfessorSystems Control GroupDepartment of Electrical & Computer EngineeringPresented in a Seminar- Petri Nets in Deadlock Control of Automated Manufacturing Systems

1997-2002 Xidian University Xi’an, ChinaAssociate Professor- Modeling and Control of Flexible Manufacturing Systems- Petri Net Theory and Application- Discrete Event systems

1994-1997 Xidian University Xi’an, ChinaLecturer- Modeling and Control of Flexible Manufacturing Systems- Automatic Control- Computer Aided Design and Manufacturing Systems- Numerical Controlled Machine Tools- Programmable Logical Controller

1992-1994 Xidian University Xi’an, ChinaAssistant Professor- Automatic Control- Computer Aided Design and Manufacturing Systems- C Language- Numerical Controlled Machine Tools- Programmable Logical Controller

4

Publications

Monographs

1. Y. F. Chen and Z. W. Li, Optimal Supervisory Control of Automated Manufacturing Systems,CRC Press, Taylor & Francis Group, January 2013.

2. Z. W. Li and M. C. Zhou. Deadlock Resolution in Automated Manufacturing Systems: A

Novel Petri Net Approach. London: Springer, March 2009.

3. Z. W. Li and M. C. Zhou. Modeling, Analysis, and Control of Automated Manufacturing

Systems. Beijing: Science Press, April 2009 (in Chinese).

Edited Volumes

1. Z. W. Li and A. M. Al-Ahmari (Eds.), Formal Methods in Manufacturing Systems: Recent

Advances, IGI Global, Hershey, USA, April 2013.

Book Chapters

1. Z. W. Li and M. C. Zhou. Elementary Siphons of Petri Nets and Effective Deadlock Controlin Flexible Manufacturing Systems. In Deadlock Control in Computer-Integrated Systems,M. C. Zhou and M. P. Fanti, Eds., pp. 309-348, New York: Marcel-Dekker, 2005 (Chapter10).

2. C. F. Zhong and Z. W. Li. Petri Net Based Deadlock Prevention Approach for Flexible Manu-facturing Systems. In Reconfigurable Embedded Control Systems: Applications for Flexibility

and Agility, Mohamed Khalgui and Hans-Michael Hanisch, Eds., IGI Global Press, pp.416–433, 2011.

Patents

1. LI, Zhiwu; ABIDI, Mohamed Ghaieth; BEN SMIDA, Moncef; KHALGUI, Mohamed andWU, Naiqi, Mmulti-agent Oriented Method for Forecasting-based Control with Load Priorityof Microgrid in Island Mode, Australian Patent 2016100265, 2016.

2. BAI Liping, N Wu, Z Li, MC Zhou, Optimal buffer space configuration and scheduling forsingle-arm multi-cluster tools, US Patent 9,227,318, 2016.

3. L. P. Bai, N. Q. Wu, Z. W. Li, and M. C. Zhou, Optimal buffer space configuration andscheduling for single-arm multi-cluster tools, Australia Patent, 2015100136, 2015.

4. LI, Zhiwu, FENG, Lei, ZHANG, Huimin and WU, Naiqi, A method for implementing a newreactive system and a new reactive system, Australian Patent 2015101642, 2015.

Journal Articles

2016

1. Murat Uzama, Zhiwu Li and Umar Suleiman Abubakara, Think globally act locally approachfor the synthesis of a liveness-enforcing supervisor of FMSs based on Petri nets, InternationalJournal of Production Research, Vol. 54, No. 15, 4634–4657, 2016

2. Huorong Ren, An Ren, and Zhiwu Li, A new strategy for the suppression of cross-terms inpseudo Wigner-Ville distribution, Signal, Image and Video Processing, Volume 10, Issue 1,pp. 139–144, January 2016.

5

3. X. Wang, Z. Li, W. M. Wonham, Dynamic Multiple-Period Reconfiguration of Real-TimeScheduling Based on Timed DES Supervisory Control, IEEE Transactions on IndustrialInformatics, vol. 12, no. 1, pp. 101–111, 2016.

4. Dan Wang, Witold Pedrycz, Zhiwu Li, Design of granular interval-valued information gran-ules with the use of the principle of justifiable granularity and their applications to systemmodeling of higher type, Soft Computing, vol. 20, no. 6, pp. 2119–2134, 2016.

5. Chen, XL, Li, ZW, Wu, NQ, Al-Ahmari, A, El-Tamimi, AM, Nasr, EA, Confusion diagnosisand avoidance of discrete event systems using supervisory control, IEEJ TRANSACTIONSON ELECTRICAL AND ELECTRONIC ENGINEERING, Volume: 11, Issue: 1, Pages:49–62, DOI: 10.1002/tee.22188, Jan 2016.

6. Chen, YF, Li, ZW, Barkaoui, K, Uzam, M, Monitor design with multiple self-loops formaximally permissive supervisors, ISA TRANSACTIONS, Volume: 61 Pages: 129-140, DOI:10.1016/j.isatra.2015.12.016, Mar 2016.

7. Naiqi Wu, MengChu Zhou, Liping Bai, and ZhiWu Li, Short-term scheduling of crude oiloperations in refinery with high-fusion-point oil and two transportation pipelines, EnterpriseInformation Systems, Vol. 10, No. 6, pp. 581–610, 2016.

8. Chunfu Zhong, Witold Pedrycz, Zhiwu Li, Dan Wang, and Lina Li, Fuzzy Associative Mem-ories: A Design Thorough Fuzzy Clustering, Neurocomputing, Volume 173, pp. 1154–1162,2016.

2015

1. Zhiwu Li, Murat Uzam, GuanJun Liu, Georg Frey, and Ying Tang, Editorial of the SpecialIssue on “Mathematical Problems in Petri Nets Theory and Applications”, MathematicalProblems in Engineering, Volume 2015, Article ID 240385, 2015.

2. Meng Qin, Zhiwu Li, Mengchu Zhou, Mohamed Khalgui, and Olfa Mosbahi, Correctionsto “Deadlock Prevention for a Class of Petri Nets With Uncontrollable and UnobservableTransitions”, IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 45, no.10, pp. 1385–1386, Oct 2015.

3. Jinwei Guo, Mengchu Zhou, Zhiwu Li, Huiguang Xie, Green design assessment of electrome-chanical products based on group weighted-AHP, ENTERPRISE INFORMATION SYS-TEMS, vol. 9, no. 8, pp. 878–899, DOI: 10.1080/17517575.2013.879214, 2015.

4. Jiafeng Zhang, Mohamed Khalgui, Wassim Mohamed Boussahel, Georg Frey, ChiTin Hon,Naiqi Wu, and Zhiwu Li, Modeling and Verification of Reconfigurable and Energy-EfficientManufacturing Systems, Discrete Dynamics in Nature and Society, Volume 2015 (2015),Article ID 813476, 14 pages, http://dx.doi.org/10.1155/2015/813476, 2015.

5. N.Q. Wu, M.C. Zhou and Z.W. Li, Short-Term Scheduling of Crude-Oil Operations: PetriNet-Based Control-Theoretic Approach, IEEE Robotics and Automation Magazine, vol. 22,no. 2, pp. 64–76, 2015.

6. Z. Y. Ma, Z. W. Li, A. Giua, “Design of Optimal Petri Net Controllers for DisjunctiveGeneralized Mutual Exclusion Constraints, IEEE Transactions on Automatic Control, vol.60, no. 7, 1774–1785, 2015.

7. J. Ye, Z. Li, and A. Giua, “Decentralized Supervision of Petri Nets with a Coordinator”,IEEE Transactions on Systems, Man and Cybernetics: Systems, vol.45, no.6, pp. 955–966,2015.

6

8. Wei Chen, Te Wu, Zhiwu Li, and Long Wang, Coevolution of aspirations and cooperation inspatial prisoner’s dilemma game, Journal of Statistical Mechanics: Theory and Experiment,Volume 2015, Article: P01032, doi:10.1088/1742-5468/2015/01/P01032, January 2015.

9. Meng Qin, Zhiwu Li, and Abdulrahman M. Al-Ahmari, Elementary-siphon-based controlpolicy for flexible manufacturing systems with partial Observability and Controllability ofTransitions, Asian Journal of Control, vol. 17, no. 1, pp. 327–342, JAN 2015.

10. Wei Chen, Te Wu, Zhiwu Li, Naiqi Wu, Long Wang, Heterogenous allocation of chips pro-motes fairness in the Ultimatum Game, EPL(Europhysics Letters), vol. 109, no. 6, Article:68006, DOI: 10.1209/0295-5075/109/68006, March 2015

11. Chen, YuFeng; Li, ZhiWu; Barkaoui, Kamel; Giua, Alessandro, On the enforcement of a classof nonlinear constraints on Petri nets, Automatica, vol. 55, pp. 116–124, May 2015.

12. Z. Y. Ma, Z. W. Li, and A. Giua, “Comments on ‘Maximally permissive supervisor synthesisbased on a new constraint transformation method [Volume 48, Issue 6, June 2012, Pages1097–1101]’ ”, Automatica, vol. 51, no. 1, pp. 131–134, 2015.

13. J. F. Zhang, M. Khalgui, Z. W. Li, G. Frey, O. Mosbahi, and H. B. Salah, ReconfigurableCoordination of Distributed Discrete Event Control Systems, IEEE Transactions on Control

Systems Technology, vol.23, no.1, pp. 323-330, 2015.

14. X. Wang, I. Khemaissia, M. Khalgui, Z. W. Li, O. Mosbahi, and M. C. Zhou, “DynamicLow-Power Reconfiguration of Real-Time Systems with Periodic and Probabilistic Tasks,”IEEE Transactions on Automation Science and Engineering, vol. 12, no.1, pp. 258-271,2015.

2014

1. Ding, Liu, Zhiwu Li, and Mengchu Zhou, Authors’ Reply to ‘Comments on “Liveness of anextended S3PR” [Automatica 46(6) (2010) 1008V1018]’, Automatica, vol. 50, no. 8, pp.2201, 2014, DOI: 10.1016/j.automatica.2014.05.037.

2. M. Uzam and Z. Li, On an iterative deadlock prevention approach for automated manufactur-ing systems, International Journal of Advanced Manufacturing Technology, vol.74, nos.1–4,pp. 503–507, 2014.

3. Hou, YF, Li, ZW, Al-Ahmari, AM, El-Tamimi, AAM, Nasr, EA, “Extended ElementarySiphons and Their Application to Liveness-Enforcement of Generalized Petri Nets,” Asian

Journal of Control, vol.16, no.6, pp. 1789–1810, 2014.

4. Y. F. Chen, Z. W. Li, and K. Barkaoui, “New Petri Net Structure and Its Application toOptimal Supervisory Control: Interval Inhibitor Arcs,” IEEE Transactions on Systems, Man,

and Cybernetics: Systems, vol. 44, no. 10, pp. 1384–1400, 2014.

5. Y. F. Chen, Z. Li, and A. Al-Ahmari, Corrections to “Nonpure Petri Net Supervisors forOptimal Deadlock Control of Flexible Manufacturing Systems (IEEE Trans. Syst., Man,Cybern., Syst., vol. 43, no. 2, pp. 252–265, Mar. 2013.),” IEEE Transactions on Systems,

Man, and Cybernetics-Systems, vol. 44, no. 6, pp. 804–804, JUN 2014.

6. Q. Wang, Z. W. Li, A. R. Wang, A. M. Al-Ahmari, A. M. El-Tamimi, and E. A. Nasr, “A Ver-satile Supervisor with one Monitor Based on Macro-tokens,” IMA Journal of Mathematical

Control and Information, vol. 31, no. 2, pp. 245–256, 2014.

7. Y. F. Chen, Z. W. Li, and M. C. Zhou, “Optimal Supervisory Control of Flexible Man-ufacturing Systems by Petri Nets: a Set Classification Approach,” IEEE Transactions on

Automation Science and Engineering, vol. 11, no. 2, pp. 549–563, April 2014.

7

8. Y. F. Hou and Z. W. Li, “Extraction of Elementary Siphons in a Class of Generalized PetriNets Using Graph Theory,” Engineering Computations, vol. 31, no. 2, pp. 331-352, 2014.

9. Y. F. Hou, Z. W. Li, M. Zhao, and D. Liu, “Extended Elementary Siphon-based DeadlockPrevention Policy for a Class of Generalised Petri Nets,” International Journal of Computer

Integrated Manufacturing, vol.27, no.1, pp. 85–102, January, 2014.

10. Y. F. Chen, Z. W. Li, and K. Barkaoui, “Maximally Permissive Liveness-Enforcing Super-visor with Lowest Implementation Cost for Flexible Manufacturing Systems,” Information

Sciences, vol.256, pp. 74–90, 2014.

11. M. Liu, S. G. Wang, and Z. W. Li, “Sufficient Conditions for Loop Resource Subsets to DeriveStrict Minimal Siphons in a Class of Petri Nets,” IET Electronics Letters, vol.50, no,1, pp.25–27, 2014.

2013

1. D. Liu, Z. W. Li, and M. C. Zhou, A parameterized liveness and ratio-enforcing supervi-sor for a class of generalized Petri nets, Automatica, vol.49, no.11, pp. 3167–3179, DOI:10.1016/j.automatica.2013.07.023, Nov 2013.

2. X. L. Chen, Z. W. Li, A. Al-Ahmari, A. M. El-Tamimi, and E. S. Abouel Nasr, Confusiondiagnosis and control of discrete event systems using synchronized Petri nets, Asian Journal

of Control, vol.15, no.6, pp.1736–1751, DOI: 10.1002/asjc.690, Nov 2013.

3. G. Y. Liu, Z. W. Li, and C. F. Zhong, “Corrections to ‘New controllability condition forsiphons in a class of generalised Petri nets (vol 4, pg 854, 2010)’ ”, IET Control Theory and

Applications vol. 7, no. 4, pp. 632–633, March 2013.

4. S. G. Wang, M. C. Zhou, Z. W. Li, and C. Y. Wang, “A New Modified Reachability TreeApproach and Its Applications to Unbounded Petri Nets,” IEEE Transactions on Systems,

Man, and Cybernetics: Systems, vol.43, no.4, pp. 932–940, 2013.

5. H. S. Hu, M. C. Zhou, Z. W. Li, and Y. Tang, “An Optimization Approach to ImprovedPetri Net Controller Design for Automated Manufacturing Systems,” IEEE Transactions on

Automation Science and Engineering, vol.10, no. 3, pp. 772–782, July 2013.

6. Y. F. Hou, Z. W. Li, L. Hong, and A. M. Al-Ahmari, “On Optimal Controllability of 3-Composed Siphons in a Class of Petri Nets,” Electronics Letters, vol.49, no.11, pp. 697–699,2013.

7. Xiu Yan Zhang, Zhi Wu Li, Chun Fu Zhong, and Abdulrahman M. Al-Ahmari, “Reachabilityanalysis of a class of Petri nets using place invariants and siphons,” Maejo International

Journal of Science and Technology, vol.7, no.2, pp. 278–290, 2013.

8. J. F. Zhang, M. Khalgui, Z. W. Li, O. Mosbahi, and A. M. Al-Ahmari, “R-TNCES: ANovel Formalism for Reconfigurable Discrete Event Control Systems,” IEEE Transactions

on Systems, Man, and Cybernetics: Systems, vol.43, no.4, pp.757-772, July 2013.

9. M. Liu, S. G. Wang, and Z. W. Li “Supervisor Reconfiguration for Deadlock Prevention byResources Reallocation,” Journal of Applied Mathematics, Article Number, 315894, DOI:10.1155/2013/315894, 2013.

10. G. Y. Liu and Z. W. Li, Kamel Barkaoui, and Abdulrahman M. Al-Ahmari, “Robustness ofDeadlock Control for a Class of Petri Nets with Unreliable Resources,” Information Science,vol.: 235, pp. 259–279, June 2013.

8

11. Z. W. Li, G. Y. Liu, H. M. Hanisch, and M. C. Zhou, “Correction to ‘Deadlock PreventionBased on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems, IEEETransactions on Systems, Man, and Cybernetics, Part A, vol. 42, no. 1, pp.178–191, 2012’,IEEE Transactions on Systems, Man, and Cybernetics-Systems, Part A, vol. 43, no. 2,pp.474–474, March 2013

12. Y. F. Chen, Z. W. Li, and A. M. Al-Ahmari, “Non-pure Petri Net Supervisors for OptimalDeadlock Control of Flexible Manufacturing Systems,” IEEE Transactions on Systems, Man,

and Cybernetics: Systems, vol.43, no.2, pp. 252–265, 2013.

13. C. F. Zhong, Z. W. Li, Y. F. Chen, and A. M. Al-Ahmari, “On Nonexistence of a MaximallyPermissive Liveness-Enforcing Pure Net Supervisor,” IEEE Transactions on Systems, Man,

and Cybernetics: Systems, vol.43, no.1, pp.29-37, 2013.

14. H. S. Hu, M. C, Zhou, and Z. W. Li, “Deadlock-free Control of Automated ManufacturingSystems with Flexible Routes and Assembly Operations Using Petri Nets,” IEEE Transac-

tions on Industrial Informatics, vol.9, no.1, pp. 109-121, 2013.

15. D. Liu, Z. W. Li, and M. C. Zhou, “Hybrid Liveness-Enforcing Policy for Generalized PetriNet Models of Flexible Manufacturing Systems,” IEEE Transactions on Systems, Man, and

Cybernetics: Systems, vol.43, no.1, pp. 85-97, 2013.

2012

1. Z. W. Li, G. Y. Liu, H. M. Hanisch, and M. C. Zhou, “Deadlock Prevention Based on Struc-ture Reuse of Petri Net Supervisors for Flexible Manufacturing Systems,” IEEE Transactions

on Systems, Man, and Cybernetics, Part A, vol. 42, no. 1, pp.178–191, 2012.

2. Z. W. Li, N. Q. Wu, and M. C. Zhou, “Deadlock Control of Automated ManufacturingSystems Based on Petri Nets–A Literature Review,” IEEE Transactions on Systems, Man,

and Cybernetics, Part C, vol. 42, no.4, pp. 437–462, 2012.

3. Y. F. Chen and Z. W. Li, “On Structural Minimality of Optimal Supervisors for FlexibleManufacturing Systems,” Automatica, vol.48, no.10, pp. 2647–2656, 2012.

4. Y. F. Chen, Z. W. Li, and M. C. Zhou, “Behaviorally Optimal and Structurally SimpleLiveness-Enforcing Supervisors of Flexible Manufacturing Systems,” IEEE Transactions on

Systems, Man, and Cybernetics, Part A, vol.42, no.3, pp.615–629, 2012.

5. M. Qin, Z. W. Li, M. C. Zhou, M. Khalgui, and O. Mosbahi, “Deadlock Prevention for aClass of Petri Nets with Uncontrollable and Unobservable Transitions,” IEEE Transactions

on Systems, Man, and Cybernetics, Part A, vol.42, no.3, pp.727–738, 2012.

6. H. S. Hu, M. C. Zhou, and Z. W. Li, “Liveness and Ratio-enforcing Supervision of Auto-mated Manufacturing Systems Using Petri Nets,” IEEE Transactions on Systems, Man, and

Cybernetics, Part A, vol.42, no.2, pp.392–403, 2012.

7. S. G. Wang, C. Y. Wang, M. C. Zhou, and Z. W. Li, “A Method to Compute Strict MinimalSiphons in a Class of Petri Nets Based on Loop Resource Subsets,” IEEE Transactions on

Systems, Man, and Cybernetics, Part A, vol.42, no.1, pp.226–237, 2012.

8. A. R. Wang, Z. W. Li, M. C. Zhou, and A. M. Al-Ahmari, “Iterative Deadlock Control byUsing Petri Nets,” IEEE Transactions on Systems, Man, and Cybernetics, Part C, vol.42,no.6, pp. 1204–1218, 2012.

9. S. Y. Li, Z. W. Li, H. S. Hu, A. M. Al-Ahmari, and A. An, “An Extraction Algorithm fora Set of Elementary Siphons Based on Mixed integer Programming,” Journal of Systems

Science and Systems Engineering, vol.21, no.1.pp. 106–125, 2012.

9

10. S. Y. Li and Z. W. Li, “Structure Reduction of Liveness-Enforcing Petri Nets Using MixedInteger Programming,” Asian Journal of Control, vol.14, no.2, pp. 384–399, 2012.

11. Y. F. Chen, Z. W. Li, and M. C. Zhou, “Most Permissive Petri Net Supervisors for FlexibleManufacturing Systems,” International Journal of Production Research, vol. 50, no. 22, pp.6357–6371, 2012.

12. S. Y. Li and Z. W. Li, “Solving Siphons with the Minimal Cardinality in Petri Nets andits Applications to Deadlock Control,” International Journal of Production Research, vol.50,no.22, pp.6203–6218, 2012.

13. Y. F. Hou, Z, W. Li, and A. M. Al-Ahmari, “Optimal Controllability of 2-composed Siphonsin a Class of Petri Nets,” Electronics Letters, vol.48, no.24, pp.1535–1537, 2012.

2011

1. O. Mosbahi, M. Khalgui, H. M. Hanisch, and Z. W. Li, A Component-based Approach for theDevelopment of Automated Systems, IEEE Transactions on Systems, Man, and Cybernetics,

Part A, vol.41, no5, pp.1026–1031, 2011.

2. Hesuan Hu, Mengchu Zhou, and Zhiwu Li, “Supervisor Optimization for Deadlock Resolutionin Automated Manufacturing Systems with Petri Nets,” IEEE Transactions on Automation

Science and Engineering, vol.8, no.4, pp.794–804.

3. S. Y. Li, Z. W. Li and H. S. Hu, “Siphon Extraction for Deadlock Control in FlexibleManufacturing Systems By Using Petri Nets,” International Journal of Computer Integrated

Manufacturing, vol.24, no.8, pp. 710–725, 2011.

4. C. F. Zhong and Z. W. Li, “On the Minimal Siphons and Deadlock Prevention in the PetriNet Model of the Dining Philosopher’s Problem,” ICIC Express Letters, vol.5, no.7, pp.2165–2171, July 2011

5. M. Qin, Z. W. Li, M. Khalgui, and O. Mosbahi, “On Applicability of Deadlock PreventionPolicies in Case of Existence of Uncontrollable and Unobservable Transitions,” Journal of

Innovative Computing, Information and Control, vol.7, no.7, pp.4115–4127, July 2011.

6. Y. F. Chen and Z. W. Li, “Design of a Maximally Permissive Liveness-enforcing Supervisorwith a Compressed Supervisory Structure for Flexible Manufacturing Systems,” Automatica,vol.47, no.5, pp.1028–1034, 2011.

7. Y. F. Chen, Z. W. Li, M. Khalgui, and O. Mosbahi, “Design of a Maximally PermissiveLiveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems,” IEEE Trans-

actions on Automation Science and Engineering, vol.8, no.2, pp.374–393, 2011 (A typo iscorrected in Y. F. Chen, Z. W. Li, M. Khalgui, and O. Mosbahi, “Corrections to ‘Design ofa Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible ManufacturingSystems’,” IEEE Transactions on Automation Science and Engineering, vol.9, no.2, pp.455,2012).

8. H. S. Hu, Z. W. Li, A. Al-Ahmari, “Reversed Fuzzy Petri Nets and Their Application forFault Diagnosis,” Computers & Industrial Engineering, vol.60, no.4, pp.505–510, 2011.

9. Mohamed Khalgui, Olfa Mosbahi, Zhiwu Li, and Hans-Michael Hanisch, “ReconfigurableMulti-Agent Embedded Control Systems: From Modelling to Implementation”, IEEE Trans-

actions on Computers, vol.60, no.4, pp. 538–551, 2011.

10. Mohamed Khalgui, Olfa Mosbahi, Zhiwu Li, and Hans-Michael Hanisch, “Reconfigurationof Distributed Embedded-Control Systems”, IEEE-ASME TRANSACTIONS ON MECHA-TRONICS, vol. 16, no. 4, pp. 684–694, Aug 2011.

10

11. H. S. Hu, M. C. Zhou, and Z. W. Li, “Supervisor Design to Enforce Production Ratioand Absence of Deadlock in Automated Manufacturing Systems,” IEEE Transactions on

Systems, Man, and Cybernetics, Part A: Systems and Humans, vol. 41, no.2, pp. 201-212,March 2011.

12. A. R. Wang, Z. W. Li, and J. Y. Jia, “Efficient Computation of Strict Minimal Siphons fora Class of Petri Nets Models of Automated Manufacturing Systems,” Transactions of the

Institute of Measurement and Control, vol.33, no.1, pp.182-201, February 2011.

13. M. C. Zhou and Z. W. Li, “Guest Editorial: Petri Nets and Agile Manufacturing,” Transac-

tions of the Institute of Measurement and Control, vol.33, no.1, pp.3-8, February 2011.

14. Z. W. Li, M. Qin, and S. Zhu, “Identification of Controllable Transitions to Decide theExistence of an Optimal Liveness-enforcing Supervisor for a Class of Petri Nets”, Transactionsof the Institute of Measurement and Control, vol.33, no.3–4, pp.406–421, May, 2011.

15. C. F. Zhong, Z. W. Li, and K. Barkaoui, “Monitor Design for Siphon Control in S4R Nets:From Structure Analysis Points of View,” International Journal of Innovative Computing,

Information and Control, vol.7, no.12, pp. 6677–6690, 2011.

2010

1. G. Y. Liu and Z. W. Li, “General Mixed Integer Programming-based Liveness Test for Systemof Sequential Systems with Shared Resources Nets,” IET Control Theory and Applications,vol.4, no.12, pp. 2867–2878, 2010.

2. H. S. Hu, M. C. Zhou, and Z. W. Li, “Low-Cost High-Performance Supervision in Ratio-Enforced Automated Manufacturing Systems Using Timed Petri Nets,” IEEE Transactions

on Automation Science and Engineering, vol.7, no.4, pp.933–944, October 2010.

3. M. Zhao, Z. W. Li, and H. S. Hu, “Suboptimal Liveness-enforcing Supervisor Design for aClass of Generalized Petri Nets Using Partial Siphon Enumeration and Mathematical Pro-gramming,” International Journal of Systems Science, vol.41, no.9, pp.1013-1026, September2010.

4. H. S. Hu and Z. W. Li, “Synthesis of Liveness-enforcing Supervisor for Automated Manufac-turing Systems Using Insufficiently Marked Siphons,” Journal of Intelligent Manufacturing,vol.21, no.4, pp.555–567, AUG 2010.

5. Hesuan Hu, Mengchu Zhou and Zhiwu Li, “Algebraic Synthesis of Timed Supervisor forAutomated Manufacturing Systems Using Petri Nets,” IEEE Transactions on Automation

Science and Engineering, vol.7, no.3, pp.549–557, July 2010.

6. C. F. Zhong and Z. W. Li, “Design of Liveness-enforcing Supervisors via Transforming PlantPetri Net Models of FMS,” Asian Journal of Control, vol.12, no.3, pp. 240–252, May 2010.

7. J. W. Guo and Z. W. Li, “A Deadlock Prevention Approach for a Class of Timed Petri NetsUsing Elementary Siphons,” Asian journal of control, vol.12, no.3, pp. 347–363, May 2010.

8. G. Y. Liu, Z. W. Li, and C. F. Zhong, “A New Controllability Condition for Siphons in a Classof Generalized Petri Nets,” IET Control Theory and Applications, vol.4, no.5, pp.854–864,May 2010.

9. D. Liu, Z. W. Li, and M. C. Zhou, “Liveness of an Extended S3PR,” Automatica, vol.46,no.6, pp.1008–1018, June 2010 (There is a condition that is not strict, which is corrected byD. Liu, Z. W. Li, and M. C. Zhou, Erratum to “Liveness of an extended S3PR”, Automatica,vol.48, pp. 1003-1004, 2012).

11

10. Z. W. Li and M. C. Zhou, “Synthesis of Structurally Simple Supervisors Enforcing Gener-alized Mutual Exclusion Constraints in Petri Nets,” IEEE Transactions on Systems, Man,

and Cybernetics, Part C, vol.40, no.3, pp.330–340, May 2010.

11. C. F. Zhong and Z. W. Li, “Self-liveness of a Class of Petri Net Models for Flexible Manu-facturing Systems,” IET Control Theory and Applications, vol.4, no.3, pp.403–410, 2010.

12. M. C. Zhou and Z. W. Li, “Guest Editorial: Special Issue on ‘Petri Nets for System Controland Automation’,” Asian Journal of Control, vol.12, no.3, pp.237-239, May 2010.

2009

1. H. S. Hu, M. C. Zhou, and Z. W. Li, “Liveness Enforcing Supervision of Video StreamingSystems Using Non-sequential Petri Nets,” IEEE Transactions on Multimedia, vol.11, no.8,pp. 1446–1456, 2009.

2. H. S. Hu and Z. W. Li, “Liveness Enforcing Supervision in Video Streaming Systems UsingSiphons,” Journal of Information Science and Engineering, vol.25, no.6, pp. 1863–1864,2009.

3. M. Zhao and Z. W. Li, “On Deadlock Control for a Class of Generalised Petri Net Modelsof Flexible Manufacturing Systems,” International Journal of Production Research, vol.47,no.21, pp.6085–6107, 2009.

4. C. F. Zhong and Z. W. Li, “A Deadlock Prevention Approach for Flexible ManufacturingSystems without Complete Siphon Enumeration of their Petri Net Models,” Engineering with

Computers, vol.25, no.3, pp. 269–278, 2009.

5. H. S. Hu, Z. W. Li, “Local and Global Deadlock Prevention Policies for Resource Alloca-tion Systems Using Partially Generated Reachability Graphs,” Computers and Industrial

Engineering, vol.57, no.4, pp. 1161–1181, 2009.

6. Z. W. Li, S. Zhu, M. C. Zhou, “A Divide-and-Conquer Strategy to Deadlock Prevention inFlexible Manufacturing Systems,” IEEE Transactions on Systems, Man, and Cybernetics,vol.39, no.2, pp.156–169, 2009.

7. Z. W. Li and H. S. Hu, “On Systematic Methods to Remove Redundant Monitors fromLiveness-enforcing Net Supervisors,” Computers and Industrial Engineering, vol.56, no.1,pp.53–62, 2009.

8. H. S. Hu and Z. W. Li, “Efficient Deadlock Prevention Policy in Automated Manufactur-ing Systems Using Exhausted Resources,” International Journal of Advanced Manufacturing

Technology, vol.40, no.5-6, pp.566–571, 2009.

9. M. M. Yan, Z. W. Li, N. Wei, and M. Zhao, “A Deadlock Prevention Policy for a Class of PetriNets S3PMR,” Journal of Information Science and Engineering, vol.25, no.1, pp.167–183,January, 2009.

10. Z. W. Li and M. Shpitalni, “Smart Deadlock Prevention Policy for Flexible ManufacturingSystems Using Petri Nets,” IET Control Theory and Applications, vol.3, no.3, pp.362–374,2009.

11. Z. W. Li and G. Liu, “Comments on ‘An Iterative Synthesis Approach to Petri Net BasedDeadlock Prevention Policy for Flexible Manufacturing Systems’,” IEEE Transactions on

Systems, Man, and Cybernetics Part A: Systems and Humans, vol.39, no.3, pp.692, 2009.

12. Y. Chao and Z. W. Li, “Structural Conditions of Systems of Simple Sequential Processes withResources Nets without Weakly Dependent Siphons,” IET Control Theory and Applications,vol.3, no.4, pp.391–403, 2009.

12

13. M. Zhao, Z. W. Li, and N. Wei, “Non-blocking Supervisory Design Using Mixed IntegerProgramming,” Acta Automatica Sinica, vol.35, no.2, pp.180–185, February 2009.

14. H. S. Hu and Z. W. Li, “Modeling and Scheduling for Manufacturing Grid Workflows UsingTimed Petri Nets,” International Journal of Advanced Manufacturing Technology, vol.42,no.5–6, pp.553–568, May 2009.

15. H. S. Hu and Z. W. Li, “Clarification on the Computation of Liveness-enforcing Supervi-sor for Resource Allocation Systems with Uncontrollable Behavior,” IEEE Transactions on

Automation Science and Engineering, vol.6, no.3, pp.557–559, 2009.

16. A. R. Wang, Z. W. Li, J. Y. Jian, M. C. Zhou, “An Effective Algorithm to Find ElementarySiphons in a Class of Petri Nets,” IEEE Transactions on Systems, Man, and Cybernetics,

Part A: Systems and Humans, vol.39, no.4, pp.912–923, 2009.

2008

1. Z. W. Li and M. C. Zhou, “On Siphon Computation for Deadlock Control in a Class of PetriNets,” IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Human,vol.38, no.3, pp.667–679, 2008.

2. Z. W. Li and M. Zhao, “On Controllability of Dependent Siphons for Deadlock Preventionin Generalized Petri Nets,” IEEE Transactions on Systems, Man, and Cybernetics, Part A,vol.38 no.2, pp.369–384, March 2008.

3. Z. W. Li, M. C. Zhou and N. Q. Wu, “A Survey and Comparison of Petri Net-based DeadlockPrevention Policy for Flexible Manufacturing Systems,” IEEE Transactions on Systems,

Man, and Cybernetics, Part C: Applications and Review, vol.38,, no.2, 173-188, 2008.

4. Z. W. Li, M. C. Zhou, and M. D. Jeng, “A Maximally Permissive Deadlock Prevention Policyfor 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, Jan 2008.

5. Z. W. Li and M. C. Zhou, “Control of Elementary and Dependent Siphons of Petri Nets andTheir Application,” IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems

and Human, vol.38, no.1, pp.133–148, Jan 2008.

6. N. Q. Wu, M. C. Zhou, and Z. W. Li, “Resource-oriented Petri Nets for Deadlock Avoidancein Flexible Assembly Systems,” IEEE Transactions on Systems, Man, and Cybernetics, Part

A: Systems and Human Beings, vol.38, no.1, pp.56–69, Jan 2008.

7. Z. W. Li, M. Uzam, and M. C. Zhou, “Deadlock Control of Concurrent Manufacturing Pro-cesses Sharing Finite Resources,“ International Journal of Advanced Manufacturing Technol-

ogy, vol.38, no.7-8, pp.787–800, 2008.

8. H. S. Hu and Z. W. Li, “An optimal-elementary-siphon based iterative deadlock preventionpolicy for flexible manufacturing systems,” International Journal of Advanced Manufacturing

Technology, vol.38, no.3-4, pp.309–320, 2008.

9. N. Wei and Z. W. Li, “On the Suboptimal Liveness-enforcing Supervisors Based on PetriNet Structural Analysis and the Theory of Regions,” International Journal of Advanced

Manufacturing Technology, vol.38, no.1-2, pp.195–204, 2008.

2007

1. Z. W. Li, M. C. Zhou, and M. Uzam, “Deadlock Control Policy for a Class of Petri Netswithout Complete Siphon Enumeration,” IET Control Theory and Applications, vo1.1, no.6,pp.1594-1605, 2007.

13

2. M. Uzam, Z. W. Li, and M. C. Zhou, “Identification and Elimination of Redundant ControlPlaces in Petri Net Based Liveness Enforcing Supervisors of FMS,” International Journal of

Advanced Manufacturing Technology, vol.35, no.1-2, pp.150-168, 2007.

3. Z. W. Li and N. Wei, “Deadlock Control of Flexible Manufacturing Systems via Invariant-Controlled Elementary Siphons of Petri Nets,” International Journal of Advanced Manufac-

turing Technology, vol.33, no.1-2, pp.24-35, May, 2007.

4. Z. W. Li, J. Zhang, and M. Zhao, “Liveness-enforcing Supervisor Design for a Class ofGeneralized Petri Net Models of Flexible Manufacturing Systems,” IET Control Theory and

Applications, vol.1, no.4, pp. 955-967, 2007.

5. Z. W. Li, H. S. Hu, and A. R. Wang, “Design of Liveness-enforcing Supervisors for Flex-ible Manufacturing Systems Using Petri Nets,” IEEE Transactions on Systems, Man, and

Cybernetics, Part C: Applications and Reviews, vol.37, no.4, pp. 517-526, July 2007.

6. Z. W. Li and D. Liu, “A Correct Minimal Siphons Extraction Algorithm from a MaximalUnmarked Siphon of a Petri Net,” International Journal of Production Research, vol.45, no.9,pp.2161-2165, May 2007.

2006

1. Z. W. Li and M. C. Zhou, “Two-Stage Method for Synthesizing Liveness-enforcing Supervi-sors for Flexible Manufacturing Systems Using Petri Nets,” IEEE Transactions on Industrial

Informatics, vol.2, no.4, pp.313-325, Nov. 2006.

2. Z. W. Li and M. C. Zhou, “Clarifications on the Definitions of Elementary Siphons of PetriNets,” IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans.vol.36, no.6, pp.1277- 1279, Nov. 2006.

3. Z. W. Li, W. Ding, and R. M. Zhu, “On Deadlock Prevention in Case of Failures in FMS,”International Journal of Manufacturing Technology and Management, vol.8, no.1/2/3, pp.58-74, 2006.

4. H. S. Hu, Z. W. Li, and A. R. Wang. “Mining and Controlling Flexible ManufacturingSystems Using Petri Nets,” Dynamics of Continuous, Discrete, and Impulsive Systems, Series

B: Applications and Algorithms, vol.13, supplement, pp.187-191, 2006.

2005

1. Z. W. Li and M. C. Zhou, “Comparison of Two Deadlock Prevention Methods for Different-size Flexible Manufacturing Systems,” International Journal of Intelligent Control and Sys-

tems, vol.10, no.3, pp. 235-243, September 2005.

2004

1. Z. W. Li, M. Uzam, and M. C. Zhou, “Comments on ‘Deadlock Prevention Policy Using PetriNets and Siphons’,” International Journal of Production Research, vol.42, no.24, pp.5253-5254, Dec. 2004.

2. Z. W. Li and M. C. Zhou, “Elementary Siphons of Petri Nets and Their Application inDeadlock Prevention for Flexible Manufacturing Systems,” IEEE Transactions on Systems,

Man, and Cybernetics, Part A, vol.34, no.1, pp. 38-51, Jan 2004.

14

Professional Activities

a) Conference and Symposium Chair/Co-Chair

• General Chair, IEEE International Workshop on Discrete Event Systems (WoDES’16), March31–June 1, 2016, Xi’an, China.

• Co-Chair with Dr. M. Khalgui, International workshop on Petri Nets for Adaptive Discrete-Event Control Systems, a satellite event in 35th International Conference on Application andTheory of Petri Nets and Concurrency, Tunis, Tunisia, June 23–27, 2014.

• Track Co-Chair, The IEEE TENCON 2013, October 22-25, 2013, Xi’an, China.

• Program committee Co-Chair of the 3rd International Workshop on Process-Aware LogisticsSystems (PALS’13), August 2013, Beijing China (http://pals2013.cnam.fr/Committees/index.html).

• General Co-chair of the Program Committee of 2010 IEEE International Conference onMechatronics and Automation, Xi’an, China.

• General Co-chair of the Financial Committee of 2009 IEEE International Conference onNetworking, Sensing, and Control, Japan.

• General Co-Chair of 2008 IEEE Conference on Automation Science and Engineering, August23-26, 2008, Washington DC, U.S.A.

• Co-chair Workshop on Petri Nets and Agile Manufacturing in 29th International Conferenceon Application and Theory of Petri Nets and Other Models of Concurrency, Xi’an, China,June 23-27, 2008

• Co-chair Special Session: Manufacturing Automation, in the First Asia International Sym-posium on Mechatronics, Xi’an, 2004.

b) Organizers of the Special Sessions of International Conferences

• Tutorial/workshop session: Process and Resource Oriented Petri Nets for ManufacturingAutomation

Co-chair Naiqi Wu and Zhiwu Li

http://www.case2014.org/Program Workshops.html

• Tutorial Session(Boston Room): Petri Net Approaches for Discrete Event Systems

Chair: Giua, Alessandro Univ. of Cagliari, Italy / Aix-Marseille Univ. France

Co-Chair: Seatzu, Carla Univ. of Cagliari

Organizer: Giua, Alessandro Univ. of Cagliari, Italy / Aix-Marseille Univ. France

Organizer: Li, Zhiwu SEME, Xidian Univ.

Organizer: Seatzu, Carla Univ. of Cagliari

European Control Conference 2014 June 24-27, 2014, Strasbourg, France

https://controls.papercept.net/conferences/conferences/ECC14/program/ECC14 ContentListWeb 4.html#frb9

• Special Session on Petri Nets and Discrete Event Systems, The 33rd Annual Conference ofIEEE Industrial Electronics Society, November 5-8, 2007 (IEEE IECON 2007).

• Special Session on Petri Nets and Discrete Event Systems, 2008 IFAC World Congress, Seoul,July 6-11, 2008

15

c) Program Committee Member

• Program Committee, VECoS 2016, 10th International Workshop on Verification and Evalu-ation of Computer and Communication Systems, Tunis, Tunisia, 6th–7th October 2016.

• Program Committee (TPC), the 21th IEEE International Conference on Emerging Technolo-gies and Factory Automation (ETFA’2016), Berlin (Germany), September 6-9, 2016.

• Program Committee, the 2016 IEEE International Conference on Systems, Man, and Cyber-netics (SMC 2016), Budapest, Hungary, Oct. 9–12, 2016.

• Technical Program Committee (TPC) member, International Conference on Advanced As-pects of Software Engineering, ICAASE 2016, Constantine, Algeria, October 29-30-2016.

• The 10th International Conference on Language and Automata Theory and Applications(LATA 2016), Prague, March 14-18, 2016.

• Program Committee (TPC), Track 4–Automated Manufacturing Systems, the 20th IEEEInternational Conference on Emerging Technologies and Factory Automation (ETFA’2015),Luxembourg (Luxembourg), September 8-11, 2015.

• Program Committee of The Software Engineering Track, the 5th IFIP International Confer-ence on Computer Science and Its Applications, 20-21 May, 2015, Saida University, Algeria(http://ciia2015.ensma.fr/articles.php?lng=en&pg=69&mnuid=32&tconfig=0).

• International Program Committee Member, 10th International Conference on modelling, op-timization & simulation, MOSIM2014, Nancy, France, November 5–7, 2014. http://www.mosim2014.org/

• Member of Technical Program Committee, The 2014 International Conference on ComputerScience and Service System (CSSS 2014), June 13th-15th, 2014, Bangkok, Thailand.

• Member of the Program Committee, 2014 IEEE International Conference on Systems, Man,and Cybernetics (SMC 2014), San Diego, California, USA during Oct. 5-8, 2014.

• Member of Track Program Committee, Track 4–Automated Manufacturing Systems, 19thIEEE International Conference on Emerging Technologies and Factory Automation, Septem-ber 16–19, 2004, Barcelona, Spain ( http://www.etfa2014.org/download/EFTA2014 Track 4 cfp.pdf).

• Member of Organizing Committee, The 1st International Conference on Electrical, Instru-mentation and Control Engineering (EICE2014) Chicago, Illinois, USA, October 24-25, 2014(http://www.eice-conf.org/OrganizingCommittee.aspx).

• Member of Program Committee, 2014 IEEE International Conference on Automation Scienceand Engineering, August 18–22, 2014, Taipei, Taiwan (http://www.case2014.org/).

• Workshop on Discrete Event Systems WODES’14, Cachan, France, May 14-16, 2014

(http://wodes2014.lurpa.ens-cachan.fr/).

• IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS,Manchester, UK, October 13-16, 2013, http://www.smc2013.org/program committee

• The 3rd IFAC International Conference on Intelligent Control and Automation Science, 2–4September, 2013, Chengdu, China.

• 2013 Conference on China Business Process Management, August 29–30, Beijing, China

• International Program Committee (IPC) of MOSIM 2012, 9th International Conference ofMOdeling, Optimization and SIMulation, Bordeaux, France, on June 6–8, 2012.

16

• 4th International Workshop on Verification and Evaluation of Computer and CommunicationSystems (VECoS’ 2010) July, 1–2, 2010, Paris, France

• 2010 1st Conference on China Business Process Management, Beijing, China, August 26–27,2010.

• 2008 International Conference on Application and Theory of Petri Nets, June 23–27, Xi’an,China.

• 2008 IEEE International Conference on Networking, Sensing, and Control, April 6–8, Sanya,Hainan, China

• 2005 IEEE International Conference on Networking, Sensing, and Control, Arizona, USA.

d) Proposal Reviewer

• NSF of China Information Science Division

• NSF of China Material & Engineering Division

e) International Journal Reviewer

• Abstract and Applied Analysis

• ACM Transactions on Embedded Computing Systems

• Advanced Science Letters

• Advances in Mechanical Engineering

• Annual Reviews in Control

• Applied Mathematical Modelling

• Asian Journal of Control

• Automatica

• British Journal of Applied Science & Technology

• Granular Computing (GRCO)

• IEEE Transactions on Automatic Control

• IEEE Transactions on Automation Science and Engineering

• IEEE Transactions on Control System Technology

• IEEE Transactions on Industrial Informatics

• IEEE Transactions on Knowledge & Data Engineering

• IEEE Transactions on Parallel and Distributed Systems

• IEEE Transactions on Robotics and Automation

• IEEE Transactions on System, Man, and Cybernetics, Part A: Systems and Human

• IEEE Transactions on System, Man, and Cybernetics, Part B: Cybernetics

• IEEE Transactions on System, Man, and Cybernetics, Part C: Reviews and Applications

17

• IET Control Theory & Applications

• IMA Journal of Mathematical Control and Information

• Information and Computation

• Information Sciences

• International Journal of Advanced Manufacturing Technology

• International Journal of Automation and Computing

• International Journal of Computer Mathematics: Computer Systems Theory

• International Journal of Discrete Event Dynamic Systems

• International Journal of Information Science & Engineering

• International Journal of Manufacturing Technology and Management

• International Journal of Mechatronics

• International Journal of Medical Robotics and Computer Assisted Surgery

• International Journal of Modelling, Identification and Control

• International Journal of Production Research

• International Journal of Simulation and Process Modelling

• International Journal of Software Engineering and Knowledge Engineering.

• International Journal of Systems Science

• Journal of Applied Mathematics

• Journal of Chinese Institute of Engineers

• Journal of Circuits, Systems, and Computers

• Journal of Convergence Information Technology

• Journal of Electrical Engineering & Technology

• Journal of Engineering and Computer Innovation

• Journal of Intelligent and Robotic Systems

• Journal of Manufacturing Systems

• International Journal of Modelling, Identification and Control

• Journal of Parallel and Distributed Computing

• Maejo International Journal of Science and Technology

• Mathematical Problems in Engineering

• Manufacturing Letters

• Sensors

• Signal, Image and Video Processing

• The Computer Journal

• The Open Civil Engineering Journal

• The Scientific World Journal

• Transactions of the Institute of Measurement and Control

18

e) Conference Reviewer (not fully listed)

• Workshop on Discrete Event Systems WODES’14, Cachan, France, May 14-16, 2014

• IEEE International Conference on Mechatronics and Automation, Xi’an, China, 2010

• IEEE International Conference on Industrial Technology, 21-24 April, 2008, Chengdu, China

• Asia International Symposium on Mechatronics, 2004

• IEEE International Conference on Networking, Sensing, and Control

• International Conference on Automation, Robot, and Computer Vision

• IPSI-2005 HAWAII Conference, 2005

• IEEE International Conference on Systems, Man, and Cybernetics

• IEEE International Conference on Industrial Electronics, 2006

• IEEE International Conference on Robotics and Automation, 2007

• IEEE International Conference on Industrial Information, 2007

Fellowships and Awards

• 2012 fellowship supported by Cai YuanPei Program

• 2010 fellowship supported by program Research in Paris

• 2007 Alexander von Humboldt Research Grant, Alexander von Humboldt Foundation, Ger-many

• 2002-2003 Department of Electrical and Computer Engineering Fellowship, University ofToronto, Toronto, Canada.

• 2001 Xidian University Top 10 Outstanding Young Faculty Award

• 1999 Xidian University Top 10 Outstanding Young Faculty Award

• 1999 School of EME of Xidian University Outstanding Young Faculty Award

• 1997 School of EME of Xidian University Outstanding Young Faculty Award

Funds

• 2014 National Natural Science of Foundation of China (Grant No. 61474068)

• 2011 National Natural Science of Foundation of China (Grant No. 61073035)

• 2010 The Research Fund for International Young Scientists, National Natural Science Foun-dation of China, under Grant No. 20090100200300040.

• 2009 Fundamental Research Funds for the Central Universities under Grant No. 72103326

19

• 2010 National Research Foundation for the Doctoral Program of Higher Education, MinistryEducation of China (Grant No. 20090203110009)

• 2008 National Research Foundation for the Doctoral Program of Higher Education, MinistryEducation of China (Grant No. 20070701013)

• 2008 National Natural Science of Foundation of China (Grant No. 60773001)

• 2005 National Natural Science of Foundation of China (Grant No. 60474018)

• 2004 Scientific Research Foundation for the Returned Overseas Chinese Scholars, State Ed-ucation Ministry of China (Grant No. 2004-527)

• 1996 National Natural Science of Foundation of China (Grant No. 59505022)

Professional Affiliations

• 2016, Fellow, IEEE

• 2008, Founding Chair, Xi’an Chapter, IEEE Systems, Man, and Cybernetics Society

• 2010 Who’s Who in the World, 27th Edition

• 2007 Senior Member, IEEE

• 2013 Founding member of the TC on Automation in Health Care Management for the IEEERobotics and Automation Society

• 2006 Member of Discrete Event System Technical Committee, IEEE Systems, Man, andCybernetics Society

• 2011–2014 Member of IFAC Technical Committee on Discrete Event and Hybrid Systems

• 2006 Member, IEEE

• 2005-present Senior Member, Chinese Society of Computers

• 2005-2009, Vice-Chair, Special Interest Committee Member of Petri Nets, Chinese Societyof Computers

Editorial Board Services

• Associate Editor, Information Science (2014–)

• Associate Editor, IEEE Transactions on Systems, Man, and Cybernetics: Systems (2013-2014)

• Associate Editor, IEEE Transactions on Automation Science and Engineering (2008-2013)

• Associate Editor, IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systemsand Human Beings (2011-2012)

• Associate Editor, IST Transactions of Robotics, Automation & Mechatronics- Theory &Applications (RAMTA)

20

• Associate Editor, IST Transactions of Systems & Cybernetics-Theory and Applications(SCTA)

• Associate Editor, IST Transactions of Electrical Systems-Theory and Applications (EESTA)

• Associate Editor, IST Transactions of Control Engineering-Theory and Applications (CETA)

• Associate Editor, IST Transactions of Computer Systems-Theory and Applications (CSTA)

• Member, Editorial Board, International Journal of Embedded Control Systems

Guest Editors

• “Petri Nets for System Control Automation,” in Asian Journal of Control

• “Petri Nets and Agile Manufacturing,” in Transactions of the Institute of Measurement and

Control.

• “Formal Methods for Modelling and Verification of Discrete Event Systems,” in ACM Trans-

actions on Embedded Computing Systems

21