18 Einträge gefunden

1. Functorial analysis of algebraic higher-order net systems with applications to mobile ad-hoc networks

   1. Golas, Ulrike
   2. Hoffmann, Kathrin
   3. Ehrig, Hartmut
   4. Rein, Alexander
   5. Padberg, Julia

   2011 - ReposIt - frei zugänglich
2. A Generic Approach to Connector Architectures Part I: The General Framework

   1. Orejas, Fernando
   2. Ehrig, Hartmut
   3. Klein, Markus
   4. Padberg, Julia
   5. Pino, Elvira
   6. Perez, Sonia

   2010 - ReposIt
3. A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP

   1. Orejas, Fernando
   2. Ehrig, Hartmut
   3. Klein, Markus
   4. Padberg, Julia
   5. Pino, Elvira
   6. Perez, Sonia

   2010 - ReposIt
4. Composition and Independence of High-Level Net Processes

   1. Ehrig, Hartmut
   2. Hoffmann, Kathrin
   3. Gabriel, Karsten
   4. Padberg, Julia

   2009 - ReposIt
5. Towards Component Verification in the Generic Component Framework

   1. Padberg, Julia
   2. Ehrig, Hartmut
   3. Orejas, Fernando

   2009 - ReposIt
6. Flexible Modeling of Emergency Scenarios using Reconfigurable Systems

   1. Hoffmann, Kathrin
   2. Ehrig, Hartmut
   3. Padberg, Julia

   2008 - ReposIt
7. Transformations in Reconfigurable Place/Transition Systems

   1. Prange, Ulrike
   2. Ehrig, Hartmut
   3. Hoffmann, Kathrin
   4. Padberg, Julia

   2008 - ReposIt
8. Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks

   1. Padberg, Julia
   2. Hoffmann, Kathrin
   3. Ehrig, Hartmut
   4. Modica, Tony
   5. Biermann, Enrico
   6. Ermel, Claudia

   2007 - ReposIt
9. Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems

   1. Ehrig, Hartmut
   2. Hoffmann, Kathrin
   3. Padberg, Julia
   4. Prange, Ulrike
   5. Ermel, Claudia

   2007 - ReposIt
10. Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation

    1. Ehrig, Hartmut
    2. Padberg, Julia
    3. Prange, Ulrike
    4. Habel, Annegret

    2006 - ReposIt
11. Petri net modules in the transformation-based component framework

    1. Padberg, Julia
    2. Ehrig, Hartmut

    2006 - ReposIt
12. Transformations of Petri Nets

    1. Ehrig, Hartmut
    2. Hoffmann, Kathrin
    3. Padberg, Julia

    2006 - ReposIt
13. Adhesive High-Level Replacement Categories and Systems

    1. Ehrig, Hartmut
    2. Habel, Annegret
    3. Padberg, Julia
    4. Prange, Ulrike

    2004 - ReposIt
14. A Generic Framework for Connector Architectures based on Components and Transformations

    1. Ehrig, Hartmut
    2. Padberg, Julia
    3. Braatz, Benjamin
    4. Klein, Markus
    5. Orejas, Fernando
    6. Perez, Sarah
    7. Pino, Elvira

    2004 - ReposIt
15. The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY

    1. Weber, Herbert
    2. Ehrig, Hartmut
    3. Reisig, Wolfgang
    4. Borusan, Alexander
    5. Lembke, Sabine
    6. Dehnert, Juliane
    7. Weber, Michael

    2003 - ReposIt
16. High-Level Net Processes

    1. Ehrig, Hartmut
    2. Hoffmann, Kathrin
    3. Padberg, Julia
    4. Baldan, Paolo
    5. Heckel, Reiko

    2002 - ReposIt
17. Component-Based System Development

    1. Ehrig, Hartmut
    2. Padberg, Julia

    2002 - ReposIt
18. Cooperability in Train Control Systems: Specification of Scenarios using Open Nets

    1. Padberg, Julia
    2. Jansen, L.
    3. Ehrig, Hartmut
    4. Schnieder, Eckehard
    5. Heckel, Reiko

    2001 - ReposIt