BibTeX records: Julia Padberg

download as .bib file

@article{DBLP:journals/corr/abs-2301-06885,
  author       = {Elina Eickst{\"{a}}dt and
                  Martin Becke and
                  Martin Kohler and
                  Julia Padberg},
  title        = {Computer Science for Future - Sustainability and Climate Protection
                  in the Computer Science Courses of the {HAW} Hamburg},
  journal      = {CoRR},
  volume       = {abs/2301.06885},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2301.06885},
  doi          = {10.48550/ARXIV.2301.06885},
  eprinttype    = {arXiv},
  eprint       = {2301.06885},
  timestamp    = {Thu, 19 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2301-06885.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/0001NPR18,
  author       = {Barbara K{\"{o}}nig and
                  Dennis Nolte and
                  Julia Padberg and
                  Arend Rensink},
  editor       = {Reiko Heckel and
                  Gabriele Taentzer},
  title        = {A Tutorial on Graph Transformation},
  booktitle    = {Graph Transformation, Specifications, and Nets - In Memory of Hartmut
                  Ehrig},
  series       = {Lecture Notes in Computer Science},
  volume       = {10800},
  pages        = {83--104},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-75396-6\_5},
  doi          = {10.1007/978-3-319-75396-6\_5},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/0001NPR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/PadbergK18,
  author       = {Julia Padberg and
                  La{\"{\i}}d Kahloul},
  editor       = {Reiko Heckel and
                  Gabriele Taentzer},
  title        = {Overview of Reconfigurable Petri Nets},
  booktitle    = {Graph Transformation, Specifications, and Nets - In Memory of Hartmut
                  Ehrig},
  series       = {Lecture Notes in Computer Science},
  volume       = {10800},
  pages        = {201--222},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-75396-6\_11},
  doi          = {10.1007/978-3-319-75396-6\_11},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/PadbergK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modellierung/LorbeerP18,
  author       = {Jan{-}Uriel Lorbeer and
                  Julia Padberg},
  editor       = {Ina Schaefer and
                  Loek Cleophas and
                  Michael Felderer and
                  Steffen Becker and
                  Wolfgang B{\"{o}}hm and
                  Dirk Fahland and
                  Hans{-}Georg Fill and
                  Robert Heinrich and
                  Kathrin Kirchner and
                  Michael K{\"{o}}hler{-}Bu{\ss}meier and
                  Marco Konersmann and
                  Heinrich C. Mayr and
                  Daniel Moldt and
                  Andreas Oberweis and
                  Felix Reher and
                  Matthias Riebisch and
                  Stefan Sauer and
                  Holger Schlingloff and
                  Bernhard Thalheim and
                  Andreas Vogelsang and
                  R{\"{u}}diger Wei{\ss}bach and
                  Thorsten Weyer},
  title        = {Hierarchical, Reconfigurable Petri Nets},
  booktitle    = {Joint Proceedings of the Workshops at Modellierung 2018 co-located
                  with Modellierung 2018, Braunschweig, Germany, February 21, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2060},
  pages        = {167--186},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2060/pemod1.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:18 +0100},
  biburl       = {https://dblp.org/rec/conf/modellierung/LorbeerP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/PadbergSS18,
  author       = {Julia Padberg and
                  Alexander Schlaefer and
                  Sibylle Schupp},
  editor       = {Matthias Tichy and
                  Eric Bodden and
                  Marco Kuhrmann and
                  Stefan Wagner and
                  Jan{-}Philipp Stegh{\"{o}}fer},
  title        = {Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer
                  Systeme},
  booktitle    = {Software Engineering und Software Management 2018, Fachtagung des
                  GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\"{a}}rz
                  2018, Ulm, Germany},
  series       = {{LNI}},
  volume       = {{P-279}},
  pages        = {209--210},
  publisher    = {Gesellschaft f{\"{u}}r Informatik},
  year         = {2018},
  url          = {https://dl.gi.de/handle/20.500.12116/16356},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/se/PadbergSS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-04698,
  author       = {Julia Padberg},
  title        = {Subtyping for Hierarchical, Reconfigurable Petri Nets},
  journal      = {CoRR},
  volume       = {abs/1802.04698},
  year         = {2018},
  url          = {http://arxiv.org/abs/1802.04698},
  eprinttype    = {arXiv},
  eprint       = {1802.04698},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-04698.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Padberg17,
  author       = {Julia Padberg},
  editor       = {Daniel Moldt and
                  Lawrence Cabac and
                  Heiko R{\"{o}}lke},
  title        = {Verification of Reconfigurable Petri Nets},
  booktitle    = {Proceedings of the International Workshop on Petri Nets and Software
                  Engineering (PNSE'17), co-located with the38th International Conference
                  on Application and Theory of Petri Nets and Concurrency Petri Nets
                  2017 and the 17th International Conference on Application of Concurrency
                  to System Design {ACSD} 2017, Zaragoza, Spain, June 25-30, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1846},
  pages        = {27--28},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1846/paper2.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:38 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/Padberg17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Padberg17,
  author       = {Julia Padberg},
  editor       = {Juan de Lara and
                  Detlef Plump},
  title        = {Hierarchical Graph Transformation Revisited - Transformations of Coalgebraic
                  Graphs},
  booktitle    = {Graph Transformation - 10th International Conference, {ICGT} 2017,
                  Held as Part of {STAF} 2017, Marburg, Germany, July 18-19, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10373},
  pages        = {20--35},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61470-0\_2},
  doi          = {10.1007/978-3-319-61470-0\_2},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/Padberg17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Padberg17,
  author       = {Julia Padberg},
  title        = {Towards M-Adhesive Categories of Corecursive Graphs},
  journal      = {CoRR},
  volume       = {abs/1702.04650},
  year         = {2017},
  url          = {http://arxiv.org/abs/1702.04650},
  eprinttype    = {arXiv},
  eprint       = {1702.04650},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Padberg17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Padberg016,
  author       = {Julia Padberg and
                  Alexander Schulz},
  editor       = {Rachid Echahed and
                  Mark Minas},
  title        = {Model Checking Reconfigurable Petri Nets with Maude},
  booktitle    = {Graph Transformation - 9th International Conference, {ICGT} 2016,
                  in Memory of Hartmut Ehrig, Held as Part of {STAF} 2016, Vienna, Austria,
                  July 5-6, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9761},
  pages        = {54--70},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40530-8\_4},
  doi          = {10.1007/978-3-319-40530-8\_4},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/Padberg016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Padberg15,
  author       = {Julia Padberg},
  editor       = {Francesco Parisi{-}Presicce and
                  Bernhard Westfechtel},
  title        = {Reconfigurable Petri Nets with Transition Priorities and Inhibitor
                  Arcs},
  booktitle    = {Graph Transformation - 8th International Conference, {ICGT} 2015,
                  Held as Part of {STAF} 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9151},
  pages        = {104--120},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21145-9\_7},
  doi          = {10.1007/978-3-319-21145-9\_7},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/Padberg15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/PadbergB14,
  author       = {Julia Padberg and
                  Mathias Blumreiter},
  title        = {Non-Deterministic Matching Algorithm for Net Transformations},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {68},
  year         = {2014},
  url          = {https://doi.org/10.14279/tuj.eceasst.68.955},
  doi          = {10.14279/TUJ.ECEASST.68.955},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/PadbergB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/PadbergS14,
  author       = {Julia Padberg and
                  Alexander Schulz},
  title        = {Towards Model Checking Reconfigurable Petri Nets using Maude},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {68},
  year         = {2014},
  url          = {https://doi.org/10.14279/tuj.eceasst.68.953},
  doi          = {10.14279/TUJ.ECEASST.68.953},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/PadbergS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Padberg14,
  author       = {Julia Padberg},
  title        = {Reconfigurable Decorated {PT} Nets with Inhibitor Arcs and Transition
                  Priorities},
  journal      = {CoRR},
  volume       = {abs/1409.6856},
  year         = {2014},
  url          = {http://arxiv.org/abs/1409.6856},
  eprinttype    = {arXiv},
  eprint       = {1409.6856},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Padberg14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/Padberg12,
  author       = {Julia Padberg},
  title        = {Abstract Interleaving Semantics for Reconfigurable Petri Nets},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {51},
  year         = {2012},
  url          = {https://doi.org/10.14279/tuj.eceasst.51.775},
  doi          = {10.14279/TUJ.ECEASST.51.775},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/Padberg12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/PadbergH12,
  author       = {Julia Padberg and
                  Kathrin Hoffmann},
  title        = {Preface},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {51},
  year         = {2012},
  url          = {https://doi.org/10.14279/tuj.eceasst.51.779.762},
  doi          = {10.14279/TUJ.ECEASST.51.779.762},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/PadbergH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/PadbergEOH12,
  author       = {Julia Padberg and
                  Marvin Ede and
                  Gerhard Oelker and
                  Kathrin Hoffmann},
  title        = {ReConNet: {A} Tool for Modeling and Simulating with Reconfigurable
                  Place/Transition Nets},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {54},
  year         = {2012},
  url          = {https://doi.org/10.14279/tuj.eceasst.54.774},
  doi          = {10.14279/TUJ.ECEASST.54.774},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/PadbergEOH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/GolasHERP10,
  author       = {Ulrike Golas and
                  Kathrin Hoffmann and
                  Hartmut Ehrig and
                  Alexander Rein and
                  Julia Padberg},
  title        = {Functorial Analysis of Algebraic Higher-Order Net Systems with Applications
                  to Mobile Ad-Hoc Networks},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {40},
  year         = {2010},
  url          = {https://doi.org/10.14279/tuj.eceasst.40.631},
  doi          = {10.14279/TUJ.ECEASST.40.631},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/GolasHERP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/OrejasEKPPP10,
  author       = {Fernando Orejas and
                  Hartmut Ehrig and
                  Markus Klein and
                  Julia Padberg and
                  Elvira Pino and
                  Sonia P{\'{e}}rez},
  title        = {A Generic Approach to Connector Architectures Part {I:} The General
                  Framework},
  journal      = {Fundam. Informaticae},
  volume       = {99},
  number       = {1},
  pages        = {63--93},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-239},
  doi          = {10.3233/FI-2010-239},
  timestamp    = {Mon, 13 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/OrejasEKPPP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/OrejasEKPPP10a,
  author       = {Fernando Orejas and
                  Hartmut Ehrig and
                  Markus Klein and
                  Julia Padberg and
                  Elvira Pino and
                  Sonia P{\'{e}}rez},
  title        = {A Generic Approach to Connector Architectures Part {II:} Instantiation
                  to Petri Nets and {CSP}},
  journal      = {Fundam. Informaticae},
  volume       = {99},
  number       = {1},
  pages        = {95--124},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-240},
  doi          = {10.3233/FI-2010-240},
  timestamp    = {Mon, 13 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/OrejasEKPPP10a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/Padberg08,
  author       = {Julia Padberg},
  title        = {Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical
                  Composition for Components},
  journal      = {Appl. Categorical Struct.},
  volume       = {16},
  number       = {3},
  pages        = {333--364},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10485-007-9105-4},
  doi          = {10.1007/S10485-007-9105-4},
  timestamp    = {Tue, 29 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acs/Padberg08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/ReinPLHP08,
  author       = {Alexander Rein and
                  Ulrike Prange and
                  Leen Lambers and
                  Kathrin Hoffmann and
                  Julia Padberg},
  title        = {Negative Application Conditions for Reconfigurable Place/Transition
                  Systems},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {10},
  year         = {2008},
  url          = {https://doi.org/10.14279/tuj.eceasst.10.140},
  doi          = {10.14279/TUJ.ECEASST.10.140},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/ReinPLHP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BiermannHP08,
  author       = {Enrico Biermann and
                  Kathrin Hoffmann and
                  Julia Padberg},
  title        = {Layered Architecture Consistency for MANETs: Introducing New Team
                  Members},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {12},
  year         = {2008},
  url          = {https://doi.org/10.14279/tuj.eceasst.12.269},
  doi          = {10.14279/TUJ.ECEASST.12.269},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/BiermannHP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/HoffmannEP08,
  author       = {Kathrin Hoffmann and
                  Hartmut Ehrig and
                  Julia Padberg},
  title        = {Flexible Modeling of Emergency Scenarios using Reconfigurable Systems},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {12},
  year         = {2008},
  url          = {https://doi.org/10.14279/tuj.eceasst.12.336},
  doi          = {10.14279/TUJ.ECEASST.12.336},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/HoffmannEP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/HoffmannP08,
  author       = {Kathrin Hoffmann and
                  Julia Padberg},
  title        = {Preface},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {12},
  year         = {2008},
  url          = {https://doi.org/10.14279/tuj.eceasst.12.335.290},
  doi          = {10.14279/TUJ.ECEASST.12.335.290},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/HoffmannP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/UllrichP08,
  author       = {Conny Ullrich and
                  Julia Padberg},
  title        = {Reconfigurable Open Algebraic High-Level Systems},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {14},
  year         = {2008},
  url          = {https://doi.org/10.14279/tuj.eceasst.14.192.183},
  doi          = {10.14279/TUJ.ECEASST.14.192.183},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/UllrichP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/PrangeEHP08,
  author       = {Ulrike Prange and
                  Hartmut Ehrig and
                  Kathrin Hoffmann and
                  Julia Padberg},
  editor       = {Pierpaolo Degano and
                  Rocco De Nicola and
                  Jos{\'{e}} Meseguer},
  title        = {Transformations in Reconfigurable Place/Transition Systems},
  booktitle    = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
                  on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {5065},
  pages        = {96--113},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68679-8\_7},
  doi          = {10.1007/978-3-540-68679-8\_7},
  timestamp    = {Thu, 21 Sep 2023 09:08:34 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/PrangeEHP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EhrigHGP09,
  author       = {Hartmut Ehrig and
                  Kathrin Hoffmann and
                  Karsten Gabriel and
                  Julia Padberg},
  editor       = {Jens Chr. Godskesen and
                  Massimo Merro},
  title        = {Composition and Independence of High-Level Net Processes},
  booktitle    = {Proceedings of the First Workshop on Formal Methods for Wireless Systems,
                  FMWS@CONCUR 2008, Toronto, ON, Canada, August 23, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {242},
  number       = {2},
  pages        = {59--71},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.06.023},
  doi          = {10.1016/J.ENTCS.2009.06.023},
  timestamp    = {Fri, 24 Feb 2023 13:34:36 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/EhrigHGP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/PadbergEH07,
  author       = {Julia Padberg and
                  Hartmut Ehrig and
                  Kathrin Hoffmann},
  title        = {Formal Modeling and Analysis of Flexible Processes in Mobile Ad-Hoc
                  Networks},
  journal      = {Bull. {EATCS}},
  volume       = {91},
  pages        = {120--124},
  year         = {2007},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/PadbergEH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/EhrigHPPE07,
  author       = {Hartmut Ehrig and
                  Kathrin Hoffmann and
                  Julia Padberg and
                  Ulrike Prange and
                  Claudia Ermel},
  editor       = {Jetty Kleijn and
                  Alexandre Yakovlev},
  title        = {Independence of Net Transformations and Token Firing in Reconfigurable
                  Place/Transition Systems},
  booktitle    = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
                  Conference on Applications and Theory of Petri Nets and Other Models
                  of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4546},
  pages        = {104--123},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73094-1\_9},
  doi          = {10.1007/978-3-540-73094-1\_9},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/EhrigHPPE07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/PadbergHEMBE07,
  author       = {Julia Padberg and
                  Kathrin Hoffmann and
                  Hartmut Ehrig and
                  Tony Modica and
                  Enrico Biermann and
                  Claudia Ermel},
  editor       = {Matthew B. Dwyer and
                  Ant{\'{o}}nia Lopes},
  title        = {Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc
                  Networks},
  booktitle    = {Fundamental Approaches to Software Engineering, 10th International
                  Conference, {FASE} 2007, Held as Part of the Joint European Conferences,
                  on Theory and Practice of Software, {ETAPS} 2007, Braga, Portugal,
                  March 24 - April 1, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4422},
  pages        = {383--397},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71289-3\_29},
  doi          = {10.1007/978-3-540-71289-3\_29},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/PadbergHEMBE07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PadbergEO09,
  author       = {Julia Padberg and
                  Hartmut Ehrig and
                  Fernando Orejas},
  editor       = {Juliana K{\"{u}}ster Filipe Bowles and
                  Iman Poernomo and
                  Ralf H. Reussner},
  title        = {Towards Component Verification in the Generic Component Framework},
  booktitle    = {Proceedings of the Formal Foundations of Embedded Software and Component-Based
                  Software Architectures, FESCA@ETAPS 2007, Braga, Portugal, March 24,
                  2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {203},
  number       = {7},
  pages        = {37--53},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2009.03.025},
  doi          = {10.1016/J.ENTCS.2009.03.025},
  timestamp    = {Mon, 13 Feb 2023 13:42:26 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PadbergEO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BaldanEPR06,
  author       = {Paolo Baldan and
                  Hartmut Ehrig and
                  Julia Padberg and
                  Grzegorz Rozenberg},
  title        = {Foreword},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {2},
  year         = {2006},
  url          = {https://doi.org/10.14279/tuj.eceasst.2.58.30},
  doi          = {10.14279/TUJ.ECEASST.2.58.30},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/BaldanEPR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/PadbergMT06,
  author       = {Julia Padberg and
                  Tiziana Margaria and
                  Gabriele Taentzer},
  title        = {Editorial},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {4},
  year         = {2006},
  url          = {https://doi.org/10.14279/tuj.eceasst.4.29.1},
  doi          = {10.14279/TUJ.ECEASST.4.29.1},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/PadbergMT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/EhrigPPH06,
  author       = {Hartmut Ehrig and
                  Julia Padberg and
                  Ulrike Prange and
                  Annegret Habel},
  title        = {Adhesive High-Level Replacement Systems: {A} New Categorical Framework
                  for Graph Transformation},
  journal      = {Fundam. Informaticae},
  volume       = {74},
  number       = {1},
  pages        = {1--29},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi74-1-02},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/EhrigPPH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PadbergE06,
  author       = {Julia Padberg and
                  Hartmut Ehrig},
  title        = {Petri net modules in the transformation-based component framework},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {67},
  number       = {1-2},
  pages        = {198--225},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.jlap.2005.09.007},
  doi          = {10.1016/J.JLAP.2005.09.007},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/PadbergE06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BaldanEPR06,
  author       = {Paolo Baldan and
                  Hartmut Ehrig and
                  Julia Padberg and
                  Grzegorz Rozenberg},
  editor       = {Andrea Corradini and
                  Hartmut Ehrig and
                  Ugo Montanari and
                  Leila Ribeiro and
                  Grzegorz Rozenberg},
  title        = {Workshop on Petri Nets and Graph Transformations},
  booktitle    = {Graph Transformations, Third International Conference, {ICGT} 2006,
                  Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4178},
  pages        = {467--469},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11841883\_35},
  doi          = {10.1007/11841883\_35},
  timestamp    = {Sat, 04 Apr 2020 17:15:23 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/BaldanEPR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KleinPO07,
  author       = {Markus Klein and
                  Julia Padberg and
                  Fernando Orejas},
  editor       = {Juliana K{\"{u}}ster Filipe Bowles and
                  Iman Poernomo and
                  Ralf H. Reussner},
  title        = {Towards Multiple Access in Generic Component Architectures},
  booktitle    = {Proceedings of the Workshop on Formal Foundations of Embedded Software
                  and Component-Based Software Architectures, FESCA@ETAPS 2006, Vienna,
                  Austria, March 26, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {2},
  pages        = {25--45},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.02.030},
  doi          = {10.1016/J.ENTCS.2006.02.030},
  timestamp    = {Mon, 13 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KleinPO07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Padberg05,
  author       = {Julia Padberg},
  title        = {Integration of the Generic Component Concepts for System Modeling
                  with Adhesive {HLR} Systems},
  journal      = {Bull. {EATCS}},
  volume       = {87},
  pages        = {138--154},
  year         = {2005},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Padberg05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/PadbergK05,
  author       = {Julia Padberg and
                  Hans{-}J{\"{o}}rg Kreowski},
  editor       = {Hans{-}J{\"{o}}rg Kreowski and
                  Ugo Montanari and
                  Fernando Orejas and
                  Grzegorz Rozenberg and
                  Gabriele Taentzer},
  title        = {Loose Semantics of Petri Nets},
  booktitle    = {Formal Methods in Software and Systems Modeling, Essays Dedicated
                  to Hartmut Ehrig, on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {3393},
  pages        = {370--384},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-31847-7\_22},
  doi          = {10.1007/978-3-540-31847-7\_22},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/PadbergK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gg/2004pngt,
  editor       = {Hartmut Ehrig and
                  Julia Padberg and
                  Grzegorz Rozenberg},
  title        = {Proceedings of the Workshop on Petri Nets and Graph Transformations,
                  PNGT@ICGT 2004, Rome, Italy, October 2, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {127},
  number       = {2},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/127/issue/2},
  timestamp    = {Mon, 12 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gg/2004pngt.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jid/Padberg04,
  author       = {Julia Padberg},
  title        = {Safety Properties in Petri Net Modules},
  journal      = {Trans. {SDPS}},
  volume       = {8},
  number       = {4},
  pages        = {65--78},
  year         = {2004},
  url          = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid8-4-05},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jid/Padberg04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/EhrigHPP04,
  author       = {Hartmut Ehrig and
                  Annegret Habel and
                  Julia Padberg and
                  Ulrike Prange},
  editor       = {Hartmut Ehrig and
                  Gregor Engels and
                  Francesco Parisi{-}Presicce and
                  Grzegorz Rozenberg},
  title        = {Adhesive High-Level Replacement Categories and Systems},
  booktitle    = {Graph Transformations, Second International Conference, {ICGT} 2004,
                  Rome, Italy, September 28 - October 2, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3256},
  pages        = {144--160},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30203-2\_12},
  doi          = {10.1007/978-3-540-30203-2\_12},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/EhrigHPP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/EhrigPR04,
  author       = {Hartmut Ehrig and
                  Julia Padberg and
                  Grzegorz Rozenberg},
  editor       = {Hartmut Ehrig and
                  Gregor Engels and
                  Francesco Parisi{-}Presicce and
                  Grzegorz Rozenberg},
  title        = {Workshop on Petri Nets and Graph Transformations},
  booktitle    = {Graph Transformations, Second International Conference, {ICGT} 2004,
                  Rome, Italy, September 28 - October 2, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3256},
  pages        = {442--444},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30203-2\_34},
  doi          = {10.1007/978-3-540-30203-2\_34},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/EhrigPR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EhrigPR05,
  author       = {Hartmut Ehrig and
                  Julia Padberg and
                  Grzegorz Rozenberg},
  editor       = {Hartmut Ehrig and
                  Julia Padberg and
                  Grzegorz Rozenberg},
  title        = {Preface},
  booktitle    = {Proceedings of the Workshop on Petri Nets and Graph Transformations,
                  PNGT@ICGT 2004, Rome, Italy, October 2, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {127},
  number       = {2},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.02.002},
  doi          = {10.1016/J.ENTCS.2005.02.002},
  timestamp    = {Mon, 12 Dec 2022 14:22:43 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/EhrigPR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EhrigPBKOPP04,
  author       = {Hartmut Ehrig and
                  Julia Padberg and
                  Benjamin Braatz and
                  Markus Klein and
                  Fernando Orejas and
                  Sonia P{\'{e}}rez and
                  Elvira Pino},
  editor       = {Juliana K{\"{u}}ster Filipe and
                  Iman Poernomo and
                  Ralf H. Reussner and
                  Sandeep K. Shukla},
  title        = {A Generic Framework for Connector Architectures based on Components
                  and Transformations},
  booktitle    = {Proceedings of the First International Workshop on Formal Foundations
                  of Embedded Software and Component-based Software Architectures, FESCA@ETAPS
                  2004, Barcelona, Spain, April 3, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {108},
  pages        = {53--67},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.01.012},
  doi          = {10.1016/J.ENTCS.2004.01.012},
  timestamp    = {Mon, 13 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/EhrigPBKOPP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EhrigHP06,
  author       = {Hartmut Ehrig and
                  Kathrin Hoffmann and
                  Julia Padberg},
  editor       = {Reiko Heckel},
  title        = {Transformations of Petri Nets},
  booktitle    = {Proceedings of the School of SegraVis Research Training Network on
                  Foundations of Visual Modelling Techniques, FoVMT 2004, Dagstuhl,
                  Germany, May 3-7, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {148},
  number       = {1},
  pages        = {151--172},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.12.016},
  doi          = {10.1016/J.ENTCS.2005.12.016},
  timestamp    = {Fri, 16 Dec 2022 13:13:21 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/EhrigHP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/EhrigP03,
  author       = {Hartmut Ehrig and
                  Julia Padberg},
  editor       = {J{\"{o}}rg Desel and
                  Wolfgang Reisig and
                  Grzegorz Rozenberg},
  title        = {Graph Grammars and Petri Net Transformations},
  booktitle    = {Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This
                  tutorial volume originates from the 4th Advanced Course on Petri Nets,
                  {ACPN} 2003, held in Eichst{\"{a}}tt, Germany in September 2003.
                  In addition to lectures given at {ACPN} 2003, additional chapters
                  have been commissioned]},
  series       = {Lecture Notes in Computer Science},
  volume       = {3098},
  pages        = {496--536},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-27755-2\_14},
  doi          = {10.1007/978-3-540-27755-2\_14},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/EhrigP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/WeberERBLDWMPEQ03,
  author       = {Herbert Weber and
                  Hartmut Ehrig and
                  Wolfgang Reisig and
                  Alexander Borusan and
                  Sabine Lembke and
                  Juliane Dehnert and
                  Michael Weber and
                  Axel Martens and
                  Julia Padberg and
                  Claudia Ermel and
                  Anilda Qemali},
  editor       = {Hartmut Ehrig and
                  Wolfgang Reisig and
                  Grzegorz Rozenberg and
                  Herbert Weber},
  title        = {The Petri Net Baukasten of the {DFG} Forschergruppe {PETRI} {NET}
                  {TECHNOLOGY}},
  booktitle    = {Petri Net Technology for Communication-Based Systems - Advances in
                  Petri Nets},
  series       = {Lecture Notes in Computer Science},
  volume       = {2472},
  pages        = {1--21},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-40022-6\_1},
  doi          = {10.1007/978-3-540-40022-6\_1},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/dfg/WeberERBLDWMPEQ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/PadbergU03,
  author       = {Julia Padberg and
                  Milan Urb{\'{a}}sek},
  editor       = {Hartmut Ehrig and
                  Wolfgang Reisig and
                  Grzegorz Rozenberg and
                  Herbert Weber},
  title        = {Rule-Based Refinement of Petri Nets: {A} Survey},
  booktitle    = {Petri Net Technology for Communication-Based Systems - Advances in
                  Petri Nets},
  series       = {Lecture Notes in Computer Science},
  volume       = {2472},
  pages        = {161--196},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-40022-6\_9},
  doi          = {10.1007/978-3-540-40022-6\_9},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dfg/PadbergU03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Padberg03,
  author       = {Julia Padberg},
  editor       = {Roswitha Bardohl and
                  Hartmut Ehrig},
  title        = {Case Study: Modelling Telecom Services with Petri Net Modules},
  booktitle    = {Uniform Approaches to Graphical Process Specification Techniques,
                  {UNIGRA} 2003, Satellite Event for {ETAPS} 2003, Warsaw, Poland, April
                  5-6, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {82},
  number       = {7},
  pages        = {34--45},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)80745-X},
  doi          = {10.1016/S1571-0661(04)80745-X},
  timestamp    = {Thu, 08 Dec 2022 11:16:42 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Padberg03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jid/PadbergWS02,
  author       = {Julia Padberg and
                  Herbert Weber and
                  Asuman S{\"{u}}nb{\"{u}}l},
  title        = {Petri Net Based Components for Evolvable Architectures},
  journal      = {Trans. {SDPS}},
  volume       = {6},
  number       = {3},
  pages        = {105--114},
  year         = {2002},
  url          = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid6-3-07},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jid/PadbergWS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jid/EhrigP02,
  author       = {Hartmut Ehrig and
                  Julia Padberg},
  title        = {Component-Based System Development},
  journal      = {Trans. {SDPS}},
  volume       = {6},
  number       = {4},
  pages        = {1},
  year         = {2002},
  url          = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid6-4-01},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jid/EhrigP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jid/Padberg02,
  author       = {Julia Padberg},
  title        = {Petri Net Modules},
  journal      = {Trans. {SDPS}},
  volume       = {6},
  number       = {4},
  pages        = {105--120},
  year         = {2002},
  url          = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid6-4-07},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jid/Padberg02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/EhrigHPBH02,
  author       = {Hartmut Ehrig and
                  Kathrin Hoffmann and
                  Julia Padberg and
                  Paolo Baldan and
                  Reiko Heckel},
  editor       = {Wilfried Brauer and
                  Hartmut Ehrig and
                  Juhani Karhum{\"{a}}ki and
                  Arto Salomaa},
  title        = {High-Level Net Processes},
  booktitle    = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg
                  [on occasion of his 60th birthday, March 14, 2002]},
  series       = {Lecture Notes in Computer Science},
  volume       = {2300},
  pages        = {191--219},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45711-9\_12},
  doi          = {10.1007/3-540-45711-9\_12},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/EhrigHPBH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BardohlEP02,
  author       = {Roswitha Bardohl and
                  Claudia Ermel and
                  Julia Padberg},
  editor       = {Andrea Corradini and
                  Hartmut Ehrig and
                  Hans{-}J{\"{o}}rg Kreowski and
                  Grzegorz Rozenberg},
  title        = {Transforming Specification Architectures by GenGED},
  booktitle    = {Graph Transformation, First International Conference, {ICGT} 2002,
                  Barcelona, Spain, October 7-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2505},
  pages        = {30--44},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45832-8\_5},
  doi          = {10.1007/3-540-45832-8\_5},
  timestamp    = {Sat, 04 Apr 2020 17:15:23 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/BardohlEP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/PadbergE02,
  author       = {Julia Padberg and
                  Bettina Enders},
  editor       = {Andrea Corradini and
                  Hartmut Ehrig and
                  Hans{-}J{\"{o}}rg Kreowski and
                  Grzegorz Rozenberg},
  title        = {Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical
                  Systems},
  booktitle    = {Graph Transformation, First International Conference, {ICGT} 2002,
                  Barcelona, Spain, October 7-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2505},
  pages        = {334--350},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45832-8\_25},
  doi          = {10.1007/3-540-45832-8\_25},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/PadbergE02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Padberg03a,
  author       = {Julia Padberg},
  editor       = {Reiko Heckel and
                  Tom Mens and
                  Michel Wermelinger},
  title        = {Basic Ideas for Transformations of Specification Architectures},
  booktitle    = {Workshop on Software Evolution Through Transformations 2002 - Toward
                  Uniform Support Throughout the Software Life-Cycle, Barcelona, Spain,
                  2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {72},
  number       = {4},
  pages        = {46--58},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80625-X},
  doi          = {10.1016/S1571-0661(04)80625-X},
  timestamp    = {Tue, 06 Dec 2022 16:49:29 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Padberg03a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jid/EhrigGP01,
  author       = {Hartmut Ehrig and
                  Michael Goedicke and
                  Julia Padberg},
  title        = {Integration and Collaboration Based on Graphical Techniques (Editorial)},
  journal      = {Trans. {SDPS}},
  volume       = {5},
  number       = {1},
  pages        = {1--2},
  year         = {2001},
  url          = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid5-1-01},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jid/EhrigGP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jid/PadbergJESH01,
  author       = {Julia Padberg and
                  L. Jansen and
                  Hartmut Ehrig and
                  Eckehard Schnieder and
                  Reiko Heckel},
  title        = {Cooperability in Train Control Systems: Specification of Scenarios
                  using Open Nets},
  journal      = {Trans. {SDPS}},
  volume       = {5},
  number       = {1},
  pages        = {3--21},
  year         = {2001},
  url          = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid5-1-02},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jid/PadbergJESH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jid/SunbulWP01,
  author       = {Asuman S{\"{u}}nb{\"{u}}l and
                  Herbert Weber and
                  Julia Padberg},
  title        = {Evolutionary Development of Business Process Centered Architectures
                  using Component Technologies},
  journal      = {Trans. {SDPS}},
  volume       = {5},
  number       = {3},
  pages        = {13--24},
  year         = {2001},
  url          = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid5-3-03},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jid/SunbulWP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PadbergGE01,
  author       = {Julia Padberg and
                  Magdalena Gajewsky and
                  Claudia Ermel},
  title        = {Rule-based refinement of high-level nets preserving safety properties},
  journal      = {Sci. Comput. Program.},
  volume       = {40},
  number       = {1},
  pages        = {97--118},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0167-6423(00)00022-8},
  doi          = {10.1016/S0167-6423(00)00022-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/PadbergGE01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/PadbergE01,
  author       = {Julia Padberg and
                  Hartmut Ehrig},
  editor       = {Hartmut Ehrig and
                  Gabriel Juh{\'{a}}s and
                  Julia Padberg and
                  Grzegorz Rozenberg},
  title        = {Parameterized Net Classes: {A} Uniform Approach to Petri Net Classes},
  booktitle    = {Unifying Petri Nets, Advances in Petri Nets},
  series       = {Lecture Notes in Computer Science},
  volume       = {2128},
  pages        = {173--229},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45541-8\_7},
  doi          = {10.1007/3-540-45541-8\_7},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/PadbergE01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/PadbergER01,
  author       = {Julia Padberg and
                  Hartmut Ehrig and
                  Grzegorz Rozenberg},
  editor       = {Hartmut Ehrig and
                  Gabriel Juh{\'{a}}s and
                  Julia Padberg and
                  Grzegorz Rozenberg},
  title        = {Behavior and Realization Construction for Petri Nets Based on Free
                  Monoid and Power Set Graphs},
  booktitle    = {Unifying Petri Nets, Advances in Petri Nets},
  series       = {Lecture Notes in Computer Science},
  volume       = {2128},
  pages        = {230--249},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45541-8\_8},
  doi          = {10.1007/3-540-45541-8\_8},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/PadbergER01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ErmelBP01,
  author       = {Claudia Ermel and
                  Roswitha Bardohl and
                  Julia Padberg},
  editor       = {Hartmut Ehrig and
                  Claudia Ermel and
                  Julia Padberg},
  title        = {Visual Design of Software Architecture and Evolution based on Graph
                  Transformation},
  booktitle    = {Uniform Approaches to Graphical Process Specification Techniques,
                  {UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
                  31 - April 1, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {44},
  number       = {4},
  pages        = {52--66},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)80943-5},
  doi          = {10.1016/S1571-0661(04)80943-5},
  timestamp    = {Thu, 01 Dec 2022 11:20:11 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ErmelBP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EhrigEP01,
  author       = {Hartmut Ehrig and
                  Claudia Ermel and
                  Julia Padberg},
  editor       = {Hartmut Ehrig and
                  Claudia Ermel and
                  Julia Padberg},
  title        = {Preface},
  booktitle    = {Uniform Approaches to Graphical Process Specification Techniques,
                  {UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
                  31 - April 1, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {44},
  number       = {4},
  pages        = {188--189},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(05)80952-1},
  doi          = {10.1016/S1571-0661(05)80952-1},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/EhrigEP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/phaunRS01/Padberg01,
  author       = {Julia Padberg},
  editor       = {Gheorghe Paun and
                  Grzegorz Rozenberg and
                  Arto Salomaa},
  title        = {Classification of Petri Nets Using Adjoint Functors},
  booktitle    = {Current Trends in Theoretical Computer Science, Entering the 21th
                  Century},
  pages        = {171--179},
  publisher    = {World Scientific},
  year         = {2001},
  timestamp    = {Sat, 03 Aug 2019 22:52:51 +0200},
  biburl       = {https://dblp.org/rec/books/ws/phaunRS01/Padberg01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/phaunRS01/EhrigPO01,
  author       = {Hartmut Ehrig and
                  Julia Padberg and
                  Fernando Orejas},
  editor       = {Gheorghe Paun and
                  Grzegorz Rozenberg and
                  Arto Salomaa},
  title        = {From Basic Views and Aspects to Integration of Specification Formalisms},
  booktitle    = {Current Trends in Theoretical Computer Science, Entering the 21th
                  Century},
  pages        = {202--214},
  publisher    = {World Scientific},
  year         = {2001},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ws/phaunRS01/EhrigPO01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2001u,
  editor       = {Hartmut Ehrig and
                  Gabriel Juh{\'{a}}s and
                  Julia Padberg and
                  Grzegorz Rozenberg},
  title        = {Unifying Petri Nets, Advances in Petri Nets},
  series       = {Lecture Notes in Computer Science},
  volume       = {2128},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45541-8},
  doi          = {10.1007/3-540-45541-8},
  isbn         = {3-540-43067-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/2001u.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/unigra/2001,
  editor       = {Hartmut Ehrig and
                  Claudia Ermel and
                  Julia Padberg},
  title        = {Uniform Approaches to Graphical Process Specification Techniques,
                  {UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
                  31 - April 1, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {44},
  number       = {4},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/44/issue/4},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/unigra/2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/PadbergHG00,
  author       = {Julia Padberg and
                  Kathrin Hoffmann and
                  Magdalena Gajewsky},
  editor       = {T. S. E. Maibaum},
  title        = {Stepwise Introduction and Preservation of Safety Properties in Algebraic
                  High-Level Net Systems},
  booktitle    = {Fundamental Approaches to Software Engineering, Third Internationsl
                  Conference, {FASE} 2000, Held as Part of the European Joint Conferences
                  on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany,
                  March 25 - April 2, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1783},
  pages        = {249--265},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46428-X\_18},
  doi          = {10.1007/3-540-46428-X\_18},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/PadbergHG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/PadbergEB00,
  author       = {Julia Padberg and
                  Claudia Ermel and
                  Roswitha Bardohl},
  editor       = {Jos{\'{e}} D. P. Rolim and
                  Andrei Z. Broder and
                  Andrea Corradini and
                  Roberto Gorrieri and
                  Reiko Heckel and
                  Juraj Hromkovic and
                  Ugo Vaccaro and
                  J. B. Wells},
  title        = {Rule-Based and Visual Model Evolution using {GENGED}},
  booktitle    = {{ICALP} Workshops 2000, Proceedings of the Satelite Workshops of the
                  27th International Colloquium on Automata, Languages and Programming,
                  Geneva, Switzerland, July 9-15, 2000},
  pages        = {467--476},
  publisher    = {Carleton Scientific, Waterloo, Ontario, Canada},
  year         = {2000},
  timestamp    = {Sat, 04 Apr 2020 17:15:23 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/PadbergEB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/Padberg99,
  author       = {Julia Padberg},
  title        = {Categorical Approach to Horizontal Structuring and Refinement of High-Level
                  Replacement Systems},
  journal      = {Appl. Categorical Struct.},
  volume       = {7},
  number       = {4},
  pages        = {371--403},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1008695316594},
  doi          = {10.1023/A:1008695316594},
  timestamp    = {Tue, 29 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acs/Padberg99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/EhrigPO99,
  author       = {Hartmut Ehrig and
                  Julia Padberg and
                  Fernando Orejas},
  title        = {From Basic Views and Aspects to Integration of Specification Formalisms},
  journal      = {Bull. {EATCS}},
  volume       = {69},
  pages        = {98--109},
  year         = {1999},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/EhrigPO99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Padberg98,
  author       = {Julia Padberg},
  title        = {Classification of Petri Nets Using Adjoint Functors},
  journal      = {Bull. {EATCS}},
  volume       = {66},
  pages        = {85--91},
  year         = {1998},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Padberg98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/PadbergGE98,
  author       = {Julia Padberg and
                  Magdalena Gajewsky and
                  Claudia Ermel},
  editor       = {Egidio Astesiano},
  title        = {Rule-Based Refinement of High-Level Nets Preserving Safety Properties},
  booktitle    = {Fundamental Approaches to Software Engineering, 1st Internationsl
                  Conference, FASE'98, Held as Part of the European Joint Conferences
                  on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal,
                  March 28 - April 4, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1382},
  pages        = {221--238},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0053593},
  doi          = {10.1007/BFB0053593},
  timestamp    = {Sat, 07 Sep 2019 11:59:24 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/PadbergGE98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tagt/EhrigHLOPR98,
  author       = {Hartmut Ehrig and
                  Reiko Heckel and
                  Merc{\`{e}} Llabr{\'{e}}s and
                  Fernando Orejas and
                  Julia Padberg and
                  Grzegorz Rozenberg},
  editor       = {Hartmut Ehrig and
                  Gregor Engels and
                  Hans{-}J{\"{o}}rg Kreowski and
                  Grzegorz Rozenberg},
  title        = {Double-Pullback Graph Transitions: {A} Rule-Based Framework with Incomplete
                  Information},
  booktitle    = {Theory and Application of Graph Transformations, 6th International
                  Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1764},
  pages        = {85--102},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-46464-8\_7},
  doi          = {10.1007/978-3-540-46464-8\_7},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tagt/EhrigHLOPR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tagt/PadbergGH98,
  author       = {Julia Padberg and
                  Magdalena Gajewsky and
                  Kathrin Hoffmann},
  editor       = {Hartmut Ehrig and
                  Gregor Engels and
                  Hans{-}J{\"{o}}rg Kreowski and
                  Grzegorz Rozenberg},
  title        = {Incremental Development of Safety Properties in Petri Net Transformations},
  booktitle    = {Theory and Application of Graph Transformations, 6th International
                  Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1764},
  pages        = {410--425},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-540-46464-8\_29},
  doi          = {10.1007/978-3-540-46464-8\_29},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tagt/PadbergGH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/Padberg98,
  author       = {Julia Padberg},
  editor       = {Jos{\'{e}} Luiz Fiadeiro},
  title        = {Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 13th International
                  Workshop, {WADT} '98, Lisbon, Portugal, April 2-4, 1998, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1589},
  pages        = {241--260},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-48483-3\_16},
  doi          = {10.1007/3-540-48483-3\_16},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/Padberg98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/EhrigMP97,
  author       = {Hartmut Ehrig and
                  A. Merten and
                  Julia Padberg},
  title        = {How to Transfer Concepts of Abstract Data Types to Petri Nets?},
  journal      = {Bull. {EATCS}},
  volume       = {62},
  year         = {1997},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/EhrigMP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/EhrigP97,
  author       = {Hartmut Ehrig and
                  Julia Padberg},
  editor       = {Christian Freksa and
                  Matthias Jantzen and
                  R{\"{u}}diger Valk},
  title        = {A Uniform Approach to Petri Nets},
  booktitle    = {Foundations of Computer Science: Potential - Theory - Cognition, to
                  Wilfried Brauer on the occasion of his sixtieth birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {1337},
  pages        = {219--231},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0052090},
  doi          = {10.1007/BFB0052090},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/EhrigP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/EhrigGKP97,
  author       = {Hartmut Ehrig and
                  Robert Geisler and
                  Marcus Klar and
                  Julia Padberg},
  editor       = {Antoni W. Mazurkiewicz and
                  J{\'{o}}zef Winkowski},
  title        = {Horizontal and Vertical Structuring Techniques for Statecharts},
  booktitle    = {{CONCUR} '97: Concurrency Theory, 8th International Conference, Warsaw,
                  Poland, July 1-4, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1243},
  pages        = {181--195},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63141-0\_13},
  doi          = {10.1007/3-540-63141-0\_13},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/EhrigGKP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0084471,
  author       = {Julia Padberg},
  title        = {Abstract Petri nets - uniform approach and rule-based refinement},
  series       = {Berichte aus der Informatik},
  publisher    = {Shaker},
  year         = {1996},
  url          = {https://d-nb.info/948270896},
  isbn         = {978-3-8265-1698-6},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0084471.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/PadbergER95,
  author       = {Julia Padberg and
                  Hartmut Ehrig and
                  Leila Ribeiro},
  title        = {Algebraic High-Level Net Transformation Systems},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {5},
  number       = {2},
  pages        = {217--256},
  year         = {1995},
  url          = {https://doi.org/10.1017/S0960129500000724},
  doi          = {10.1017/S0960129500000724},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/PadbergER95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/EhrigP94,
  author       = {Hartmut Ehrig and
                  Julia Padberg},
  title        = {Linking Algebraic High level Nets and Dynamic Abstract Data},
  journal      = {Bull. {EATCS}},
  volume       = {54},
  pages        = {132--144},
  year         = {1994},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/EhrigP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tagt/CorradiniELMP94,
  author       = {Andrea Corradini and
                  Hartmut Ehrig and
                  Michael L{\"{o}}we and
                  Ugo Montanari and
                  Julia Padberg},
  editor       = {Janice E. Cuny and
                  Hartmut Ehrig and
                  Gregor Engels and
                  Grzegorz Rozenberg},
  title        = {The Category of Typed Graph Grammars and its Adjunctions with Categories},
  booktitle    = {Graph Gramars and Their Application to Computer Science, 5th International
                  Workshop, Williamsburg, VA, USA, November 13-18, 1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1073},
  pages        = {56--74},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-61228-9\_79},
  doi          = {10.1007/3-540-61228-9\_79},
  timestamp    = {Sat, 04 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tagt/CorradiniELMP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Padberg93,
  author       = {Julia Padberg},
  title        = {Algebreic high-level net transformation systems: a survey over theory
                  and applications},
  journal      = {Bull. {EATCS}},
  volume       = {51},
  pages        = {102--110},
  year         = {1993},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Padberg93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbes/0001EP93,
  author       = {Leila Ribeiro and
                  Hartmut Ehrig and
                  Julia Padberg},
  editor       = {Julio C{\'{e}}sar Sampaio do Prado Leite and
                  Ana Regina Cavalcanti da Rocha and
                  Cl{\'{a}}udia L. R. Motta and
                  Marcelo Gattass and
                  Pedro Manoel da Silveira and
                  Roberto Antonio Rodrigues de Almeida},
  title        = {Formal Development of Concurrent Systems using Algebraic High-Level
                  Nets and Transformations},
  booktitle    = {Proceedings of the 7th Brazilian Symposium on Software Engineering,
                  {SBES} 1993, Rio de Janeiro, RJ, Brazil, October 27-29, 1993},
  pages        = {1--16},
  publisher    = {{SBC}},
  year         = {1993},
  url          = {https://doi.org/10.5753/sbes.1993.24392},
  doi          = {10.5753/SBES.1993.24392},
  timestamp    = {Tue, 06 Feb 2024 14:19:46 +0100},
  biburl       = {https://dblp.org/rec/conf/sbes/0001EP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/EhrigPR92,
  author       = {Hartmut Ehrig and
                  Julia Padberg and
                  Leila Ribeiro},
  editor       = {Hartmut Ehrig},
  title        = {Algebraic High-Level Nets: Petri Nets Revisited},
  booktitle    = {Recent Trends in Data Type Specification, 9th Workshop on Specification
                  of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
                  de Malavella, Spain, October 26-30, 1992, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {785},
  pages        = {188--206},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-57867-6\_11},
  doi          = {10.1007/3-540-57867-6\_11},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compass/EhrigPR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics