Algebraic High-Level Nets: Petri Nets Revisited. - Hartmut Ehrig; Julia Padberg; Leila Ribeiro 001 (COMPASS/ADT, 1992)

Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations. - Leila Ribeiro 001; Hartmut Ehrig; Julia Padberg (SBES, 1993)

Algebreic high-level net transformation systems: a survey over theory and applications. - Julia Padberg (Bull. EATCS, 1993)

The Category of Typed Graph Grammars and its Adjunctions with Categories. - Andrea Corradini 001; Hartmut Ehrig; Michael Löwe; Ugo Montanari; Julia Padberg (TAGT, 1994)

Linking Algebraic High level Nets and Dynamic Abstract Data. - Hartmut Ehrig; Julia Padberg (Bull. EATCS, 1994)

Algebraic High-Level Net Transformation Systems. - Julia Padberg; Hartmut Ehrig; Leila Ribeiro 001 (Math. Struct. Comput. Sci., 1995)

Abstract Petri nets - uniform approach and rule-based refinement. - Julia Padberg (Shaker, 1996)

A Uniform Approach to Petri Nets. - Hartmut Ehrig; Julia Padberg (Foundations of Computer Science: Potential - Theory - Cognition, 1997)

Horizontal and Vertical Structuring Techniques for Statecharts. - Hartmut Ehrig; Robert Geisler; Marcus Klar; Julia Padberg (CONCUR, 1997)

How to Transfer Concepts of Abstract Data Types to Petri Nets? - Hartmut Ehrig; A. Merten; Julia Padberg (Bull. EATCS, 1997)

Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information. - Hartmut Ehrig; Reiko Heckel; Mercè Llabrés; Fernando Orejas; Julia Padberg; Grzegorz Rozenberg (TAGT, 1998)

Incremental Development of Safety Properties in Petri Net Transformations. - Julia Padberg; Magdalena Gajewsky; Kathrin Hoffmann (TAGT, 1998)

Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets. - Julia Padberg (WADT, 1998)

Classification of Petri Nets Using Adjoint Functors. - Julia Padberg (Bull. EATCS, 1998)

Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems. - Julia Padberg (Appl. Categorical Struct., 1999)

From Basic Views and Aspects to Integration of Specification Formalisms. - Hartmut Ehrig; Julia Padberg; Fernando Orejas (Bull. EATCS, 1999)

Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems. - Julia Padberg; Kathrin Hoffmann; Magdalena Gajewsky (FASE, 2000)

Rule-Based and Visual Model Evolution using GENGED. - Julia Padberg; Claudia Ermel; Roswitha Bardohl (ICALP Satellite Workshops, 2000)

From Basic Views and Aspects to Integration of Specification Formalisms. - Hartmut Ehrig; Julia Padberg; Fernando Orejas (Current Trends in Theoretical Computer Science, 2001)

Classification of Petri Nets Using Adjoint Functors. - Julia Padberg (Current Trends in Theoretical Computer Science, 2001)

Parameterized Net Classes: A Uniform Approach to Petri Net Classes. - Julia Padberg; Hartmut Ehrig (Unifying Petri Nets, 2001)

Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs. - Julia Padberg; Hartmut Ehrig; Grzegorz Rozenberg (Unifying Petri Nets, 2001)

Preface. - Hartmut Ehrig; Claudia Ermel; Julia Padberg (UNIGRA, 2001)

Visual Design of Software Architecture and Evolution based on Graph Transformation. - Claudia Ermel; Roswitha Bardohl; Julia Padberg (UNIGRA, 2001)

Integration and Collaboration Based on Graphical Techniques (Editorial). - Hartmut Ehrig; Michael Goedicke; Julia Padberg (Trans. SDPS, 2001)

Cooperability in Train Control Systems: Specification of Scenarios using Open Nets. - Julia Padberg; L. Jansen; Hartmut Ehrig; Eckehard Schnieder; Reiko Heckel (Trans. SDPS, 2001)

Evolutionary Development of Business Process Centered Architectures using Component Technologies. - Asuman Sünbül; Herbert Weber; Julia Padberg (Trans. SDPS, 2001)

Rule-based refinement of high-level nets preserving safety properties. - Julia Padberg; Magdalena Gajewsky; Claudia Ermel (Sci. Comput. Program., 2001)

