在Ada网的基础上,利用时序Petri网为Ada任务程序建模,提出了时序Ada网的概念,利用时序Ada网,可以很好地反映Ada程序的公平性和原子性要求及描述程序的需求规范。对时序Ada网的语言网的语言性质进行分析,结论表明时序Ada网所能按受的网语言能完整地刻画程序的动态行为和时序关系,有助于对程序性质的分析和验证。