ZhiWu Li profile picture

ZhiWu Li

Deadlock Resolution in Automated Manufacturing Systems
Computational Approaches in Biomedical Nano-Engineering
Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach
Scheduling and Reconfiguration of Real-Time Systems A Supervisory Control Approach
Formal Methods in Manufacturing Systems Recent Advances
Verification and Evaluation of Computer and Communication Systems
Verification and Evaluation of Computer and Communication Systems 15th International Conference, VECoS 2021, Virtual Event, November 22–23, 2021, Revised Selected Papers
Scheduling and Reconfiguration of Real-Time Systems A Supervisory Control Approach