High-Level Net Processes. - Hartmut Ehrig; Kathrin Hoffmann; Julia Padberg; Paolo Baldan; Reiko Heckel (Formal and Natural Computing, 2002)

Transforming Specification Architectures by GenGED. - Roswitha Bardohl; Claudia Ermel; Julia Padberg (ICGT, 2002)

Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems. - Julia Padberg; Bettina Enders (ICGT, 2002)

Basic Ideas for Transformations of Specification Architectures. - Julia Padberg (Software Evolution Through Transformations @ ICGT, 2002)

Component-Based System Development. - Hartmut Ehrig; Julia Padberg (Trans. SDPS, 2002)

Petri Net Modules. - Julia Padberg (Trans. SDPS, 2002)

Petri Net Based Components for Evolvable Architectures. - Julia Padberg; Herbert Weber; Asuman Sünbül (Trans. SDPS, 2002)

Graph Grammars and Petri Net Transformations. - Hartmut Ehrig; Julia Padberg (Lectures on Concurrency and Petri Nets, 2003)

Rule-Based Refinement of Petri Nets: A Survey. - Julia Padberg; Milan Urbásek (Petri Net Technology for Communication-Based Systems, 2003)

The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY. - Herbert Weber; Hartmut Ehrig; Wolfgang Reisig; Alexander Borusan; Sabine Lembke; Juliane Dehnert; Michael Weber 003; Axel Martens; Julia Padberg; Claudia Ermel; Anilda Qemali (Petri Net Technology for Communication-Based Systems, 2003)

Case Study: Modelling Telecom Services with Petri Net Modules - Julia Padberg (UNIGRA, 2003)

Adhesive High-Level Replacement Categories and Systems. - Hartmut Ehrig; Annegret Habel; Julia Padberg; Ulrike Prange (ICGT, 2004)

Workshop on Petri Nets and Graph Transformations. - Hartmut Ehrig; Julia Padberg; Grzegorz Rozenberg (ICGT, 2004)

Transformations of Petri Nets. - Hartmut Ehrig; Kathrin Hoffmann; Julia Padberg (FoVMT, 2004)

A Generic Framework for Connector Architectures based on Components and Transformations. - Hartmut Ehrig; Julia Padberg; Benjamin Braatz; Markus Klein 001; Fernando Orejas; Sonia Pérez; Elvira Pino (FESCA@ETAPS, 2004)

Preface. - Hartmut Ehrig; Julia Padberg; Grzegorz Rozenberg (PNGT@ICGT, 2004)

Safety Properties in Petri Net Modules. - Julia Padberg (Trans. SDPS, 2004)

Loose Semantics of Petri Nets. - Julia Padberg; Hans-Jörg Kreowski (Formal Methods in Software and Systems Modeling, 2005)

Integration of the Generic Component Concepts for System Modeling with Adhesive HLR Systems. - Julia Padberg (Bull. EATCS, 2005)

Workshop on Petri Nets and Graph Transformations. - Paolo Baldan; Hartmut Ehrig; Julia Padberg; Grzegorz Rozenberg (ICGT, 2006)

