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

来源：计算机技术与发展杂志2018年第09期北京时间：

作者：张娓娓;郭军

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

关键词：可重构计算;异构系统;Petri 网;形式化模型