摘要
在 Ada网的基础上 ,利用时序 Petri网为 Ada任务程序建模 ,提出了时序 Ada网的概念。利用时序 Ada网 ,可以很好地反映 Ada程序的公平性和原子性要求及描述程序的需求规范。对时序 Ada网的语言性质进行分析 ,结论表明时序 Ada网所能接受的网语言能完整地刻画程序的动态行为和时序关系 ,有助于对程序性质的分析和验证。
Temporal Petri nets are used for modeling Ada tasking to introduce temporal Ada nets. The temporal Ada nets describe the fair requirement of statements' execution and specifications of programs' demand by temporal logic. Atomic actions of statements are represented by means of the transition firing. Hence temporal Ada nets describe effectively the structures and requirements of Ada tasking. The language properties of temporal Ada nets are analyzed. The net languages accepted by temporal Ada nets can describe clearly the total dynamic actions and temporal relationships of Ada tasking, which is helpful to analyze and verify the properties of Ada tasking.
出处
《控制与决策》
EI
CSCD
北大核心
2003年第1期49-52,57,共5页
Control and Decision
基金
国家自然科学基金资助项目 (6 99730 2 9
6 99330 2 0 )
国家杰出青年科学基金资助项目 (6 0 12 5 2 0 5 )
全国优秀博士论文专项基金资助项目(199934 )
