Pei-yu Li

Formal Veri cation of Distributed Deadlock Detection Algorithm Using a Time-dependent Proof Technique

B. McMillin, Pei-yu Li, 2007 .

Robust Deadlock Control for Automated Manufacturing Systems With Unreliable Resources Based on Petri Net Reachability Graphs

Pei Li, Gaiyun Liu, Zhiwu Li, 2019, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

Two-step approach to robust deadlock control in automated manufacturing systems with multiple resource failures

Pei Li, Gaiyun Liu, NaiQi Wu, 2018, Journal of the Chinese Institute of Engineers.

Matching Spec# Specifications

Peihan Li, Pei-yu Li, 2013 .

Fault-tolerant distributed deadlock detection/resolution

Bruce M. McMillin, Pei-yu Li, B. McMillin, 1993, Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93.