For the most recent entries see the Petri Nets Newsletter.

Adaflow: The Automation of Software Analysis Using Petri Nets.

Grecco, A.J.

Massachusetts Inst. of Tech., Cambridge, Masters thesis, 1988.

Abstract: The thesis is the preliminary work for a new automated software analysis tool entitled `AdaFlow'. The tool, which is written in Ada, takes Ada programs as input, and translates the source code to a Petri net model. The Petri net model provides the user with the capability to perform automated, interactive analysis of Ada programs for the properties such as safety and deadlocks.


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

Back to the Petri Nets Bibliography