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

  • José-Inácio Rocha
  • Octávio Páscoa Dias
  • Luís Gomes
Part of the IFIP Advances in Information and Communication Technology book series (IFIPAICT, volume 423)


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.


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


  1. 1.
    Bilsen, G., Engels, M., Lauwereins, R., Peperstraete, J.: Cycle-static dataflow. IEEE Transactions on Signal Processing 44(2), 397–408 (1996)CrossRefGoogle Scholar
  2. 2.
    Buck, J.T., Lee, E.A.: Scheduling dynamic dataflow graphs with bounded memory using the token flow model. In: IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 1993, vol. 1, pp. 429–432 (April 1993)Google Scholar
  3. 3.
    Bhattacharya, B., Bhattacharyya, S.S.: Parameterized Dataflow Modeling for DSP Systems. IEEE Transactions on Signal Processing 49, 2408–2421 (2001)CrossRefMathSciNetGoogle Scholar
  4. 4.
    Lee, E., Messerschmitt, D.G.: Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing. IEEE Transactions on Computers C-36(1), 24–35 (1987)CrossRefGoogle Scholar
  5. 5.
    Rocha, J.-I., Gomes, L., Dias, O.: Petri net verification techniques on synchronous dataflow models. In: IECON 2011 37th Annual Conference on IEEE Industrial Electronics Society, pp. 3792–3797 (2011)Google Scholar
  6. 6.
    Rocha, J.-I., Páscoa Dias, O., Gomes, L.: Exploiting Dataflows and Petri Nets Mappings. In: 2013 11th IEEE International Conference on Industrial Informatics (INDIN), pp. 590–595 (2013)Google Scholar
  7. 7.
    Yeap, G.K.: Practical Low Power Digital VLSI Design. Springer (1997)Google Scholar
  8. 8.
    Giraud, C., Valk, R.: Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. Springer, Heidelberg (2003)Google Scholar
  9. 9.
    Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE 77(4), 541–580 (1989)CrossRefGoogle Scholar
  10. 10.
    Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall PTR, Upper Saddle River (1981)Google Scholar
  11. 11.
    Kahn, G.: The Semantic of a Simple Language for Parallel Programming. In: Proc. of the IFfP Congress 74, vol. 74, North-Holland Publishing Co. (1974)Google Scholar
  12. 12.
    Dennis, J.: First version of a data flow procedure language. In: Robinet, B. (ed.) Programming Symposium. LNCS, vol. 19, pp. 362–376. Springer, Heidelberg (1974)CrossRefGoogle Scholar
  13. 13.
    Lee, E.A., Messerschmitt, D.G.: Synchronous data flow. Proceedings of the IEEE 75(9), 1235–1245 (1987)CrossRefGoogle Scholar
  14. 14.
    Rocha, J.-I., Gomes, L., Páscoa Dias, O.: Dataflow Model Property Verification Using Petri net Translation Techniques. In: INDIN’2011 - 9th IEEE International Conference on Industrial Informatics, pp. 783–788 (2011), doi:10.1109/INDIN.2011.6034993, ISBN 978-1-4577-0434-5Google Scholar
  15. 15.
    Rocha, J.-I., Gomes, L., Páscoa Dias, O.: Analysing Storage Resources on Synchronous Dataflows using Petri Net Verification Techniques. In: IECON’2012 – The 38th Annual Conference of the IEEE Industrial Electronics Society (2012)Google Scholar
  16. 16.
    Boukala, M.C., Petrucci, L.: Towards distributed verification of petri nets properties. In: Barkaoui, K., Ioualalen, M. (eds.) Proceedings of the First International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2007), pp. 13–24. British Computer Society, Swinton (2007)Google Scholar
  17. 17.
    INA - Integrated Net Analyser, Humboldt – Universita zu Berlin,
  18. 18.
    TINA-TIme Petri Net Analyzer, Laboratoire d’Analyse et d’Architecture des Systémes,

Copyright information

© IFIP International Federation for Information Processing 2014

Authors and Affiliations

  • José-Inácio Rocha
    • 1
    • 2
    • 3
  • Octávio Páscoa Dias
    • 2
  • Luís Gomes
    • 1
    • 3
  1. 1.Faculdade de Ciências e TecnologiasUniversidade Nova de LisboaPortugal
  2. 2.Escola Superior de Tecnologia de SetúbalSetúbalPortugal
  3. 3.Centro de Tecnologia e SistemasUNINOVAPortugal

Personalised recommendations