[1]张娓娓,郭军.异构可重构计算系统的 Petri 网模型[J].计算机技术与发展,2018,28(09):112-117.[doi:10．3969/j．issn．1673－629X．2018．09．023]
　ZHANG Weiwei,GUO Jun.A Petri Net Model for Heterogeneous Ｒeconfigurable Computing Systems[J].,2018,28(09):112-117.[doi:10．3969/j．issn．1673－629X．2018．09．023]
点击复制

异构可重构计算系统的 Petri 网模型()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
28
期数:
2018年09期
页码:
112-117
栏目:
智能、算法、系统工程
出版日期:
2018-09-10

文章信息/Info

Title:
A Petri Net Model for Heterogeneous Ｒeconfigurable Computing Systems
文章编号:
1673－629X(2018)09－0112－06
作者:
张娓娓1; 郭军2
1．西安思源学院，陕西 西安 710038; 2．西北大学，陕西 西安 710069
Author(s):
ZHANG Wei－wei1; GUO Jun1
1．Xi＇an Siyuan University，Xi＇an 710038，China; 2．Northwest University，Xi＇an 710069，China
关键词:
可重构计算; 异构系统; Petri 网; 形式化模型
Keywords:
reconfigurable computing; heterogeneous system; Petri net; formal model
分类号:
TP311
DOI:
10．3969/j．issn．1673－629X．2018．09．023
文献标志码:
A
摘要:
构建系统描述模型是设计可重构计算系统的重要环节。现有的系统建模方法主要分为形式化方法和非形式化方法两种，其中，非形式化模型缺乏严格的数学定义，给模型的分析和验证带来困难。采用形式化方法建立的系统模型无歧义，更适合分析和验证。Petri 网作为一种常用的形式化建模方法，有严格的数学定义和建模理论，但是，基本 etri 网在对可重构计算系统建模时存在数据流描述能力不足的问题。为此，对基本 Petri 网进行扩展，提出了一种数据流 Petri 网。首先给出了数据流 Petri 网的结构定义和动态行为规则，并定义了模型的图形符号表示方法。然后，分析了模型对可重构计算配置任务和计算任务的描述方法，在考虑硬件资源约束条件下，讨论了可重构计算系统的数据流 Petri 网建模技术。最后，通过一个典型的乘加运算器模型分析，表明该方法易于实现，所建模型结构简洁，便于分析验证系统功能。
Abstract:
The system description model plays an important role in the design of reconfigurable computing systems． The existing models can be divided into two categories:formal and informal methods． As informal models lack rigorous mathematical definitions，it is difficult to analyze and verify the functions of a system by informal models． On the contrary，formal models are unambiguous and suitable for functional verification． Petri nets is a commonly used formal method with rigorous mathematical definitions and modeling theory． But the basic Petri net could not meet the requirement of modeling reconfigurable computing systems without the ability of describing data flow．Thus we extend the basic Petri net and propose a kind of data flow Petri net(DPN)． Firstly，we define the structure and firing rules of DPN mathematically． The graphic symbols of DPN are also defined． And then we introduce the DPN models of configurable tasks and computing tasks for reconfigurable computing systems． At the same time，the techniques for modeling reconfigurable computing systems by DPN are discussed with the consideration of hardware resource constrain． Finally，as an instance，a multiply－adder is analyzed by DPN models． The result indicates that the DPN model is simple to construct，easy to understand and convenient for functional verification．

相似文献/References:

[1]何为 侯锋 徐东平.基于本体的数据交换系统研究[J].计算机技术与发展,2008,(06):47.
　HE Wei,HOU Feng,XU Dong-ping.Research on Ontology- Based Data Exchange System[J].,2008,(09):47.
[2]江湧 于建武 刘镇 李征.电子政务系统中数据交换平台设计[J].计算机技术与发展,2008,(07):218.
　JIANG Yong,YU Jian-wu,LIU Zhen,et al.Design of Data Exchange Platform in E - Government[J].,2008,(09):218.
[3]唐山峰 王淑营.面向电子政务的异构数据交换解决方案[J].计算机技术与发展,2011,(04):13.
　TANG Shan-feng,WANG Shu-ying.Solution to Heterogeneous Data Exchange for E-Government[J].,2011,(09):13.
[4]刘品阳.一种多处理器异构系统设计与实现[J].计算机技术与发展,2011,(05):179.
　LIU Pin-yang.Design and Implementation of a Heterogeneous Multi-Processor System[J].,2011,(09):179.
[5]李君,殷小龙,万明祥. 异构云中综合时间能耗成本的任务调度算法[J].计算机技术与发展,2014,24(08):121.
　LI Jun,YIN Xiao-long,WAN Ming-xiang. Task Scheduling Algorithm Based on Time and Energy Consumption Cost in Heterogeneous Cloud[J].,2014,24(09):121.
[6]张 庆,冯 晨,余江涛,等.IMS 网络中最优负载均衡的服务触发算法研究[J].计算机技术与发展,2019,29(10):191.[doi:10. 3969 / j. issn. 1673-629X. 2019. 10. 037]
　ZHANG Qing,FENG Chen,YU Jiang-tao,et al.Research on Service Triggering Algorithm for Optimal Load Balancing in IMS Network[J].,2019,29(09):191.[doi:10. 3969 / j. issn. 1673-629X. 2019. 10. 037]

更新日期/Last Update: 2018-09-10