|
| Xin ZHOU
| |
|
| |
|
| |
|
|
Accelerating Reachability Analysis on Petri Net for Mutual Exclusion-Based Deadlock Detection
Yunkai DU Naijie GU Xin ZHOU | Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2016/12/01
Vol. E99-D
No. 12
pp. 2978-2985
Type of Manuscript:
Special Section PAPER (Special Section on Parallel and Distributed Computing and Networking)
Category: Distributed system
Keyword:
deadlock detection, Petri-net, mutual exclusion, reachability, | | | Summary | Full Text:PDF | |
|
Prognostic and Diagnostic Technology for DC Actuated Contactors and Motor Starters
Xin ZHOU Lian ZOU Roger BRIGGS | Publication: IEICE TRANSACTIONS on Electronics
Publication Date: 2009/08/01
Vol. E92-C
No. 8
pp. 1045-1051
Type of Manuscript:
Special Section PAPER (Special Section on Recent Development of Electro-Mechanical Devices (IS-EMD2008))
Category: Contactors
Keyword:
contactor, motor starter, diagnostics, prognostics, contact life, | | | Summary | Full Text:PDF | |
|
|