Graph Grammar Based Petri Nets Model of Concurrency for Self-adaptive hp-Finite Element Method with Triangular Elements

Authors:
Arkadiusz Szymczak;Maciej Paszyński
Affiliations:
Department of Computer Science, AGH University of Science and Technology, Cracow, Poland 30-059;Department of Computer Science, AGH University of Science and Technology, Cracow, Poland 30-059
Venue:
ICCS 2009 Proceedings of the 9th International Conference on Computational Science
Year:
2009

Citing 4
Cited 2

Parallel, fully automatic hp-adaptive 3D finite element package

Engineering with Computers
Graph Transformations for Modeling hp-Adaptive Finite Element Method with Triangular Elements

ICCS '08 Proceedings of the 8th international conference on Computational Science, Part III
Computing with Hp-Adaptive Finite Elements, Vol. 2: Frontiers Three Dimensional Elliptic and Maxwell Problems with Applications

Computing with Hp-Adaptive Finite Elements, Vol. 2: Frontiers Three Dimensional Elliptic and Maxwell Problems with Applications
Graph transformations for modeling parallel hp-adaptive finite element method

PPAM'07 Proceedings of the 7th international conference on Parallel processing and applied mathematics

Graph grammar based Petri nets model of concurrency for self-adaptive hp-finite element method with rectangular elements

PPAM'09 Proceedings of the 8th international conference on Parallel processing and applied mathematics: Part I
A Graph Grammar Model of the hp Adaptive Three Dimensional Finite Element Method. Part II

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper presents the model of concurrency for the self-adaptive hp -Finite Element Method (hp -FEM) with triangular elements. The model concerns the process of an initial mesh generation as well as mesh adaptation. The model is obtained by defining CP-graph grammar productions as basic undivided tasks for both mesh generation and adaptation algorithms. The order of execution of graph grammar productions is set by control diagrams. Finally, the Petri nets are created based on the control diagrams. The self-adaptive hp -FEM algorithm modeled as a Petri net can be analyzed for deadlocks, starvation or infinite execution.