Formal modeling and analysis of flexible processes in mobile ad-hoc networks

(duration 10/06 - 09/08)

Contents
People
Contact
Results
Literature
MANETs
Workflows
Graph and Net transformation
Petri Nets
Petri Net Processes

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.