Graph Grammar Based Petri Net Controlled Direct Solver Algorithm
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 a...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
AGH University of Science and Technology Press
2010-01-01
|
| Series: | Computer Science |
| Subjects: | |
| Online Access: | http://journals.agh.edu.pl/csci/article/download/122/71 |
| _version_ | 1828488153351061504 |
|---|---|
| author | Arkadiusz Szymczak Maciej Paszyński David Pardo |
| author_facet | Arkadiusz Szymczak Maciej Paszyński David Pardo |
| author_sort | Arkadiusz Szymczak |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-12-11T10:04:45Z |
| format | Article |
| id | doaj.art-f7fae9ca78704936b22be05843b3ec17 |
| institution | Directory Open Access Journal |
| issn | 1508-2806 |
| language | English |
| last_indexed | 2024-12-11T10:04:45Z |
| publishDate | 2010-01-01 |
| publisher | AGH University of Science and Technology Press |
| record_format | Article |
| series | Computer Science |
| spelling | doaj.art-f7fae9ca78704936b22be05843b3ec172022-12-22T01:12:01ZengAGH University of Science and Technology PressComputer Science1508-28062010-01-01116510.7494/csci.2010.11.0.65Graph Grammar Based Petri Net Controlled Direct Solver AlgorithmArkadiusz Szymczak0Maciej Paszyński1David Pardo2AGH University of Science and TechnologyAGH University of Science and TechnologyEstadística e Investigación Operativa, IKERBASQUE (Basque Foundation for Sciences)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.http://journals.agh.edu.pl/csci/article/download/122/71Petri nets; graph grammar; direct solver |
| spellingShingle | Arkadiusz Szymczak Maciej Paszyński David Pardo Graph Grammar Based Petri Net Controlled Direct Solver Algorithm Computer Science Petri nets; graph grammar; direct solver |
| title | Graph Grammar Based Petri Net Controlled Direct Solver Algorithm |
| title_full | Graph Grammar Based Petri Net Controlled Direct Solver Algorithm |
| title_fullStr | Graph Grammar Based Petri Net Controlled Direct Solver Algorithm |
| title_full_unstemmed | Graph Grammar Based Petri Net Controlled Direct Solver Algorithm |
| title_short | Graph Grammar Based Petri Net Controlled Direct Solver Algorithm |
| title_sort | graph grammar based petri net controlled direct solver algorithm |
| topic | Petri nets; graph grammar; direct solver |
| url | http://journals.agh.edu.pl/csci/article/download/122/71 |
| work_keys_str_mv | AT arkadiuszszymczak graphgrammarbasedpetrinetcontrolleddirectsolveralgorithm AT maciejpaszynski graphgrammarbasedpetrinetcontrolleddirectsolveralgorithm AT davidpardo graphgrammarbasedpetrinetcontrolleddirectsolveralgorithm |