An application of Petri net reduction for Ada tasking deadlock analysis (1996)

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