In: Faculty of Engineering Kyushu Univ, Fukuoka, Japan, Memoirs of the Faculty of Engineering, Kyushu University, Vol. 48, No. 2, pages 153-165. 1988.
Abstract: This paper shows that deadlocks and livelocks in a concurrent Ada program can be analyzed using Petri net theory. The authors model tasking behaviors of concurrent Ada programs by extended Petri nets and analyze the modeled programs by linear algebra methods.