Is this you? Create Your Porfile
Avatar

Julia Padberg

University of Bremen

Network

Latest external collaboration on country level. Dive into details by clicking on the dots.

Explore More

Hotspot

Dive into the research topics where Julia Padberg is active.

Explore More

Publication

Featured researches published by Julia Padberg.

Electronic Notes in Theoretical Computer Science | 2003

Case Study: Modelling Telecom Services with Petri Net Modules

Julia Padberg

Abstract Case studies are frequently used as a means for testing new formalisms and modeling techniques in non-trivial environments. In this case study we use Petri net modules for structuring the operational behavior technique of non-trivial systems. We point out the advantages of our approach as well as possible starting points for further extension and improvements. A detailed description of this case study is presented in detail in [17].

Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science | 1994

The Category of Typed Graph Grammars and its Adjunctions with Categories

Andrea Corradini; Hartmut Ehrig; Michael Löwe; Ugo Montanari; Julia Padberg

Archive | 2011

Flexible Independence of Net Transformations and Token Firing in the Cospan DPO Approach

Kathrin Hoffmann; Julia Padberg; Hartmut Ehrig; Frank Hermann

Archive | 2009

Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2009)

Andrew Fish; Artur Boronat; Reiko Heckel; Tiziana Margaria; Julia Padberg; Gabriele Taentzer

Archive | 2009

Workshops der Wissenschaftlichen Konferenz Kommunikation in Verteilten Systemen 2009 (WowKiVS 2009)

Andreas Scholz; Christian Buckl; Stephan Sommer; Alfons Kemper; Alois Knoll; Anton Schmitt; Martin Wagner; D. Hogrefe; K. Geihs; Tiziana Margaria; Julia Padberg; Gabriele Taentzer

Archive | 2012

Model-based Formal Safety Analysis of an Airport Surveillance Radar System

Adrian Beer; Florian Leitner-Fischer; Stefan Leue; Tiziana Margaria; Julia Padberg; Gabriele Taentzer

Archive | 2010

Proceedings of the Second International Workshop on Visual Formalisms for Patterns (VFfP 2010)

Paolo Bottoni; Esther Guerra; Tiziana Margaria; Julia Padberg; Gabriele Taentzer

Archive | 2009

Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques

Artur Boronat; Reiko Heckel; Tiziana Margaria; Julia Padberg; Gabriele Taentzer

Archive | 2006

Proceedings of the Workshop on Petri Nets and Graph Transformation (PNGT 2006)

Paolo Baldan; Hartmut Ehrig; Julia Padberg; Tiziana Margaria; Gabriele Taentzer

Journal of Integrated Design & Process Science archive | 2002

Component-Based System Development: Editorial

Hartmut Ehrig; Julia Padberg

Explore More

Collaboration

Dive into the Julia Padberg's collaboration.

Top Co-Authors
Avatar

Gabriele Taentzer

University of Marburg

View shared research outputs
Top Co-Authors
Avatar

Hartmut Ehrig

Technical University of Berlin

View shared research outputs
Top Co-Authors
Avatar

Artur Boronat

University of Leicester

View shared research outputs
Top Co-Authors
Avatar

Reiko Heckel

University of Leicester

View shared research outputs
Top Co-Authors
Avatar

Adrian Beer

University of Konstanz

View shared research outputs
Top Co-Authors
Avatar

Alexander Borusan

Technical University of Berlin

View shared research outputs
Top Co-Authors
Avatar

Andreas Scholz

Siemens

View shared research outputs
Top Co-Authors
Avatar

Anton Schmitt

Siemens

View shared research outputs
Top Co-Authors
Avatar

Christian Buckl

Siemens

View shared research outputs
Top Co-Authors
Avatar

Florian Leitner-Fischer

University of Konstanz

View shared research outputs
Explore More
Researchain Logo
Decentralizing Knowledge