Performance analysis of dataflow architectures using timed coloured Petri nets

B.R.T.M. Witlox, P. Wolf van der, E.H.L. Aarts, W.M.P. Aalst van der

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Abstract

We present an approach to model dataflow architectures at a high level of abstraction using timed coloured Petri nets. We specifically examine the value of Petri nets for evaluating the performance of such architectures. For this purpose we assess the value of Petri nets both as a modelling technique for dataflow architectures and as an analysis tool that yields valuable performance data for such architectures through the execution of Petri net models. Because our aim is to use the models for performance analysis, we focus on representing the timing and communication behaviour of the architecture rather than the functionality. A modular approach is used to model architectures. We identify five basic hardware building blocks from which Petri net models of dataflow architectures can be constructed. In defining the building blocks we will identify strengths and weaknesses of Petri nets for modelling dataflow architectures. A technique called folding is applied to build generic models of dataflow architectures. A timed coloured Petri net model of the Prophid dataflow architecture, which is being developed at Philips Research Laboratories, is presented. This model has been designed in the tool ExSpect. The performance of the Prophid architecture has been analysed by simulation with this model.
Original languageEnglish
Title of host publicationHardware design and Petri nets
Place of PublicationDordrecht
PublisherKluwer Academic Publishers
Pages269-289
Number of pages21
ISBN (Print)0-7923-7791-5
DOIs
Publication statusPublished - 2000
Externally publishedYes

Fingerprint

Petri nets
Research laboratories
Hardware
Communication

Cite this

Witlox, B. R. T. M., Wolf van der, P., Aarts, E. H. L., & Aalst van der, W. M. P. (2000). Performance analysis of dataflow architectures using timed coloured Petri nets. In Hardware design and Petri nets (pp. 269-289). Dordrecht: Kluwer Academic Publishers. https://doi.org/10.1007/978-1-4757-3143-9_14
Witlox, B.R.T.M. ; Wolf van der, P. ; Aarts, E.H.L. ; Aalst van der, W.M.P. / Performance analysis of dataflow architectures using timed coloured Petri nets. Hardware design and Petri nets. Dordrecht : Kluwer Academic Publishers, 2000. pp. 269-289
@inbook{a59cf0c4846b450dad5abfb50ea7b1b8,
title = "Performance analysis of dataflow architectures using timed coloured Petri nets",
abstract = "We present an approach to model dataflow architectures at a high level of abstraction using timed coloured Petri nets. We specifically examine the value of Petri nets for evaluating the performance of such architectures. For this purpose we assess the value of Petri nets both as a modelling technique for dataflow architectures and as an analysis tool that yields valuable performance data for such architectures through the execution of Petri net models. Because our aim is to use the models for performance analysis, we focus on representing the timing and communication behaviour of the architecture rather than the functionality. A modular approach is used to model architectures. We identify five basic hardware building blocks from which Petri net models of dataflow architectures can be constructed. In defining the building blocks we will identify strengths and weaknesses of Petri nets for modelling dataflow architectures. A technique called folding is applied to build generic models of dataflow architectures. A timed coloured Petri net model of the Prophid dataflow architecture, which is being developed at Philips Research Laboratories, is presented. This model has been designed in the tool ExSpect. The performance of the Prophid architecture has been analysed by simulation with this model.",
author = "B.R.T.M. Witlox and {Wolf van der}, P. and E.H.L. Aarts and {Aalst van der}, W.M.P.",
year = "2000",
doi = "10.1007/978-1-4757-3143-9_14",
language = "English",
isbn = "0-7923-7791-5",
pages = "269--289",
booktitle = "Hardware design and Petri nets",
publisher = "Kluwer Academic Publishers",
address = "Netherlands",

}

Witlox, BRTM, Wolf van der, P, Aarts, EHL & Aalst van der, WMP 2000, Performance analysis of dataflow architectures using timed coloured Petri nets. in Hardware design and Petri nets. Kluwer Academic Publishers, Dordrecht, pp. 269-289. https://doi.org/10.1007/978-1-4757-3143-9_14

Performance analysis of dataflow architectures using timed coloured Petri nets. / Witlox, B.R.T.M.; Wolf van der, P.; Aarts, E.H.L.; Aalst van der, W.M.P.

Hardware design and Petri nets. Dordrecht : Kluwer Academic Publishers, 2000. p. 269-289.

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

TY - CHAP

T1 - Performance analysis of dataflow architectures using timed coloured Petri nets

AU - Witlox, B.R.T.M.

AU - Wolf van der, P.

AU - Aarts, E.H.L.

AU - Aalst van der, W.M.P.

PY - 2000

Y1 - 2000

N2 - We present an approach to model dataflow architectures at a high level of abstraction using timed coloured Petri nets. We specifically examine the value of Petri nets for evaluating the performance of such architectures. For this purpose we assess the value of Petri nets both as a modelling technique for dataflow architectures and as an analysis tool that yields valuable performance data for such architectures through the execution of Petri net models. Because our aim is to use the models for performance analysis, we focus on representing the timing and communication behaviour of the architecture rather than the functionality. A modular approach is used to model architectures. We identify five basic hardware building blocks from which Petri net models of dataflow architectures can be constructed. In defining the building blocks we will identify strengths and weaknesses of Petri nets for modelling dataflow architectures. A technique called folding is applied to build generic models of dataflow architectures. A timed coloured Petri net model of the Prophid dataflow architecture, which is being developed at Philips Research Laboratories, is presented. This model has been designed in the tool ExSpect. The performance of the Prophid architecture has been analysed by simulation with this model.

AB - We present an approach to model dataflow architectures at a high level of abstraction using timed coloured Petri nets. We specifically examine the value of Petri nets for evaluating the performance of such architectures. For this purpose we assess the value of Petri nets both as a modelling technique for dataflow architectures and as an analysis tool that yields valuable performance data for such architectures through the execution of Petri net models. Because our aim is to use the models for performance analysis, we focus on representing the timing and communication behaviour of the architecture rather than the functionality. A modular approach is used to model architectures. We identify five basic hardware building blocks from which Petri net models of dataflow architectures can be constructed. In defining the building blocks we will identify strengths and weaknesses of Petri nets for modelling dataflow architectures. A technique called folding is applied to build generic models of dataflow architectures. A timed coloured Petri net model of the Prophid dataflow architecture, which is being developed at Philips Research Laboratories, is presented. This model has been designed in the tool ExSpect. The performance of the Prophid architecture has been analysed by simulation with this model.

U2 - 10.1007/978-1-4757-3143-9_14

DO - 10.1007/978-1-4757-3143-9_14

M3 - Chapter

SN - 0-7923-7791-5

SP - 269

EP - 289

BT - Hardware design and Petri nets

PB - Kluwer Academic Publishers

CY - Dordrecht

ER -

Witlox BRTM, Wolf van der P, Aarts EHL, Aalst van der WMP. Performance analysis of dataflow architectures using timed coloured Petri nets. In Hardware design and Petri nets. Dordrecht: Kluwer Academic Publishers. 2000. p. 269-289 https://doi.org/10.1007/978-1-4757-3143-9_14