19 Einträge gefunden

1. A Survey of Control Structures for Reconfigurable Petri Nets

   1. Padberg, Julia
   2. Hoffmann, Kathrin

   2015 - ReposIt
2. Themenschwerpunkt „Durchlässigkeit an Hochschulen“ : Die Öffnung von Hochschulen durch flexible Studienformate

   1. Wonneberger, Astrid
   2. Weidtmann, Katja
   3. Hoffmann, Kathrin
   4. Draheim, Susanne

   2015 - ReposIt
3. Untersuchungen zur funktionellen Rolle des Prionproteins unter physiologischen und pathophysiologischen Bedingungen

   1. Hoffmann, Kathrin

   2013 - E-Dissertationen der UHH - frei zugänglich
4. Untersuchungen zur funktionellen Rolle des Prionproteins unter physiologischen und pathophysiologischen Bedingungen

   1. Hoffmann, Kathrin

   2013 - Forschungsinformationssystem der UHH - frei zugänglich
5. 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
6. On modelling communication in ubiquitous computing systems using Algebraic Higher Order Nets

   1. Gottmann, Susann
   2. Nachtigall, Nico
   3. Hoffmann, Kathrin

   2012 - ReposIt - frei zugänglich
7. 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
8. Formalization of petri nets with individual tokens as basis for DPO net transformations

   1. Modica, Tony
   2. Gabriel, Karsten
   3. Hoffmann, Kathrin

   2010 - ReposIt - frei zugänglich
9. Preface

   1. Ermel, Claudia
   2. Hoffmann, Kathrin

   2010 - ReposIt - frei zugänglich
10. Composition and Independence of High-Level Net Processes

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

    2009 - ReposIt
11. 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
12. Flexible Modeling of Emergency Scenarios using Reconfigurable Systems

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

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

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

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

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

    2008 - ReposIt
15. 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
16. 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
17. Transformations of Petri Nets

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

    2006 - ReposIt
18. High-Level Net Processes

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

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

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

    2000 - ReposIt