基于Petri网的多线程程序死锁检测

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

基于Petri网的多线程程序死锁检测

黄理,顾乃杰,曹华雄

Deadlock Detection in Multi-threaded Program Based on Petri Net

HUANG Li,GU Naijie,CAO Huaxiong

计算机工程 . 2016, (4): 1 -6 . DOI: 10.3969/j.issn.1000-3428.2016.04.001