Use of Petri-Net Invariants to Detect Static Deadlocks in Ada Programs. - Boris Shenker; Tadao Murata; Sol M. Shatz (FJCC, 1986)

Detection of Ada Static Deadlocks Using Petri Net Invariants. - Tadao Murata; Boris Shenker; Sol M. Shatz (IEEE Trans. Software Eng., 1989)