In: IEEE Transactions on Parallel and Distributed Systems, Vol. 1, No. 4, pages 424-441. October 1990.
Abstract: The use of Petri nets for defining a general static analysis framework for Ada tasking is advocated. The framework has evolved into a collection of tools that have proven to be a very valuable platform for experimental research. The design and implementation of tools that make up the tasking-oriented toolkit for the Ada language (TOTAL) are defined and discussed. Examples demonstrate the way these tools integrate in order to perform the translation of Ada source to Petri net format. The back-end information display subsystem and the use of tools and techniques to support user-directed searches of Ada-net reachability graphs are discussed.
Keywords: net-based toolkit (for) Ada tasking analysis; Ada source translation (into) net(s); Ada net reachability graph.