52 Einträge gefunden

1. Hierarchical, Reconfigurable Petri Nets

   1. Lorbeer, Jan-Uriel
   2. Padberg, Julia

   2018 - ReposIt
2. Overview of reconfigurable petri nets

   1. Padberg, Julia
   2. Kahloul, Laid

   2018 - ReposIt
3. Subtyping for Hierarchical, Reconfigurable Petri Nets

   1. Padberg, Julia

   2018 - ReposIt
4. A Tutorial on Graph Transformation

   1. König, Barbara
   2. Nolte, Dennis
   3. Padberg, Julia
   4. Rensink, Arend

   2018 - ReposIt
5. Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme

   1. Padberg, Julia
   2. Schlaefer, Alexander
   3. Schupp, Sibylle

   2018 - TUHH Open Research - frei zugänglich
6. Towards M-Adhesive Categories of Corecursive Graphs

   1. Padberg, Julia

   2017 - ReposIt
7. Model Checking Reconfigurable Petri Nets with Maude

   1. Padberg, Julia
   2. Schulz, Alexander

   2016 - ReposIt
8. Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs

   1. Padberg, Julia

   2015 - ReposIt
9. A Survey of Control Structures for Reconfigurable Petri Nets

   1. Padberg, Julia
   2. Hoffmann, Kathrin

   2015 - ReposIt
10. Non-Deterministic Matching Algorithm for Net Transformations

    1. Padberg, Julia
    2. Blumreiter, Mathias

    2014 - ReposIt
11. Towards Model Checking Reconfigurable Petri Nets using Maude

    1. Padberg, Julia
    2. Schulz, Alexander

    2014 - ReposIt
12. 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
13. Reconfigurable petri nets : modeling and analysis

    1. Padberg, Julia

    2012 - ReposIt
14. Abstract Interleaving Semantics for Reconfigurable Petri Nets

    1. Padberg, Julia

    2012 - ReposIt - frei zugänglich
15. 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
16. 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
17. 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
18. Towards Component Verification in the Generic Component Framework

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

    2009 - ReposIt
19. Composition and Independence of High-Level Net Processes

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

    2009 - ReposIt
20. Reconfigurable Open Algebraic High-Level Systems

    1. Ullrich, Conny
    2. Padberg, Julia

    2008 - ReposIt