静态检测Ada任务死锁的Petri网方法

文中提出了一种利用Ｐｅｔｒｉ网对Ａｄａ任务静态检测其死锁的方法．在检测时，首先建立Ａｄａ程序各单元的Ａｄａ网，再根据程序中各单元的关系将Ａｄａ网组装成完整的Ａｄａ网，然后对其作可达性分析来检测死锁．本文介绍了Ａｄａ网的建立和组装方法，对Ａｄａ网的特点作了理论上的分析。