GRAPH GRAMMAR BASED PETRI NET CONTROLLED DIRECT SOLVER ALGORITHM

Arkadiusz Szymczak; Maciej Paszyński; David Pardo

doi:10.7494/csci.2010.11.0.65

Authors

Arkadiusz Szymczak AGH University of Science and Technology
Maciej Paszyński AGH University of Science and Technology
David Pardo Estadística e Investigación Operativa, IKERBASQUE (Basque Foundation for Sciences)

DOI:

https://doi.org/10.7494/csci.2010.11.0.65

Keywords:

Petri nets, graph grammar, direct solver

Abstract

In this paper we present the Petri net setting the optimal order of elimination for directsolver working with hp refined finite finite element meshes. The computational mesh is representedby a graph, with graph vertices corresponding to finite element nodes. The directsolver algorithm is expressed as a sequence of graph grammar productions, attributing thegraph vertices. The Petri net dictates the order of graph grammar productions, representingthe execution of the solver algorithm over a graph representation of computational mesh.The presentation is concluded with numerical experiments performed for a model L-shapedomain.

Downloads

Download data is not yet available.

Author Biographies

Arkadiusz Szymczak, AGH University of Science and Technology

Department of Computer Science

Maciej Paszyński, AGH University of Science and Technology

Department of Computer Science

David Pardo, Estadística e Investigación Operativa, IKERBASQUE (Basque Foundation for Sciences)

Departamento de Matemática Aplicada

References

Babuska I., Guo B.: The hp-version of the finite element method. Part I: The basic approximation results. Comput. Mech., vol. 1, 1986, pp. 21–41.

Babuska I., Guo B.: The hp-version of the finite element method. Part II: General results and applications. Comput. Mech., vol. 1, 1986, pp. 203–220.

Paszynski M., Paszynska A.: Graph transformations for modeling parallel hpadaptive FEM computations. Lecture Notes in Computer Science, vol. 4967, 2007, pp. 1313–1322.

Paszynska A., Paszynski M., Grabska E.: Graph Transformations for Modeling hp-Adaptive Finite Element Method with Triangular Elements. Lecture Notes in Computer Science, vol. 5103, 2008, pp. 604–614.

Paszynski M., Pardo D., Paszynska A.: Parallel multi-frontal solver for p adaptive finite element modeling of multi-physics computational problems. Journal of Computational Science, vol. 1, 2010.

Szymczak A., Paszynski M.: Graph grammar based Petri nets model of concurrency for self-adaptive hp-Finite Element Method with rectangular elements. Proc. of Conference Parallel Processing and Applied Mathematics, 2009.

Szymczak A., Paszynski M.: Graph grammar based Petri nets model of concurrency for self-adaptive hp-Finite Element Method with triangular elements. Lecture Notes in Computer Science, vol. 5545, 2009, pp. 845–854.

Demkowicz L.: Computing with hp-Adaptive Finite Elements, Vol. I. One andTwo Dimensional Elliptic and Maxwell Problems. Chapman & Hall / CRC Applied Mathematics & Nonlinear Science, 2007.

Irons B.: A frontal solution program for finite-element analysis. International Journal of Numerical Methods in Engineering, vol. 2, 1970, pp. 5–32.

Duff I.S., Reid J.K.: The multifrontal solution of indefinite sparse symmetric linear systems. ACM Transactions on Mathematical Software, vol. 9, 1983, pp. 302–325.

Paszynski M.: On the Parallelization of Self Adaptive hp-Finite Element Method. Part I. Composite Programmable Graph Grammar Model Fundamenta Informaticae, vol. 94, 2009, pp. 411–434.

Paszynski M., Schaefer R.: Graph grammar driven parallel partial differential equation solver. Proc. of Concurrency & Computations, Practise & Experience, 2010.

Paszynski M., Pardo D., Torres-Verdin C., Demkowicz L., Calo V.: A Parallel Direct Solver for the Self-Adaptive hp Finite Element Method. Journal of Parallel and Distributed Computing, vol. 70, 2010, pp. 255–276.

A MUltifrontal Massively Parallel sparse direct Solver. http://www.enseeiht.fr/lima/apo/MUMPS/.