Mapping iterative algorithms onto processor arrays by the use of Petri Net models

K. E. Karagianni, E. D. Kyriakis-Bitzaros, T. Stouraitis

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

In this paper, Petri Nets (PNs) are used for deriving efficient mapping transformations of a wide class of algorithms to processor arrays. In the proposed methodology, given an algorithm and the interconnections of the processor array, two PNs are constructed: one that is related to the algorithm and one that is related to the processor array. The former PN models the execution of the algorithm and differs drastically from the common data-flow methods. Based on properties of PNs and on the reachability tree analysis technique, a theorem is given, through which the two PN model suggest all possible ways of implementing the algorithm by the processor array.

Original languageBritish English
Title of host publicationMPCS 1994 - 1st International Conference on Massively Parallel Computing Systems
Subtitle of host publicationThe Challenges of General-Purpose and Special-Purpose Computing
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages140-151
Number of pages12
ISBN (Electronic)0818663227, 9780818663222
DOIs
StatePublished - 1994
Event1st International Conference on Massively Parallel Computing Systems: The Challenges of General-Purpose and Special-Purpose Computing, MPCS 1994 - Ischia, Italy
Duration: 2 May 19946 May 1994

Publication series

NameMPCS 1994 - 1st International Conference on Massively Parallel Computing Systems: The Challenges of General-Purpose and Special-Purpose Computing

Conference

Conference1st International Conference on Massively Parallel Computing Systems: The Challenges of General-Purpose and Special-Purpose Computing, MPCS 1994
Country/TerritoryItaly
CityIschia
Period2/05/946/05/94

Fingerprint

Dive into the research topics of 'Mapping iterative algorithms onto processor arrays by the use of Petri Net models'. Together they form a unique fingerprint.

Cite this