Ada中实时结构的Petri网建模与分析

• 作者: 傅建明 彭蓉 朱福喜
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 并发实时 时间Petri 网 模型 时间语义
• 年，卷（期）: 2002,（7）
• 所属期刊栏目: 软件技术与研究
• 页码范围: 5-7，40
• 页数: 4页
• 分类号: TP3
• 字数: 3561字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2002.07.003

摘要

本文从一般时间网出发,派生出一种简单时间网,并建模了延迟、分支选择、异步选择、优先权等Ada实时结构,特别是把优先权处理为一种时间特性.这样不仅扩充了Petri网在Ada中的建模能力,同时可以更加准确刻画Ada程序行为.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	傅建明		1	0	0.0	0.0
2	朱福喜		1	0	0.0	0.0
3	彭蓉		1	0	0.0	0.0