In: Journal of Systems & Software, Vol. 8, No. 5, pages 343-359. 1988.
Abstract: A description is provided of a framework for automatic static analysis of distributed programs written in Ada. The aim is the discovery of a program's potential tasking behavior. An important aspect of the approach is the translation of source programs into a Petri net equivalent model defined by an abstract grammar system.