10.3969/j.issn.1000-386X.2002.07.003
Ada中实时结构的Petri网建模与分析
本文从一般时间网出发,派生出一种简单时间网,并建模了延迟、分支选择、异步选择、优先权等Ada实时结构,特别是把优先权处理为一种时间特性.这样不仅扩充了Petri网在Ada中的建模能力,同时可以更加准确刻画Ada程序行为.
并发实时、时间Petri、网、模型、时间语义
19
TP3(计算技术、计算机技术)
国家军工预研项目15.5.1
2004-01-15(万方平台首次上网日期,不代表论文的发表时间)
共4页
5-7,40