Generation of Graphical Petri Nets Visualization and Simulation of ADA Tasking Behavior
01 January 1990
This thesis presents a technique to transform textual Ada based Petri nets (abstract grammar nets automatically generated to model intertasking behavior and used to generate reachability graphs for static analysis) into graphical Ada based Petri nets which through simulation and animation allow developers to visualize the tasking behavior (interprocess communication) as well as other related characteristics of distributed programs such as concurrent rendezvous deadlocks and parallelism.