Use of Petri net invariants to detect static deadlocks in Ada programs

• Authors:

• B. Shenker;T. Murata;S. M. Shatz

• Affiliations:

• Department of EECS, University of Illinois at Chicago, Chicago, Ill.;Department of EECS, University of Illinois at Chicago, Chicago, Ill.;Department of EECS, University of Illinois at Chicago, Chicago, Ill.

• Venue:
• ACM '86 Proceedings of 1986 ACM Fall joint computer conference
• Year:
• 1986