For the most recent entries see the Petri Nets Newsletter.

Design and Implementation of a Petri Net Based Toolkit for Ada Tasking Analysis.

Shatz, Sol M.; Mai, Khanh; Black, Christopher; Tu, Shengru

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography