Strategies to Improve Synchronous Dataflows Analysis using Mappings between Petri Nets and Dataflows

José Inácio Rocha, Octávio Páscoa Dias, Luís Filipe dos Santos Gomes

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

2 Citations (Scopus)

Abstract

Over the last decades a large variety of dataflow solutions emerged along with the proposed models of computation (MoC), namely the Synchronous Dataflows (SDF). These MoCs are widely used in streaming based systems such as data and video dominated systems. The scope of our work will be on consistent dataflow properties that can be easily demystified and efficiently determined with the outlined mapping approach between Dataflows and Petri nets. Along with this strategy, it is also highlighted that it's of a major relevance knowing in advance the proper initial conditions to start up any SDF avoiding buffer space over dimensioning. The methodology discussed in this paper improves the outcomes produced so far (in Petri net domain) at design stage aiming at knowing the amount of storage resource required, as well as has a substantial impact in the foreseen allocated memory resources by any signal processing system at the starting point and also points out new directions to minimize the buffer requirements at design stage.
Original languageEnglish
Title of host publicationIFIP Advances in Information and Communication Technology
Pages237–248
ISBN (Electronic)978-3-642-54733-1
DOIs
Publication statusPublished - 2014
Event5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2014 -
Duration: 1 Jan 2014 → …

Conference

Conference5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2014
Period1/01/14 → …

Keywords

  • Dataflows
  • Models of Computation
  • Petri nets
  • Place and Transition Invariants
  • Synchronous Dataflows

Fingerprint Dive into the research topics of 'Strategies to Improve Synchronous Dataflows Analysis using Mappings between Petri Nets and Dataflows'. Together they form a unique fingerprint.

Cite this