13 Einträge gefunden

1. A Survey of Control Structures for Reconfigurable Petri Nets

   1. Padberg, Julia
   2. Hoffmann, Kathrin

   2015 - ReposIt
2. ReConNet: A Tool for Modeling and Simulating with Reconfigurable Place/Transition Nets

   1. Padberg, Julia
   2. Ede, Marvin
   3. Oelker, Gerhard
   4. Hoffmann, Kathrin

   2012 - ReposIt
3. 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
4. Composition and Independence of High-Level Net Processes

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

   2009 - ReposIt
5. Negative Application Conditions for Reconfigurable Place/Transition Systems

   1. Rein, Alexander
   2. Prange, Ulrike
   3. Lambers, Leen
   4. Hoffmann, Kathrin
   5. Padberg, Julia

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

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

   2008 - ReposIt
7. Layered Architecture Consistency for MANETs: Introducing New Team Members

   1. Biermann, Enrico
   2. Hoffmann, Kathrin
   3. Padberg, Julia

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

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

   2008 - ReposIt
9. 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
10. 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
11. Transformations of Petri Nets

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

    2006 - ReposIt
12. High-Level Net Processes

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

    2002 - ReposIt
13. Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems

    1. Padberg, Julia
    2. Hoffmann, Kathrin
    3. Gajewsky, Magdalena

    2000 - ReposIt