Simulating algebraic high-level nets by parallel attributed graph transformation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3393 LNCS, Issue , 2005, Pages 64-83

  Ermel, Claudia ^a   Taentzer, Gabriele ^a   Bardohl, Roswitha ^b  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^b Intern Center for Computer Science   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; LOGIC PROGRAMMING; MATHEMATICAL TRANSFORMATIONS; TRANSLATION (LANGUAGES);

BEHAVIOR RULES; GRAPH RULES; PETRI NET VARIANTS;

PETRI NETS;

EID: 36849088528     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-31847-7_4     Document Type: Article

References (22)

1. R. Bardohl, C. Ermel, and J. Padberg. Formal Relationship between Petri Nets and Graph Grammars as Basis for Animation Views in GenGED. In Proc. IDPT 2002: Sixth World Conference on Integrated Design and Process Technology. Society for Design and Process Science (SDPS), 2002.
2. R. Bardohl, C. Ermel, and I. Weinhold. GenGED - A Visual Definition Tool for Visual Modeling Environments. In J. Pfaltz and M. Nagl, eds. Proc. Application of Graph Transformations with Industrial Relevance (AGTIVE'03), Charlottesville/Virgina, USA, September 2003.
3. A. Corradini and U. Montanari. Specification of Concurrent Systems: From Petri Nets to Graph Grammars. In G. Hommel, ed. Proc. Quality of CommunicationBased Systems, Berlin, Germany. Kluwer Academic Publishers, 1995.
4. J. de Lara, C. Ermel, G. Taentzer, and K. Ehrig. Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets. In Proc. Graph Transformation and Visual Modelling Techniques (GTVMT) 2004, 2004.
5. P. Degano and U. Montanari. A model of distributed systems based on graph rewriting. Journal of the ACM, 34(2):411-449, 1987.
6. H. Ehrig and H.-J. Kreowski. Parallel graph grammars. In A. Lindenmayer and G. Rozenberg, eds. Automata, Languages, Development, pp. 425-447. Amsterdam: North Holland, 1976.
7. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, Vol. 6 of EATCS Monographs on Theoretical Computer Science. Springer, Berlin, 1985.
8. H. Ehrig, B. Mahr, F. Cornelius, M. Grosse-Rhode, and P. Zeitz. Mathematisch Strukturelle Grundlagen der Informatik. Springer Verlag, 1998.
9. H. Ehrig, U. Prange, and G. Taentzer. Fundamental Theory for Typed Attributed Graph Transformation. In F. Parisi-Presicce, P. Bottoni, and G. Engels, eds. Proc. 2nd Int. Conf. on Graph Transformation, Springer LNCS 3256, pp. 161-177, 2004.
10. H. Ehrig, W. Reisig, G. Rozenberg, H. Weber, eds. Advances in Petri Nets: Petri Net Technology for Communication Based Systems. Springer LNCS 2472, 2003.
11. H. Ehrig and G. Taentzer. From parallel graph grammars to parallel high- level replacement systems. In Lindenmayer Systems, pp. 283-303. Springer, 1992.
12. C. Ermel and R. Bardohl. Scenario Animation for Visual Behavior Models: A Generic Approach. Software and System Modeling: Special Section on Graph Transformations and Visual Modeling Techniques, 5, 2004.
13. C. Ermel, G. Taentzer, and R. Bardohl. Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation. Long Version. Technical Report 2004-21, TU Berlin, 2004. ISSN 1436-9915.
14. U. Hummert. Algebraische High-Level Netze. PhD thesis, TU Berlin, 1989.
15. H.-J. Kreowski. A comparison between Petri-nets and graph grammars. In Lecture Notes in Computer Science 100, pp. 1-19. Springer Verlag, 1981.
16. J. Lilius. On the Structure of High-Level Nets. PhD thesis, Helsinki University of Technology, 1995. Digital Systems Laoratory, Research Report 33.
17. S. MacLane. Categories for the Working Mathematician, Vol. 5 of Graduate Texts in Mathematics. Springer, New York, 1971.
18. J. Padberg, H. Ehrig, and L. Ribeiro. Algebraic high-level net transformation systems. Mathematical Structures in Computer Science, 5:217-256, 1995.
19. W. Reisig. Petri Nets, Vol. 4 of EATCS Monographs on Theoretical Computer Science. Springer Verlag, 1985.
20. G. Taentzer. Parallel and Distributed Graph Transformation: Formal Description and Application to Communication-Based Systems. PhD thesis, TU Berlin, 1996. Shaker Verlag.
21. G. Taentzer. AGG: A Graph Transformation Environment for System Modeling and Validation. In T. Margaria, ed. Proc. Tool Exhibition at 'Formal Methods 2003', Pisa, Italy, September 2003.
22. WWW Consortium (W3C). Scalable Vector Graphics (SVG) 1.0 Specification. http://www.w3.org/TR/svg, 2000.