|
| Keyword : deadlock detection
|
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 | |
| |
|
|