|
Graph and Net transformation
-
AGG Homepage.
http://tfs.cs.tu-berlin.de/agg.
-
K. Ehrig, C. Ermel, and S. Hänsgen.
Towards Model Transformation in Generated Eclipse Editor Plug-Ins.
In Proc. International Workshop on Graph and Model Transformation (GraMoT'05), ENTCS, Tallinn, Estonia, September 2005. Elsevier Science.
-
K. Ehrig, C. Ermel, S. Hänsgen, and G. Taentzer.
Generation of visual editors as eclipse plug-ins.
In Proc. 20th IEEE/ACM International Conference on Automated Software Engineering, IEEE Computer Society, Long Beach, California, USA, 2005.
-
H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors.
Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools.
World Scientific, 1999.
-
H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer.
Fundamentals of Algebraic Graph Transformation.
EATCS Monographs in Theoretical Computer Science. Springer, 2006.
-
H. Ehrig, H.-J. Kreowski, U. Montanari, and G. Rozenberg, editors.
Handbook of Graph Grammars and Computing by Graph Transformation. Volume 3: Concurrency, Parallelism and Distribution.
World Scientific, 1999.
-
H. Ehrig and J. Padberg.
Graph grammars and Petri Net transformations.
In Lectures on Concurrency and Petri Nets Special Issue Advanced Course PNT, volume 3098 of LNCS, pages 496-536. Springer, 2004.
-
J. Padberg.
Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems.
Applied Categorical Structures, 7(4):371-403, December 1999.
-
J. Padberg and M. Gajewsky.
Rule-Based Refinement of Petri Nets For Modeling Train Control Systems.
In Š. Kozák and M. Huba, editors, Proc. of the IFAC Conference on Control Systems Design (CSD'2000), pages 299-304. Elsevier Science, 2000.
-
J. Padberg, M. Gajewsky, and C. Ermel.
Rule-Based Refinement of High-Level Nets Preserving Safety Properties.
In E. Astesiano, editor, Proc. of the Int. Conference Fundamental Approaches to Software Engineering (FASE'98), volume 1382 of LNCS, pages 221-238. Springer, 1998.
-
J. Padberg, M. Gajewsky, and C. Ermel.
Rule-based refinement of high-level nets preserving safety properties.
Science of Computer Programming, 40:97-118, 2001. http://www.elsevier.nl/locate/scico.
-
J. Padberg and M. Urbášek.
Rule-Based Refinement of Petri Nets: A Survey.
In Ehrig et al., pages 161-196.
-
G. Rozenberg, editor.
The Handbook of Graph Grammars and Graph Transformations, Volume 1: Foundations.
World Scientific, 1997.
-
M. Urbášek and J. Padberg.
Preserving liveness with rulebased refinement of place/transition systems.
In Society for Design and Process Science (SDPS), editors, Proc. of the World Conference on Integrated Design and Process Technology (IDPT '02), page 10, 2002.
-
M. Urbášek.
Categorical Net Transformations for Petri Net Technology.
PhD thesis, Technical University Berlin, 2003.
|