Exploiting dataflows and Petri nets mappings

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Abstract

Dataflow and Petri nets are used in modeling and analyzing streaming applications, which execute indefinitely using limited resources. Therefore it is essential to know if a system model guaranties certain properties, namely, liveness, boundedness or the maximal throughput. Besides, working with hardware/ software co-design techniques helps to define architecture and platform mapping, accommodating static and dynamically reconfigurable components. Over the last two decades a multitude of dataflow domains emerged along with the specificity of the outlined model of computation, in particular the Synchronous Dataflows, which have proved their adequacy in data-dominated systems, and it is nowadays a mature model of computation. This paper describes a set of translating rules allowing the mapping from Synchronous Dataflows into Petri nets. Study on invariants is presented. Signal processing application examples are used, illustrating the effectiveness of Petri net based modeling strategies to optimize digital system design, identifying a schedule that minimizes the amount of storage resource thus improving the systems' power consumption. The proposed approach allows one to know in advance at design stage the maximum potential and effective amount of storage resource at any signal processing system.
Original languageUnknown
Title of host publicationIEEE International Conference on Industrial Informatics (INDIN)
Pages590-595
DOIs
Publication statusPublished - 1 Jan 2013
EventINDIN 2013: 11th IEEE International Conference on Industrial Informatics -
Duration: 1 Jan 2013 → …

Conference

ConferenceINDIN 2013: 11th IEEE International Conference on Industrial Informatics
Period1/01/13 → …

Cite this

Gomes, L. F. D. S., & DEE Group Author (2013). Exploiting dataflows and Petri nets mappings. In IEEE International Conference on Industrial Informatics (INDIN) (pp. 590-595) https://doi.org/10.1109/INDIN.2013.6622950