Abstract
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.
This work is supported by the National Science Fund Grant DID 02/29 “Modelling of Processes with Fixed Development Rules (ModProFix)”.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Atanassov, K.: Generalized Nets. World Scientific, Singapore, New Jersey, London (1991)
Atanassov, K.: On Generalized Nets Theory. Prof. Marin Drinov Academic Publishing House, Sofia (2007)
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 2009
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 2012
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)
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 1974
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)
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 Press
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-1
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 2011
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Dimitrov, D.G. (2017). Generalized Net Representation of Dataflow Process Networks. In: Sgurev, V., Yager, R., Kacprzyk, J., Atanassov, K. (eds) Recent Contributions in Intelligent Systems. Studies in Computational Intelligence, vol 657. Springer, Cham. https://doi.org/10.1007/978-3-319-41438-6_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-41438-6_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-41437-9
Online ISBN: 978-3-319-41438-6
eBook Packages: EngineeringEngineering (R0)