| Publication | Date of Publication | Type |
|---|
| Horizontal and vertical structuring techniques for statecharts | 2023-05-17 | Paper |
| Hierarchical Graph Transformation Revisited | 2019-11-22 | Paper |
| The category of typed graph grammars and its adjunctions with categories of derivations | 2019-01-10 | Paper |
| A tutorial on graph transformation | 2018-04-04 | Paper |
| Overview of reconfigurable Petri nets | 2018-04-04 | Paper |
| Model Checking Reconfigurable Petri Nets with Maude | 2016-09-05 | Paper |
| Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs | 2015-09-22 | Paper |
| Visual Design of Software Architecture and Evolution based on Graph Transformation | 2013-05-24 | Paper |
| Rule-Based Refinement of Petri Nets: A Survey | 2011-04-08 | Paper |
| A Generic Approach to Connector Architectures Part I: The General Framework | 2010-05-25 | Paper |
| A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP | 2010-05-25 | Paper |
| Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems | 2009-03-11 | Paper |
| Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components | 2008-07-30 | Paper |
| Transformations in Reconfigurable Place/Transition Systems | 2008-06-19 | Paper |
| Graph Transformations | 2007-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3416071 | 2007-01-19 | Paper |
| Petri net modules in the transformation-based component framework | 2006-04-28 | Paper |
| Lectures on Concurrency and Petri Nets | 2005-12-23 | Paper |
| Formal Methods in Software and Systems Modeling | 2005-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738296 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438763 | 2003-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438793 | 2003-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4421724 | 2003-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4421725 | 2003-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790388 | 2003-06-02 | Paper |
| Rule-based refinement of high-level nets preserving safety properties | 2001-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4502807 | 2001-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790391 | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4502819 | 2000-09-12 | Paper |
| Categorical approach to horizontal structuring and refinement of high-level replacement systems | 2000-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4940886 | 2000-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942095 | 2000-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941935 | 2000-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223777 | 1999-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4370279 | 1998-04-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4371022 | 1998-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4355675 | 1997-11-20 | Paper |
| Algebraic high-level net transformation systems | 1996-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4318986 | 1995-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4763985 | 1995-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3142554 | 1994-04-17 | Paper |
