Padberg, Julia; Kahloul, Laid Overview of reconfigurable Petri nets. (English) Zbl 1383.68056 Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 201-222 (2018). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Padberg} and \textit{L. Kahloul}, Lect. Notes Comput. Sci. 10800, 201--222 (2018; Zbl 1383.68056) Full Text: DOI
Padberg, Julia; Schulz, Alexander Model checking reconfigurable Petri nets with Maude. (English) Zbl 1344.68141 Echahed, Rachid (ed.) et al., 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. Cham: Springer (ISBN 978-3-319-40529-2/pbk; 978-3-319-40530-8/ebook). Lecture Notes in Computer Science 9761, 54-70 (2016). MSC: 68Q60 68Q42 68Q85 PDFBibTeX XMLCite \textit{J. Padberg} and \textit{A. Schulz}, Lect. Notes Comput. Sci. 9761, 54--70 (2016; Zbl 1344.68141) Full Text: DOI
Padberg, Julia Reconfigurable Petri nets with transition priorities and inhibitor arcs. (English) Zbl 1321.68364 Parisi-Presicce, Francesco (ed.) et al., Graph transformation. 8th international conference, ICGT 2015, held as part of STAF 2015, L’Aquila, Italy, July 21–23, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-21144-2/pbk; 978-3-319-21145-9/ebook). Lecture Notes in Computer Science 9151, 104-120 (2015). MSC: 68Q85 68Q42 PDFBibTeX XMLCite \textit{J. Padberg}, Lect. Notes Comput. Sci. 9151, 104--120 (2015; Zbl 1321.68364) Full Text: DOI
Orejas, Fernando; Ehrig, Hartmut; Klein, Markus; Padberg, Julia; Pino, Elvira; Pérez, Sonia A generic approach to connector architectures. II: Instantiation to Petri nets and CSP. (English) Zbl 1205.68123 Fundam. Inform. 99, No. 1, 94-124 (2010). MSC: 68N30 68Q55 68Q85 PDFBibTeX XMLCite \textit{F. Orejas} et al., Fundam. Inform. 99, No. 1, 94--124 (2010; Zbl 1205.68123) Full Text: DOI
Orejas, Fernando; Ehrig, Hartmut; Klein, Markus; Padberg, Julia; Pino, Elvira; Pérez, Sonia A generic approach to connector architectures. I: The general framework. (English) Zbl 1196.68052 Fundam. Inform. 99, No. 1, 63-93 (2010). MSC: 68N30 68Q55 68Q85 PDFBibTeX XMLCite \textit{F. Orejas} et al., Fundam. Inform. 99, No. 1, 63--93 (2010; Zbl 1196.68052) Full Text: DOI
Padberg, Julia Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components. (English) Zbl 1147.68055 Appl. Categ. Struct. 16, No. 3, 333-364 (2008). MSC: 68Q85 68Q42 18A99 PDFBibTeX XMLCite \textit{J. Padberg}, Appl. Categ. Struct. 16, No. 3, 333--364 (2008; Zbl 1147.68055) Full Text: DOI
Prange, Ulrike; Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia Transformations in reconfigurable place/transition systems. (English) Zbl 1144.68043 Degano, Pierpaolo (ed.) et al., Concurrency, graphs and models. Essays dedicated to Ugo Montanari on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-540-68676-7/pbk). Lecture Notes in Computer Science 5065, 96-113 (2008). MSC: 68Q85 68Q42 PDFBibTeX XMLCite \textit{U. Prange} et al., Lect. Notes Comput. Sci. 5065, 96--113 (2008; Zbl 1144.68043) Full Text: DOI
Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Prange, Ulrike; Ermel, Claudia Independence of net transformations and token firing in reconfigurable place/transition systems. (English) Zbl 1226.68052 Kleijn, Jetty (ed.) et al., 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. Berlin: Springer (ISBN 978-3-540-73093-4/pbk). Lecture Notes in Computer Science 4546, 104-123 (2007). MSC: 68Q85 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Lect. Notes Comput. Sci. 4546, 104--123 (2007; Zbl 1226.68052) Full Text: DOI
Padberg, Julia; Ehrig, Hartmut Petri net modules in the transformation-based component framework. (English) Zbl 1088.68129 J. Log. Algebr. Program. 67, No. 1-2, 198-225 (2006). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Padberg} and \textit{H. Ehrig}, J. Log. Algebr. Program. 67, No. 1--2, 198--225 (2006; Zbl 1088.68129) Full Text: DOI
Ehrig, H. (ed.); Padberg, J. (ed.); Rozenberg, G. (ed.) Proceedings of the workshop on Petri nets and graph transformations (PNGT 2004), Rome, Italy, September 28 – October 2, 2004. (English) Zbl 1271.68033 Electronic Notes in Theoretical Computer Science 127, No. 2. Amsterdam: Elsevier. 120 p., electronic only (2005). MSC: 68-06 68Q42 68Q85 00B25 PDFBibTeX XMLCite \textit{H. Ehrig} (ed.) et al., Proceedings of the workshop on Petri nets and graph transformations (PNGT 2004), Rome, Italy, September 28 -- October 2, 2004. Amsterdam: Elsevier (2005; Zbl 1271.68033) Full Text: Link
Padberg, Julia; Kreowski, Hans-Jörg Loose semantics of Petri nets. (English) Zbl 1075.68059 Kreowski, Hans-Jörg (ed.) et al., Formal methods in software and systems modeling. Essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday. Berlin: Springer (ISBN 3-540-24936-2/pbk). Lecture Notes in Computer Science 3393, 370-384 (2005). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{J. Padberg} and \textit{H.-J. Kreowski}, Lect. Notes Comput. Sci. 3393, 370--384 (2005; Zbl 1075.68059) Full Text: DOI
Ehrig, Hartmut; Padberg, Julia Graph grammars and Petri net transformations. (English) Zbl 1088.68079 Desel, Jörg (ed.) et al., Lectures on concurrency and Petri nets. Advances in Petri nets. Berlin: Springer (ISBN 3-540-22261-8/pbk). Lecture Notes in Computer Science 3098, 496-536 (2004). MSC: 68Q42 68Q85 PDFBibTeX XMLCite \textit{H. Ehrig} and \textit{J. Padberg}, Lect. Notes Comput. Sci. 3098, 496--536 (2004; Zbl 1088.68079) Full Text: DOI
Padberg, J.; Urbášek, M. Rule-based refinement of Petri nets: A survey. (English) Zbl 1283.68251 Ehrig, Hartmut (ed.) et al., Petri net technology for communication-based systems. Advances in Petri nets. Berlin: Springer (ISBN 3-540-20538-1/pbk). Lecture Notes in Computer Science 2472, 161-196 (2003). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Padberg} and \textit{M. Urbášek}, Lect. Notes Comput. Sci. 2472, 161--196 (2003; Zbl 1283.68251) Full Text: DOI
Weber, H.; Ehrig, H.; Reisig, W.; Borusan, A.; Lembke, S.; Dehnert, J.; Weber, M.; Martens, A.; Padberg, J.; Ermel, C.; Qemali, A. The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY. (English) Zbl 1283.68257 Ehrig, Hartmut (ed.) et al., Petri net technology for communication-based systems. Advances in Petri nets. Berlin: Springer (ISBN 3-540-20538-1/pbk). Lecture Notes in Computer Science 2472, 1-21 (2003). MSC: 68Q85 PDFBibTeX XMLCite \textit{H. Weber} et al., Lect. Notes Comput. Sci. 2472, 1--21 (2003; Zbl 1283.68257) Full Text: DOI
Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Baldan, Paolo; Heckel, Reiko High-level net processes. (English) Zbl 1060.68078 Brauer, Wilfried (ed.) et al., Formal and natural computing. Essays dedicated to Grzegorz Rozenberg. Berlin: Springer (ISBN 3-540-43190-X). Lect. Notes Comput. Sci. 2300, 191-219 (2002). MSC: 68Q85 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Lect. Notes Comput. Sci. 2300, 191--219 (2002; Zbl 1060.68078) Full Text: Link
Padberg, Julia; Enders, Bettina E. Rule invariants in graph transformation systems for analyzing safety-critical systems. (English) Zbl 1028.68032 Corradini, Andrea (ed.) et al., Graph transformation. 1st international conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2505, 334-350 (2002). MSC: 68N30 68Q85 68Q42 PDFBibTeX XMLCite \textit{J. Padberg} and \textit{B. E. Enders}, Lect. Notes Comput. Sci. 2505, 334--350 (2002; Zbl 1028.68032) Full Text: Link
Bardohl, Roswitha; Ermel, Claudia; Padberg, Julia Transforming specification architectures by GenGED. (English) Zbl 1028.68508 Corradini, Andrea (ed.) et al., Graph transformation. 1st international conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2505, 30-44 (2002). MSC: 68N30 68Q85 68Q42 PDFBibTeX XMLCite \textit{R. Bardohl} et al., Lect. Notes Comput. Sci. 2505, 30--44 (2002; Zbl 1028.68508) Full Text: Link
Ermel, C.; Bardohl, R.; Padberg, J. Visual design of software architecture and evolution based on graph transformation. (English) Zbl 1263.68109 Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 52-66 (2001). MSC: 68Q60 68Q42 68Q85 PDFBibTeX XMLCite \textit{C. Ermel} et al., Electron. Notes Theor. Comput. Sci. 44, No. 4, 52--66 (2001; Zbl 1263.68109) Full Text: DOI
Ehrig, Hartmut (ed.); Ermel, Claudia (ed.); Padberg, Julia (ed.) UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. (English) Zbl 1262.68012 Electronic Notes in Theoretical Computer Science 44, No. 4. Amsterdam: Elsevier. 189 p., electronic only (2001). MSC: 68-06 68Q42 68Q60 68Q85 00B25 PDFBibTeX XMLCite \textit{H. Ehrig} (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 -- April 1, 2001. Proceedings. Amsterdam: Elsevier (2001; Zbl 1262.68012) Full Text: Link
Padberg, Julia; Ehrig, Hartmut; Rozenberg, Grzegorz Behavior and realization construction for Petri nets based on free monoid and power set graphs. (English) Zbl 1017.68079 Ehrig, Hartmut (ed.) et al., Unifying Petri nets. Advances in Petri nets. Berlin: Springer. Lect. Notes Comput. Sci. 2128, 230-249 (2001). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Padberg} et al., Lect. Notes Comput. Sci. 2128, 230--249 (2001; Zbl 1017.68079) Full Text: Link
Padberg, Julia; Ehrig, Hartmut Parameterized net classes: A uniform approach to Petri net classes. (English) Zbl 1017.68078 Ehrig, Hartmut (ed.) et al., Unifying Petri nets. Advances in Petri nets. Berlin: Springer. Lect. Notes Comput. Sci. 2128, 173-229 (2001). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Padberg} and \textit{H. Ehrig}, Lect. Notes Comput. Sci. 2128, 173--229 (2001; Zbl 1017.68078) Full Text: Link
Padberg, Julia Classification of Petri nets using adjoint functors. (English) Zbl 1056.68106 Păun, Gheorghe (ed.) et al., Current trends in theoretical computer science. Entering the 21st century. Based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS), 1992–2000. Singapore: World Scientific (ISBN 981-02-4473-8). 171-179 (2001). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Padberg}, in: Current trends in theoretical computer science. Entering the 21st century. Based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS), 1992--2000. Singapore: World Scientific. 171--179 (2001; Zbl 1056.68106)
Ehrig, Hartmut (ed.); Juhás, Gabriel (ed.); Padberg, Julia (ed.); Rozenberg, Grzegorz (ed.) Unifying Petri nets. Advances in Petri nets. (English) Zbl 0978.00023 Lecture Notes in Computer Science. 2128. Berlin: Springer. viii, 485 p. (2001). MSC: 00B15 68-06 68Q85 PDFBibTeX XMLCite \textit{H. Ehrig} (ed.) et al., Unifying Petri nets. Advances in Petri nets. Berlin: Springer (2001; Zbl 0978.00023)
Padberg, J.; Gajewsky, M.; Ermel, C. Rule-based refinement of high-level nets preserving safety properties. (English) Zbl 0969.68109 Sci. Comput. Program. 40, No. 1, 97-118 (2001). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Padberg} et al., Sci. Comput. Program. 40, No. 1, 97--118 (2001; Zbl 0969.68109) Full Text: DOI
Padberg, Julia; Gajewsky, Maike; Hoffmann, Kathrin Incremental development of safety properties in Petri net transformations. (English) Zbl 0958.68124 Ehrig, Hartmut (ed.) et al., Theory and application of graph transformations. 6th international workshop, TAGT ’98. Paderborn, Germany, November 16-20, 1998. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1764, 410-425 (2000). MSC: 68Q85 68Q42 PDFBibTeX XMLCite \textit{J. Padberg} et al., Lect. Notes Comput. Sci. 1764, 410--425 (2000; Zbl 0958.68124)
Ehrig, Hartmut; Heckel, Reiko; Llabrés, Mercè; Orejas, Fernando; Padberg, Julia; Rozenberg, Grzegorz Double-pullback graph transitions: A rule-based framework with incomplete information. (English) Zbl 0958.68123 Ehrig, Hartmut (ed.) et al., Theory and application of graph transformations. 6th international workshop, TAGT ’98. Paderborn, Germany, November 16-20, 1998. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1764, 85-102 (2000). MSC: 68Q85 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Lect. Notes Comput. Sci. 1764, 85--102 (2000; Zbl 0958.68123)
Padberg, Julia Categorical approach to horizontal structuring and refinement of high-level replacement systems. (English) Zbl 0941.18001 Appl. Categ. Struct. 7, No. 4, 371-403 (1999). MSC: 18A10 68Q85 94C99 18A30 68Q42 PDFBibTeX XMLCite \textit{J. Padberg}, Appl. Categ. Struct. 7, No. 4, 371--403 (1999; Zbl 0941.18001) Full Text: DOI
Padberg, J. Abstract Petri nets as a uniform approach to high-level Petri nets. (English) Zbl 0956.68100 Fiadeiro, José Luiz (ed.), Recent trends in algebraic development techniques. 13th international workshop, WADT ’98, Lisbon, Portugal, April 2-4, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1589, 241-260 (1999). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Padberg}, Lect. Notes Comput. Sci. 1589, 241--260 (1999; Zbl 0956.68100)
Padberg, Julia Classification of Petri nets using adjoint functors. (English) Zbl 0912.68144 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 66, 85-91 (1998). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Padberg}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 66, 85--91 (1998; Zbl 0912.68144)
Ehrig, Hartmut; Geisler, Robert; Klar, Marcus; Padberg, Julia Horizontal and vertical structuring techniques for statecharts. (English) Zbl 1512.68166 Mazurkiewicz, Antoni (ed.) et al., CONCUR ’97: concurrency theory. 8th international conference. Warsaw, Poland. July 1–4, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1243, 181-195 (1997). MSC: 68Q85 18C50 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Lect. Notes Comput. Sci. 1243, 181--195 (1997; Zbl 1512.68166) Full Text: DOI
Ehrig, Hartmut; Gajewski, Maike; Lembke, Sabine; Padberg, Julia Reverse Petri net technology transfer: On the boundary of theory and applications (extended abstract). (English) Zbl 0885.68114 Groves, Lindsay (ed.) et al., Formal methods Pacific ’97. Proceedings of FMP ’97, July 9–11, 1997, Wellington, New Zealand. Singapore: Springer. 297-298 (1997). MSC: 68Q85 PDFBibTeX XMLCite \textit{H. Ehrig} et al., in: Formal methods Pacific '97. Proceedings of FMP '97, July 9--11, 1997, Wellington, New Zealand. Singapore: Springer. 297--298 (1997; Zbl 0885.68114)
Ehrig, H.; Padberg, J. A uniform approach to Petri nets. (English) Zbl 0887.68076 Freksa, Christian (ed.) et al., Foundations of computer science. Potential, theory, cognition. Berlin: Springer. Lect. Notes Comput. Sci. 1337, 219-231 (1997). MSC: 68Q85 PDFBibTeX XMLCite \textit{H. Ehrig} and \textit{J. Padberg}, Lect. Notes Comput. Sci. 1337, 219--231 (1997; Zbl 0887.68076)
Ehrig, H.; Merten, A.; Padberg, J. How to transfer concepts of abstract data types to Petri nets? (English) Zbl 0880.68095 Bull. EATCS 62, 106-114 (1997). MSC: 68Q85 68P05 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Bull. EATCS 62, 106--114 (1997; Zbl 0880.68095)
Padberg, Julia; Ehrig, Hartmut; Ribeiro, Leila Algebraic high-level net transformation systems. (English) Zbl 0839.68068 Math. Struct. Comput. Sci. 5, No. 2, 217-256 (1995). MSC: 68Q85 68Q65 PDFBibTeX XMLCite \textit{J. Padberg} et al., Math. Struct. Comput. Sci. 5, No. 2, 217--256 (1995; Zbl 0839.68068) Full Text: DOI
Padberg, Julia Abstract datatype semantics for algebraic high-level nets using dynamic abstract datatypes. (English) Zbl 0817.68106 Hommel, Günter (ed.), Quality of communication-based systems. Proceedings of an international workshop held at the TU Berlin, Germany, September 1994. Dordrecht: Kluwer Academic Publishers. 1-17 (1995). MSC: 68Q65 68Q85 68Q55 PDFBibTeX XMLCite \textit{J. Padberg}, in: Quality of communication-based systems. Proceedings of an international workshop held at the TU Berlin, Germany, September 1994. Dordrecht: Kluwer Academic Publishers. 1--17 (1995; Zbl 0817.68106)
Ehrig, Hartmut; Padberg, Julia; Ribeiro, Leila Algebraic high level nets. Petri nets revisited. (English) Zbl 0941.68643 Ehrig, Hartmut (ed.) et al., 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. Berlin: Springer. Lect. Notes Comput. Sci. 785, 188-206 (1994). MSC: 68Q85 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Lect. Notes Comput. Sci. 785, 188--206 (1994; Zbl 0941.68643)
Padberg, Julia Algebraic high-level net transformation systems: A survey over theory and applications. (English) Zbl 0785.68064 Bull. EATCS 51, 102-110 (1993). MSC: 68Q65 68Q85 PDFBibTeX XMLCite \textit{J. Padberg}, Bull. EATCS 51, 102--110 (1993; Zbl 0785.68064)