All Stories

  1. Cancer drug therapy and stochastic modeling of “nano-motors”

    Article • International Journal of Nanomedicine, October 2018, Dove Medical Press

    Zhiwu Li

  2. Simulation and analysis of reconfigurable assembly systems based on R-TNCES

    Article • Journal of the Chinese Institute of Engineers, August 2018, Taylor & Francis

    Zhiwu Li, Prof. Dr. Georg Frey

  3. Anomaly detection based on a dynamic Markov model

    Article • Information Sciences, October 2017, Elsevier

    Zhiwu Li

  4. Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs

    Article • Asian Journal of Control, September 2017, Wiley

    Zhiwu Li

  5. Dual mode for vehicular platoon safety: Simulation and formal verification

    Article • Information Sciences, September 2017, Elsevier

    Zhiwu Li

  6. On near-optimal deadlock control for a class of generalized Petri nets using reachability graph

    Article • Engineering Computations, August 2017, Emerald

    Zhiwu Li

  7. Evolutionary dynamics of N-person Hawk-Dove games

    Article • Scientific Reports, July 2017, Nature

    Zhiwu Li

  8. Petri Net-based Approach to Short-term Scheduling of Crude Oil Operations with Less Tank Requirement

    Article • Information Sciences, July 2017, Elsevier

    Zhiwu Li

  9. Operation Patterns Analysis of Automotive Components Remanufacturing Industry Development in China

    Article • Journal of Cleaner Production, July 2017, Elsevier

    Zhiwu Li

  10. Quadratic boundedness of LPV systems via saturated dynamic output feedback controller

    Article • Optimal Control Applications and Methods, June 2017, Wiley

    Zhiwu Li

  11. Decidability of opacity verification problems in labeled Petri net systems

    Article • Automatica, June 2017, Elsevier

    Zhiwu Li

  12. Scheduling of Crude Oil Operations in Refinery without Sufficient Charging Tanks Using Petri Nets

    Article • Applied Sciences, May 2017, MDPI AG

    Zhiwu Li

  13. The Optimal Road Grade Design for Minimizing Ground Vehicle Energy Consumption

    Article • Energies, May 2017, MDPI AG

    Zhiwu Li

  14. Performance Evaluation of Vehicular Platoons using Webots

    Article • IET Intelligent Transport Systems, May 2017, the Institution of Engineering and Technology (the IET)

    Professor Abdulrahman M Al- Ahmari, Zhiwu Li

  15. Development of associative memories with transformed data

    Article • Applied Soft Computing, May 2017, Elsevier

    Zhiwu Li

  16. The 13th International Workshop on Discrete Event Systems (WODES 2016) [Conference Reports]

    Article • IEEE Control Systems, April 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  17. Iterative optimization for frame-by-frame object pose tracking

    Article • Journal of Visual Communication and Image Representation, April 2017, Elsevier

    Zhiwu Li

  18. Optimization of Deterministic Timed Weighted Marked Graphs

    Article • IEEE Transactions on Automation Science and Engineering, April 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  19. Synthesis of Liveness-Enforcing Petri Net Supervisors Based on Think-Globally-Act-Locally Approach and Vector Covering for Flexible Manufacturing Systems

    Article • IEEE Access, January 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  20. A Multistep Look-Ahead Deadlock Avoidance Policy for Automated Manufacturing Systems

    Article • Discrete Dynamics in Nature and Society, January 2017, Hindawi Publishing Corporation

    Professor Abdulrahman M Al- Ahmari, Zhiwu Li

  21. Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators

    Article • Automatica, December 2016, Elsevier

    Zhiwu Li

  22. Cycle time optimization for deterministic timed weighted marked graphs under infinite server semantics

    Article • December 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  23. Stationary behavior of manufacturing systems modeled by timed weighted marked graphs

    Article • November 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  24. Deadlock analysis and control in resource allocation systems

    Article • Information Sciences, October 2016, Elsevier

    Zhiwu Li

  25. Granular data imputation: A framework of Granular Computing

    Article • Applied Soft Computing, September 2016, Elsevier

    Zhiwu Li

  26. Fault diagnosis in DESs modeled by partially observed Petri nets

    Article • August 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  27. Optimizing close-down processes of single-robot cluster tools via linear programing

    Article • August 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  28. Verification of language-based opacity in Petri nets using verifier

    Article • July 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  29. Granular description of data: Building information granules with the aid of the principle of justifiable granularity

    Article • July 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  30. Supervisory enforcement of current-state opacity with uncomparable observations

    Article • May 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  31. Minimal supervisory structure for flexible manufacturing systems using Petri nets

    Article • April 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  32. Marking optimization of deterministic timed weighted marked graphs under infinite server semantics

    Article • April 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  33. A double circle structure descriptor and Hough voting matching for real-time object detection

    Article • Pattern Analysis and Applications, March 2016, Springer Science + Business Media

    Zhiwu Li

  34. Fuzzy associative memories: A design through fuzzy clustering

    Article • Neurocomputing, January 2016, Elsevier

    Zhiwu Li

  35. Verification of initial-state opacity in Petri nets

    Article • December 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  36. A method to verify the controllability of language specifications in Petri nets based on basis marking analysis

    Article • December 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  37. Cycle time optimization of deterministic timed weighted marked graphs

    Article • August 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  38. A constraint transformation technique in Petri nets with backward-conflict-free uncontrollable structures

    Article • July 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  39. Verification of current-state opacity using Petri nets

    Article • July 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  40. On the enforcement of a class of nonlinear constraints on Petri nets

    Article • Automatica, May 2015, Elsevier

    Zhiwu Li

  41. Evaluation of deadlock control designs in automated manufacturing systems

    Article • March 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  42. Comments on “Maximally permissive supervisor synthesis based on a new constraint transformation method” [Automatica 48 (2012), 1097–1101]

    Article • Automatica, January 2015, Elsevier

    Zhiwu Li

  43. A new strategy for the suppression of cross-terms in pseudo Wigner–Ville distribution

    Article • Signal Image and Video Processing, November 2014, Springer Science + Business Media

    Zhiwu Li

  44. Marking optimization of deterministic timed weighted marked graphs

    Article • August 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  45. Authors’ Reply to ‘Comments on “Liveness of an extended S3PR ” [Automatica 46(6) (2010) 1008–1018]’

    Article • Automatica, August 2014, Elsevier

    Zhiwu Li

  46. A monitor solution to enforce legal transition firing sequences problems by using Petri nets

    Article • August 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  47. On an iterative deadlock prevention approach for automated manufacturing systems

    Article • The International Journal of Advanced Manufacturing Technology, June 2014, Springer Science + Business Media

    Zhiwu Li

  48. Modeling and solving of Rubik's cube with hierarchical colored Petri nets

    Article • April 2014, WITPRESS LTD.

    Zhiwu Li

  49. Green design assessment of electromechanical products based on group weighted-AHP

    Article • Enterprise Information Systems, January 2014, Taylor & Francis

    Zhiwu Li

  50. Sufficient conditions for loop resource subsets to derive strict minimal siphons in class of Petri nets

    Article • Electronics Letters, January 2014, the Institution of Engineering and Technology (the IET)

    Zhiwu Li

  51. Observation Equivalence of Petri Net Generators

    Article • IFAC Proceedings Volumes, January 2014, Elsevier

    Zhiwu Li

  52. A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures

    Article • IFAC Proceedings Volumes, January 2014, Elsevier

    Zhiwu Li

  53. Maximally Permissive Petri Net Supervisors with a Novel Structure

    Article • IFAC Proceedings Volumes, January 2014, Elsevier

    Zhiwu Li

  54. Liveness Analysis of Petri Nets Using Siphons and Mathematical Programming

    Article • IFAC Proceedings Volumes, January 2014, Elsevier

    Zhiwu Li

  55. Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems

    Article • Information Sciences, January 2014, Elsevier

    Zhiwu Li

  56. An Approach To Determine Controllability of Monolithic Supervisors

    Article • IFAC Proceedings Volumes, January 2014, Elsevier

    Zhiwu Li

  57. A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets

    Article • Automatica, November 2013, Elsevier

    Zhiwu Li

  58. The computation of liveness enforcing supervisors from submodels of a Petri net model of FMSs

    Article • October 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  59. Petri net controllers for disjunctive Generalized Mutual Exclusion Constraints

    Article • September 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  60. General observation structures for Petri nets

    Article • September 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  61. A novel method to simplify supervisor for AMS based on Petri nets and inequality analysis

    Article • May 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  62. Correction to ‘New controllability condition for siphons in a class of generalised Petri nets’

    Article • IET Control Theory and Applications, March 2013, the Institution of Engineering and Technology (the IET)

    Zhiwu Li

  63. Optimal Supervisory Control of Automated Manufacturing Systems

    Article • January 2013, Taylor & Francis

    Zhiwu Li

  64. Runtime Reconfigurations of Embedded Controllers

    Article • ACM Transactions on Embedded Computing Systems, January 2013, ACM (Association for Computing Machinery)

    Zhiwu Li

  65. Introduction to the Special Issue on Modeling and Verification of Discrete Event Systems

    Article • ACM Transactions on Embedded Computing Systems, January 2013, ACM (Association for Computing Machinery)

    Zhiwu Li

  66. Most permissive liveness-enforcing Petri net supervisors for flexible manufacturing systems

    Article • International Journal of Production Research, November 2012, Taylor & Francis

    Zhiwu Li

  67. On structural minimality of optimal supervisors for flexible manufacturing systems

    Article • Automatica, October 2012, Elsevier

    Zhiwu Li

  68. Erratum to “Liveness of an extended S3PR ” [Automatica 46 (2010) 1008–1018]

    Article • Automatica, May 2012, Elsevier

    Zhiwu Li

  69. An extraction algorithm for a set of elementary siphons based on mixed-integer programming

    Article • Journal of Systems Science and Systems Engineering, March 2012, Springer Science + Business Media

    Zhiwu Li

  70. System modeling and control with resource-oriented petri nets by NaiQi Wu and MengChu Zhou

    Article • International Journal of Production Research, November 2011, Taylor & Francis

    Zhiwu Li

  71. Liveness supervision of AMS with complex processes using Petri nets

    Article • October 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  72. On behaviorally and structurally optimal supervisor to solve forbidden state problems in discrete event systems

    Article • October 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  73. Supervisor Optimization for Deadlock Resolution in Automated Manufacturing Systems With Petri Nets

    Article • IEEE Transactions on Automation Science and Engineering, October 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  74. Optimal Petri net supervisor with lowest implemental cost for flexible manufacturing systems

    Article • September 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  75. Reconfiguration of Distributed Embedded-Control Systems

    Article • IEEE/ASME Transactions on Mechatronics, August 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  76. The evaluation of urban building landscape based on Google Earth of Wuhan city

    Article • June 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  77. Reversed fuzzy Petri nets and their application for fault diagnosis

    Article • Computers & Industrial Engineering, May 2011, Elsevier

    Professor Abdulrahman M Al- Ahmari, Zhiwu Li

  78. Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems

    Article • Automatica, May 2011, Elsevier

    Zhiwu Li

  79. Reconfigurable Multiagent Embedded Control Systems: From Modeling to Implementation

    Article • IEEE Transactions on Computers, April 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  80. Guest editorial: Petri nets and agile manufacturing

    Article • Transactions of the Institute of Measurement and Control, February 2011, SAGE Publications

    Zhiwu Li

  81. Deadlock resolution method for automated manufacturing systems modeled with Petri nets

    Article • October 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  82. A deadlock prevention approach for a class of time Petri nets based on SCG

    Article • August 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  83. Liveness-enforcing supervisor for LS3PR with uncontrollable and unobservable transitions

    Article • August 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  84. An improved algorithm for supervisor design for FMS using the theory of regions

    Article • August 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  85. An optimization approach towards improved Petri net monitor design

    Article • August 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  86. Deadlock prevention using divide-and-conquer strategy for WS3PR

    Article • August 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  87. Deadlock-free control of ratio-enforced automated manufacturing systems with flexible routes and assembly operations

    Article • August 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  88. Algebraic Synthesis of Timed Supervisor for Automated Manufacturing Systems Using Petri Nets

    Article • IEEE Transactions on Automation Science and Engineering, July 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  89. Liveness of an extended S3PR

    Article • Automatica, June 2010, Elsevier

    Zhiwu Li

  90. Special issue on “Petri Nets for system control and automation”

    Article • Asian Journal of Control, May 2010, Wiley

    Zhiwu Li

  91. A deadlock prevention approach for a class of timed Petri nets using elementary siphons

    Article • Asian Journal of Control, April 2010, Wiley

    Zhiwu Li

  92. Liveness Enforcing Supervision of Video Streaming Systems Using Nonsequential Petri Nets

    Article • IEEE Transactions on Multimedia, December 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  93. Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphs

    Article • Computers & Industrial Engineering, November 2009, Elsevier

    Zhiwu Li

  94. A new class of Petri nets for modeling and control of ratio-enforced resource allocation systems

    Article • October 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  95. Clarification on the Computation of Liveness-Enforcing Supervisor for Resource Allocation Systems With Uncontrollable Behavior

    Article • IEEE Transactions on Automation Science and Engineering, July 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  96. Live WS3PR*

    Article • IFAC Proceedings Volumes, June 2009, Elsevier

    Zhiwu Li

  97. Supervisory controller optimization for deadlock resolution in automated manufacturing systems with timed Petri nets

    Article • March 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  98. A polynomial-complexity approach to decide the existence of a maximally permissive Petri net supervisor using elementary siphons

    Article • March 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  99. On systematic methods to remove redundant monitors from liveness-enforcing net supervisors

    Article • Computers & Industrial Engineering, February 2009, Elsevier

    Zhiwu Li

  100. A deadlock prevention approach for flexible manufacturing systems without complete siphon enumeration of their Petri net models

    Article • Engineering With Computers, January 2009, Springer Science + Business Media

    Zhiwu Li

  101. Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons

    Article • Journal of Intelligent Manufacturing, January 2009, Springer Science + Business Media

    Zhiwu Li

  102. Two generalized-petri-net-based strategies for deadlock prevention in resource allocation systems

    Article • October 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  103. Modeling and scheduling for manufacturing grid workflows using timed Petri nets

    Article • The International Journal of Advanced Manufacturing Technology, July 2008, Springer Science + Business Media

    Zhiwu Li

  104. Deadlock prevention policy based on elementary siphons for flexible manufacturing systems

    Article • July 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  105. On the Existence of a Maximally Permissive Liveness-enforcing Petri Net Supervisor for Flexible Manufacturing Systems

    Article • April 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  106. A Deadlock Prevention Policy for FMS Using Elementary Siphons of Petri Nets with Uncontrollable Transitions

    Article • April 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  107. Efficient deadlock prevention policy in automated manufacturing systems using exhausted resources

    Article • The International Journal of Advanced Manufacturing Technology, February 2008, Springer Science + Business Media

    Zhiwu Li

  108. A Siphon-based Deadlock Prevention Policy for a Class of Petri Nets - S3PMR

    Article • IFAC Proceedings Volumes, January 2008, Elsevier

    Zhiwu Li

  109. Deadlock control of concurrent manufacturing processes sharing finite resources

    Article • The International Journal of Advanced Manufacturing Technology, September 2007, Springer Science + Business Media

    Zhiwu Li

  110. On Supervisory Control of a Class of Discrete Event Systems Modeled by Petri Nets

    Article • September 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  111. Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets

    Article • IEEE Transactions on Industrial Informatics, November 2006, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  112. On Modeling a Soccer Robot System Using Petri Nets

    Article • January 2006, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  113. Mining of Flexible Manufacturing System Using Work Event Logs and Petri Nets

    Article • January 2006, Springer Science + Business Media

    Zhiwu Li

  114. A fast algorithm to find a set of elementary siphons for a class of petri nets

    Article • January 2006, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  115. ON SUPERVISORY CONTROL OF A CLASS OF DISCRETE EVENT SYSTEMS

    Article • IFAC Proceedings Volumes, January 2006, Elsevier

    Zhiwu Li

  116. Modified PSO Algorithm for Deadlock Control in FMS

    Article • January 2005, Springer Science + Business Media

    Zhiwu Li

  117. Comments on “deadlock prevention policy based on petri nets and siphons”

    Article • International Journal of Production Research, December 2004, Taylor & Francis

    Zhiwu Li

  118. An effective FMS deadlock prevention policy based on elementary siphons

    Article • January 2004, Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  119. A Deadlock Prevention Policy Using Elementary Siphons

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  120. On Deadlock Control Using Petri Nets and Siphons for Automated Manufacturing Systems

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  121. Petri Net Based Deadlock Prevention Approach for Flexible Manufacturing Systems

    Article • IGI Global

    Zhiwu Li

  122. Liveness-Enforcing Supervisors for Flexible Manufacturing Systems with Multiple Resource Acquisitions

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  123. A Polynomial Algorithm to Decide the Liveness for a Class of Petri Nets

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  124. A Polynomial Complexity Algorithm to Decide the Liveness for a Class of Petri Nets

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  125. A deadlock prevention method for FMS with multiple resource acquisitions

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  126. Petri Net Based Deadlock Prevention Approach for Flexible Manufacturing Systems

    Article • IGI Global

    Zhiwu Li

  127. An algorithm for elementary siphons in PN

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  128. Some results and open problems concerning elementary siphons of petri nets

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  129. Research on a micropump structure with piezoelectric actuator

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  130. A novel siphon-based deadlock control method for FMS

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  131. An Improved Deadlock Control Policy Using Elementary Siphons and MIP Approach

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  132. A Polynomial Complexity Algorithm to Decide the Liveness for a Class of Petri Nets

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  133. A Deadlock Prevention Policy for FMS Using Petri Nets

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  134. A microchannel experimental apparatus for heat exchanging: design and analysis

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  135. Architecture description language based on object-oriented petri nets for multi-agent systems

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  136. On supervisor synthesis of discrete event systems

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  137. Analysis of a siphon-based deadlock prevention policy for flexible manufacturing systems

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  138. An improved deadlock control policy using elementary siphons and mip approach

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  139. A deadlock prevention policy for FMS using mathematical programming

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  140. Petri Net Based Deadlock Prevention Approach for Flexible Manufacturing Systems

    Article • IGI Global

    Zhiwu Li

  141. Development of Automated Systems using Proved B Patterns

    Article • IGI Global

    Zhiwu Li

  142. An effective deadlock prevention policy using elementary siphons of Petri nets for FMS

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  143. Design of a more permissive and structurally simple liveness-enforcing Petri net supervisor for flexible manufacturing systems

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  144. A deadlock prevention approach using elementary siphons for a class of petri nets

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  145. A polynomial algorithm to find a set of elementary siphons in a class of Petri nets

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  146. An algorithm for an optimal set of elementary siphons in Petri nets for deadlock control

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  147. A deadlock prevention approach for FMS using siphons and the theory of regions

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  148. Supervisory Control of a Modular Class of Discrete Event Systems Based on Elementary Siphons of Petri Nets

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li

  149. On the Optimal Set of Elementary Siphons in Petri Nets for Deadlock Control in FMS

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Zhiwu Li