时序Ada网的语言性质

• 作者: 丁志军 蒋昌俊
• 来源期刊: 控制与决策
• 学科: 工学
• 关键词: 时序Petri网 时序Ada网 Ada任务 语言
• 年，卷（期）: 2003,（1）
• 所属期刊栏目: 论文与报告
• 页码范围: 49-52,57
• 页数: 5页
• 分类号: TP301
• 字数: 3873字
• 语种: 中文
• DOI: 10.3321/j.issn:1001-0920.2003.01.010

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蒋昌俊	同济大学计算机科学与工程系	93	1492	18.0	36.0
3	丁志军	山东科技大学信息科学与工程学院	37	329	8.0	17.0