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. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Szymczak, A., & Paszyński, M. (2009). Graph grammar based petri nets model of concurrency for self-adaptive hp-finite element method with triangular elements. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5545 LNCS, pp. 845–854). https://doi.org/10.1007/978-3-642-01973-9_94
Mendeley helps you to discover research relevant for your work.