Abstract
We are developing a tool named Kaira. This tool is intended for modelling, simulation and generation of parallel applications. Modelling is based on the variant of Coloured Petri Nets. Coloured Petri Nets provide the theoretical background and we use their syntax and semantics. Moreover our tool can automatically generate standalone parallel applications from the model. In this paper we present how to develop parallel applications in Kaira. Like an example we use two dimensional heat flow problem solved by Jacobi finite difference method. We present different aspects and different approaches how to model this problem in Kaira on different levels of abstraction.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bohm, S., Behalek, M.: Kaira: Modelling and generation tool based on petri nets for parallel applications. In: 13th International Conference on Computer Modelling and Simulation (UKSim 2011), Cambridge, United Kingdom (2011)
Snir, M., Otto, S., Huss-Lederman, S., Walker, D., Dongarra, J.: MPI-The Complete Reference, 2nd (revised) edn. The MPI Core, vol. 1. MIT Press, Cambridge (1998)
Jensen, K., Kristensen, L.M.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems, 1st edn. Springer Publishing Company, Incorporated, Heidelberg (2009)
Reisig, W.: Petri nets: an introduction. Springer-Verlag New York, Inc., New York (1985)
Bazewicz, J., Trystram, D., Ecker, K., Plateau, B.: Handbook on Parallel and Distributed Processing, 1st edn. Springer-Verlag New York, Inc., Secaucus (2000)
Hughes, C., Hughes, T.: Parallel and Distributed Programming Using C++. Prentice Hall Professional Technical Reference (2003)
Reisig, W.: Elements Of Distributed Algorithms: Modeling and Analysis with Petri Nets. Springer, Heidelberg (1998)
Delistavrou, C.T., Margaritis, K.G.: Survey of software environments for parallel distributed processing: Parallel programming education on real life target systems using production oriented software tools. In: Panhellenic Conference on Informatics, pp. 231–236 (2010)
Jensen, K., Kristensen, L., Wells, L.: Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. International Journal on Software Tools for Technology Transfer (STTT) 9, 213–254 (2007)
Kummer, O., Wienberg, F., Duvigneau, M., Schumacher, J., Köhler, M., Moldt, D., Rölke, H., Valk, R.: An extensible editor and simulation engine for petri nets: Renew. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 484–493. Springer, Heidelberg (2004)
Buell, D., El-Ghazawi, T., Gaj, K., Kindratenko, V.: Guest editors’ introduction: High-performance reconfigurable computing. Computer 40, 23–27 (2007)
Foster, I.: Designing and Building Parallel Programs: Concepts and Tools for Parallel Software Engineering. Addison-Wesley Longman Publishing Co., Inc, Boston (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Böhm, S., Běhálek, M., Garncarz, O. (2011). Developing Parallel Applications Using Kaira. In: Snasel, V., Platos, J., El-Qawasmeh, E. (eds) Digital Information Processing and Communications. ICDIPC 2011. Communications in Computer and Information Science, vol 188. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22389-1_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-22389-1_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22388-4
Online ISBN: 978-3-642-22389-1
eBook Packages: Computer ScienceComputer Science (R0)