Shengru Tu Sol M. Shatz Tadao Murata Applying Petri Net Reduction to Support Ada-Tasking Deadlock Detection. 96-103 1990 conf/icdcs/1990 ICDCS db/conf/icdcs/icdcs90.html#TuSM90