An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis (1996)

by S M Shatz, S Tu, T Murata, S Duri
Venue:IEEE Transactions on Parallel and Distributed Systems