In: Proceedings of the 9th International Conference on Distributed Computing Systems; 1989, Newport Beach, CA, USA, pages 595-602. Washington: IEEE Comput. Soc. Press, 1989.
Abstract: A discussion is presented of research on the development of a toolkit that supports general static analysis using a Petri net framework for Ada tasking. The toolkit comprises special tools for Ada tasking analysis and general-purpose tools to support arbitrary Petri-net-based research. The analysis toolkit contains the front-end translator subsystem, which translates Ada source into a Petri net format, and, the back-end information display subsystem, which receives user queries and presents tasking analysis results.
Keywords: toolkit (for) Ada tasking analysis; Ada translator; general-purpose net tool.