STATIC DETECTION OF ADA TASK DEADLOCK WITH PETRI NET

A method to detect Ada task deadlock is proposed. The APN（Ada Petri Net） of every program unit is created and installed into an integral APN. And then the reachability of the integral APN is analyzed to detect deadlock. After introducing how to create and install APN, the characteristics of APN are analyzed theoretically. The definition of non deadlock APN and the algorithm of reachability analysis are given.