时序Ada网的语言性质 (2003年)

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