Generalized Net Representation of Dataflow Process Networks

  • Dimitar G. DimitrovEmail author
Part of the Studies in Computational Intelligence book series (SCI, volume 657)


This paper presents translation rules for mapping from a given dataflow process network (DPN) to a generalized net (GN). The so obtained GN has the same behaviour as the corresponding DPN. A reduced GN that represents the functioning and the results of the work of an arbitrary DPN is also defined.


Generalized nets Dataflow process networks Kahn process networks 


  1. 1.
    Atanassov, K.: Generalized Nets. World Scientific, Singapore, New Jersey, London (1991)Google Scholar
  2. 2.
    Atanassov, K.: On Generalized Nets Theory. Prof. Marin Drinov Academic Publishing House, Sofia (2007)Google Scholar
  3. 3.
    Dimitrov, D.G.: GN IDE—a software tool for simulation with generalized nets. In: Proceedings of Tenth International Workshop on Generalized Nets, pp. 70–75. Sofia, 5 Dec 2009Google Scholar
  4. 4.
    Dimitrov, D.G., Marinov, M.: On the representation of Kahn process networks by a generalized net. In: 6th IEEE International Conference on Intelligent Systems (IS’12), pp. 168–172. Sofia, Bulgaria, 6–8 Sept 2012Google Scholar
  5. 5.
    Geilen, M., Basten, T.: Requirements on the execution of kahn process networks, In: Degano, P. (eds.) Programming Languages and Systems. In: 12th European Symposium on Programming, ESOP 2003, Proceedings, pp. 319–334. Warsaw, Poland, 7–11, LNCS 2618. Springer, Berlin, Germany (2003)Google Scholar
  6. 6.
    Kahn, G.: The semantics of a simple language for parallel programming. In: Rosenfeld, J.L. (ed.) Information Processing 74. In: Proceedings of IFIP Congress 74, North-Holland, Stockholm, Sweden, 5–10 Aug 1974Google Scholar
  7. 7.
    Koycheva E., Trifonov, T., Aladjov, H.: Modelling of UML sequence diagrams with generalized nets. In: International IEEE Symposium on Intelligent Systems, (79 84), Varna, IEEE (2002)Google Scholar
  8. 8.
    Lee, E., Matsikoudis, E.: The semantics of dataflow with firing. In: Huet, G., Plotkin, G., Lvy, J.-J., Bertot, Y. (eds.) Chapter in From Semantics to Computer Science: Essays in Memory of Gilles Kahn, Preprint Version, 07 March 2008, Copyright (c) Cambridge University PressGoogle Scholar
  9. 9.
    Lee, E., Parks, T.: Dataflow process networks. Readings in Hardware/Software Co-design. Kluwer Academic Publishers Norwell, pp. 59–85 (2002). ISBN:1-55860-702-1Google Scholar
  10. 10.
    Rocha, J.-I., Gomes, L., Dias, O.P.: Dataflow model property verification using Petri net translation techniques. INDIN 2011, pp. 783-788, 26–29 July 2011Google Scholar

Copyright information

© Springer International Publishing Switzerland 2017

Authors and Affiliations

  1. 1.Faculty of Mathematics and InformaticsSofia UniversitySofiaBulgaria

Personalised recommendations