Foreword. - Paolo Baldan; Hartmut Ehrig; Julia Padberg; Grzegorz Rozenberg (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

Editorial. - Julia Padberg; Tiziana Margaria; Gabriele Taentzer (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

Towards Multiple Access in Generic Component Architectures. - Markus Klein 001; Julia Padberg; Fernando Orejas (FESCA@ETAPS, 2006)

Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation. - Hartmut Ehrig; Julia Padberg; Ulrike Prange; Annegret Habel (Fundam. Informaticae, 2006)

Petri net modules in the transformation-based component framework. - Julia Padberg; Hartmut Ehrig (J. Log. Algebraic Methods Program., 2006)

Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems. - Hartmut Ehrig; Kathrin Hoffmann; Julia Padberg; Ulrike Prange; Claudia Ermel (ICATPN, 2007)

Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks. - Julia Padberg; Kathrin Hoffmann; Hartmut Ehrig; Tony Modica; Enrico Biermann; Claudia Ermel (FASE, 2007)

Formal Modeling and Analysis of Flexible Processes in Mobile Ad-Hoc Networks. - Julia Padberg; Hartmut Ehrig; Kathrin Hoffmann (Bull. EATCS, 2007)

Towards Component Verification in the Generic Component Framework. - Julia Padberg; Hartmut Ehrig; Fernando Orejas (FESCA@ETAPS, 2007)

Transformations in Reconfigurable Place/Transition Systems. - Ulrike Prange; Hartmut Ehrig; Kathrin Hoffmann; Julia Padberg (Concurrency, Graphs and Models, 2008)

Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components. - Julia Padberg (Appl. Categorical Struct., 2008)

Layered Architecture Consistency for MANETs: Introducing New Team Members. - Enrico Biermann; Kathrin Hoffmann; Julia Padberg (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Flexible Modeling of Emergency Scenarios using Reconfigurable Systems. - Kathrin Hoffmann; Hartmut Ehrig; Julia Padberg (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Preface. - Kathrin Hoffmann; Julia Padberg (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Negative Application Conditions for Reconfigurable Place/Transition Systems. - Alexander Rein; Ulrike Prange; Leen Lambers; Kathrin Hoffmann; Julia Padberg (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Reconfigurable Open Algebraic High-Level Systems. - Conny Ullrich; Julia Padberg (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Composition and Independence of High-Level Net Processes. - Hartmut Ehrig; Kathrin Hoffmann; Karsten Gabriel; Julia Padberg (FMWS@CONCUR, 2008)

Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks. - Ulrike Golas; Kathrin Hoffmann; Hartmut Ehrig; Alexander Rein; Julia Padberg (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

A Generic Approach to Connector Architectures Part I: The General Framework. - Fernando Orejas; Hartmut Ehrig; Markus Klein 001; Julia Padberg; Elvira Pino; Sonia Pérez (Fundam. Informaticae, 2010)

A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP. - Fernando Orejas; Hartmut Ehrig; Markus Klein 001; Julia Padberg; Elvira Pino; Sonia Pérez (Fundam. Informaticae, 2010)

Abstract Interleaving Semantics for Reconfigurable Petri Nets. - Julia Padberg (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

ReConNet: A Tool for Modeling and Simulating with Reconfigurable Place/Transition Nets. - Julia Padberg; Marvin Ede; Gerhard Oelker; Kathrin Hoffmann (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Reconfigurable Decorated PT Nets with Inhibitor Arcs and Transition Priorities. - Julia Padberg (CoRR, 2014)

Non-Deterministic Matching Algorithm for Net Transformations. - Julia Padberg; Mathias Blumreiter (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

Towards Model Checking Reconfigurable Petri Nets using Maude. - Julia Padberg; Alexander Schulz 003 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs. - Julia Padberg (ICGT, 2015)

Model Checking Reconfigurable Petri Nets with Maude. - Julia Padberg; Alexander Schulz 003 (ICGT, 2016)

Verification of Reconfigurable Petri Nets. - Julia Padberg (PNSE @ Petri Nets, 2017)

Hierarchical Graph Transformation Revisited - Transformations of Coalgebraic Graphs. - Julia Padberg (ICGT, 2017)

Towards M-Adhesive Categories of Corecursive Graphs. - Julia Padberg (CoRR, 2017)

A Tutorial on Graph Transformation. - Barbara König 001; Dennis Nolte; Julia Padberg; Arend Rensink (Graph Transformation, Specifications, and Nets, 2018)

Overview of Reconfigurable Petri Nets. - Julia Padberg; Laid Kahloul (Graph Transformation, Specifications, and Nets, 2018)

Hierarchical, Reconfigurable Petri Nets. - Jan-Uriel Lorbeer; Julia Padberg (Modellierung (Workshops), 2018)

Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme. - Julia Padberg; Alexander Schlaefer; Sibylle Schupp (Software Engineering, 2018)

Subtyping for Hierarchical, Reconfigurable Petri Nets. - Julia Padberg (CoRR, 2018)

Computer Science for Future - Sustainability and Climate Protection in the Computer Science Courses of the HAW Hamburg. - Elina Eickstädt; Martin Becke; Martin Kohler; Julia Padberg (CoRR, 2023)

Der Weg zur digitalen Arbeitsmappe: Digitales Prüfungswesen mit Zertifizierung. - Martin Becke; Julia Padberg (CoRR, 2024)