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.
Back to the Petri Nets Bibliography