异构可重构计算系统的Petri网模型

• 作者: 张娓娓 郭军
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 可重构计算 异构系统 Petri网 形式化模型
• 年，卷（期）: 2018,（9）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 112-117
• 页数: 6页
• 分类号: TP311
• 字数: 4063字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2018.09.023

摘要

构建系统描述模型是设计可重构计算系统的重要环节.现有的系统建模方法主要分为形式化方法和非形式化方法两种,其中,非形式化模型缺乏严格的数学定义,给模型的分析和验证带来困难.采用形式化方法建立的系统模型无歧义,更适合分析和验证.Petri网作为一种常用的形式化建模方法,有严格的数学定义和建模理论,但是,基本Petri网在对可重构计算系统建模时存在数据流描述能力不足的问题.为此,对基本Petri网进行扩展,提出了一种数据流Petri网.首先给出了数据流Petri网的结构定义和动态行为规则,并定义了模型的图形符号表示方法.然后,分析了模型对可重构计算配置任务和计算任务的描述方法,在考虑硬件资源约束条件下,讨论了可重构计算系统的数据流Petri网建模技术.最后,通过一个典型的乘加运算器模型分析,表明该方法易于实现,所建模型结构简洁,便于分析验证系统功能.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张娓娓		13	28	3.0	4.0
2	郭军		19	110	5.0	10.0