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

作     者：张娓娓 郭军 ZHANG Wei-wei;GUO Jun

作者机构：西安思源学院陕西西安710038 西北大学陕西西安710069 

出 版 物：《计算机技术与发展》 (Computer Technology and Development)

年 卷 期：2018年第28卷第9期

页      面：112-117页

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：陕西省教育自然科学专项基金(17JK1073) 陕西省自然科学基础研究计划资助项目(2017JM6056) 

主　　题：可重构计算 异构系统 Petri网 形式化模型 

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