In: Proceedings of Eighth Annual National Conference on Ada Technology, 1990, Atlanta, GA, USA, pages 214-221. Fort Monmouth, NJ, USA: U.S. Army Commun.-Electron. Command, 1990.
Abstract: The paper describes the research associated with, and the development of, a software system that uses an adjacency matrix implementation of a Petri net graph to perform a static analysis of Ada source code involving tasking. In addition to providing several useful task intercommunication metrics, the system is capable of identifying a potential deadlock condition.
Keywords: static analysis (of) Ada task intercommunication (by nets); adjacency matrix implementation (of nets); intercommunication metrics; deadlock.