For the most recent entries see the Petri Nets Newsletter.

A Simple Implementation of a Petri Net for an Automated Static Analysis of Ada Task Intercommunication.

Divine, D.; Fowles, M.

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.

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

Back to the Petri Nets Bibliography