Weak adhesive high-level replacement categories and systems: A unifying framework for graph and petri net transformations

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

Volumn 4060 LNCS, Issue , 2006, Pages 235-251

  Ehrig, Hartmut ^a   Prange, Ulrike ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; MATHEMATICAL TRANSFORMATIONS; PETRI NETS;

DOUBLE PUSHOUT (DPO) APPROACH; GRAPH TRANFORMATION;

SYSTEMS ANALYSIS;

EID: 38049065100     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11780274_13     Document Type: Conference Paper

References (16)

1. Goguen, J.: Discrete-Time Machines in Closed Monoidal Categories. Bull. AMS 78 (1972) 777-783
2. Ehrig, H., Kiermeier, K.D., Kreowski, H., Kühnel, W.: Universal Theory of Automata. Teubner (1974)
3. Goguen, J., Burstall, R.: Introducing Institutions. In Clarke, E., Kozen, D., eds.: Logic of Programs. Volume 164 of LNCS., Springer (1984) 221-256
4. Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 2: Module Specifications and Constraints. Volume 21 of EATCS. Springer (1990)
5. Ehrig, H., Habel, A., Padberg, J., Prange, U.: Adhesive High-Level Replacement Categories and Systems. In Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G., eds.: Proceedings of ICGT 2004. Volume 3256 of LNCS, Springer (2004) 144-160
6. Ehrig, H., Habel, A., Padberg, J., Prange, U.: Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation. Fundamenta Informaticae (2005)
7. Ehrig, H., Habel, A., Kreowski, H.J., Parisi-Presicce, F.: Parallelism and Concurrency in High-Level Replacement Systems. Math. Struct. in Comp. Science 1 (1991) 361-404
8. Lack, S., Sobociński, P.: Adhesive Categories. In: Proc. of FOSSACS '04. Volume 2987 of LNCS. Springer (2004) 273-288
9. Lack, S., Sobociński, P.: Adhesive and Quasiadhesive Categories. Theoretical Informatics and Applications 39(3) (2005) 511-546
10. Ehrig, H.: Introduction to the Algebraic Theory of Graph Grammars (A Survey). In: Graph Grammars and their Application to Computer Science and Biology. Volume 73 of LNCS. Springer (1979) 1-69
11. Padberg, J., Ehrig, H., Ribeiro, L.: Algebraic High-Level Net Transformation Systems. MSCS 2 (1995) 217-256
12. Brown, R., Janelidze, G.: Van Kampen Theorems for Categories of Covering Morphisms in Lextensive Categories. Journal of Pure and Applied Algebra 119 (1997) 255-263
13. Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Volume 6 of EATCS. Springer (1985)
14. Meseguer, J., Montanari, U.: Petri Nets are Monoids. Information and Computation 88(2) (1990) 105-155
15. Padberg, J.: Abstract Petri Nets: A Uniform Approach and Rule-Based Refinement. PhD thesis, TU Berlin (1996)
16. Braatz, B., Ehrig, H., Urbášek, M.: Petri Net Transformations in the Petri Net Baukasten. In Ehrig, H., Reisig, W., Rozenberg, G., Weber, H., eds.: Petri Net Technology for Communication-Based Systems. Volume 2472 of LNCS, Springer (2003) 37-65