山东科技大学 信息科学与工程学院， 山东 泰安 271019
在Ada网的基础上，利用时序Petri网为Ada任务程序建模，提出了时序Ada网的概念，利用时序Ada网，可以很好地反映Ada程序的公平性和原子性要求及描述程序的需求规范。对时序Ada网的语言网的语言性质进行分析，结论表明时序Ada网所能按受的网语言能完整地刻画程序的动态行为和时序关系，有助于对程序性质的分析和验证。
丁志军, 蒋昌俊.时序Ada网的语言性质[J].控制与决策,2003,18(1):49-52
办公地点：东北大学 综合楼313室
通讯地址：沈阳市和平区文化路3巷11号 东北大学125信箱 《控制与决策》编辑部(110819)
收件人：《控制与决策》编辑部 (如果快递，请选择EMS或顺丰快递，其他快递无法送达。)
电话: 024-83687766，23906437 
E-mail: kzyjc@mail.neu.edu.cn 
Rss
Email Alert
