Searching for authors named "Julia Padberg" – sorted by Relevance.
31 documents found, showing 1 through 10.
Next 10 →
-
Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems
- … Julia Padberg Technical University of Berlin Institute for Communication and Software Technology email…
- Cited by 10 (6 self) – Add To MetaCart
-
An Outline of Rule-Based Refinement for Petri Nets
- …An Outline of Rule-Based Refinement for Petri Nets Julia Padberg Technical University of Berlin…
- Cited by 1 (0 self) – Add To MetaCart
-
Classification of Petri Nets Using Adjoint Functors
- …CLASSIFICATION OF PETRI NETS USING ADJOINT FUNCTORS JULIA PADBERG Technical University of Berlin…
- Cited by 2 (0 self) – Add To MetaCart
-
An Outline of Rule-Based Refinement for Petri Nets (Extended Abstract)
- …://tfs.cs.tu-berlin.de/~petri/Allpublications/Year1996/all.html An Outline of Rule-Based Refinement for Petri Nets Julia Padberg Technical University…
- Add To MetaCart
-
Place/Transition Net Modules: Transfer from Specification Modules
- …Place/Transition Net Modules: Transfer from Specication Modules Julia Padberg Bericht{Nr. 2001…
- Cited by 5 (4 self) – Add To MetaCart
-
Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes
- …://tfs.cs.tu-berlin.de/~petri/Allpublications/before96/ Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes Julia…
- Add To MetaCart
-
Safety Preserving Transformations of Coloured Petri Nets
- …Safety Preserving Transformations of Coloured Petri Nets Julia Padberg and Maike Gajewsky Bericht…
- Cited by 4 (2 self) – Add To MetaCart
-
Incremental Development of Safety Properties in Petri Net Transformations
- … Properties in Petri Net Transformations ? Julia Padberg, Maike Gajewsky, and Kathrin Hoffmann Technical…
- Add To MetaCart
-
Adhesive high-level replacement categories and systems
- …Adhesive High-Level Replacement Categories and Systems Hartmut Ehrig 1 , Annegret Habel 2 , Julia…
- Cited by 17 (6 self) – Add To MetaCart
-
Rule-Based Refinement for Place/Transition Systems: Preserving Liveness-Properties
- …, Julia Padberg, and Milan Urbasek Bericht{Nr. 2001-8 ISSN 1436 - 9915 This work is part of the joint…
- Cited by 3 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
