| Publication | Date of Publication | Type |
|---|
Horizontal and vertical structuring techniques for statecharts
CONCUR '97: Concurrency Theory | 2023-05-17 | Paper |
Hierarchical Graph Transformation Revisited
Graph Transformation | 2019-11-22 | Paper |
The category of typed graph grammars and its adjunctions with categories of derivations
Lecture Notes in Computer Science | 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
Graph Transformation | 2016-09-05 | Paper |
Reconfigurable Petri nets with transition priorities and inhibitor arcs
Graph Transformation | 2015-09-22 | Paper |
Visual design of software architecture and evolution based on graph transformation
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
Rule-based refinement of Petri nets: A survey
Petri Net Technology for Communication-Based Systems | 2011-04-08 | Paper |
A generic approach to connector architectures. I: The general framework
Fundamenta Informaticae | 2010-05-25 | Paper |
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP
Fundamenta Informaticae | 2010-05-25 | Paper |
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems
Petri Nets and Other Models of Concurrency – ICATPN 2007 | 2009-03-11 | Paper |
Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components
Applied Categorical Structures | 2008-07-30 | Paper |
Transformations in Reconfigurable Place/Transition Systems
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Graph Transformations
Lecture Notes in Computer Science | 2007-06-21 | Paper |
| Adhesive high-level replacement systems: a new categorical framework for graph transformation | 2007-01-19 | Paper |
Petri net modules in the transformation-based component framework
The Journal of Logic and Algebraic Programming | 2006-04-28 | Paper |
Lectures on Concurrency and Petri Nets
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Formal Methods in Software and Systems Modeling
Lecture Notes in Computer Science | 2005-12-02 | Paper |
| scientific article; zbMATH DE number 2087496 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2016065 (Why is no real title available?) | 2003-12-10 | Paper |
| scientific article; zbMATH DE number 2016085 (Why is no real title available?) | 2003-12-10 | Paper |
| scientific article; zbMATH DE number 1973124 (Why is no real title available?) | 2003-09-01 | Paper |
| scientific article; zbMATH DE number 1973123 (Why is no real title available?) | 2003-09-01 | Paper |
| scientific article; zbMATH DE number 1860660 (Why is no real title available?) | 2003-06-02 | Paper |
Rule-based refinement of high-level nets preserving safety properties
Science of Computer Programming | 2001-10-07 | Paper |
| scientific article; zbMATH DE number 1504829 (Why is no real title available?) | 2001-04-19 | Paper |
| scientific article; zbMATH DE number 1860663 (Why is no real title available?) | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 1504840 (Why is no real title available?) | 2000-09-12 | Paper |
Categorical approach to horizontal structuring and refinement of high-level replacement systems
Applied Categorical Structures | 2000-08-03 | Paper |
| scientific article; zbMATH DE number 1407501 (Why is no real title available?) | 2000-04-06 | Paper |
| scientific article; zbMATH DE number 1418813 (Why is no real title available?) | 2000-03-30 | Paper |
| scientific article; zbMATH DE number 1418372 (Why is no real title available?) | 2000-03-19 | Paper |
| scientific article; zbMATH DE number 1236364 (Why is no real title available?) | 1999-01-06 | Paper |
| scientific article; zbMATH DE number 1104394 (Why is no real title available?) | 1998-04-20 | Paper |
| scientific article; zbMATH DE number 1101600 (Why is no real title available?) | 1998-01-07 | Paper |
| scientific article; zbMATH DE number 1064108 (Why is no real title available?) | 1997-11-20 | Paper |
Algebraic high-level net transformation systems
Mathematical Structures in Computer Science | 1996-06-10 | Paper |
| scientific article; zbMATH DE number 709535 (Why is no real title available?) | 1995-11-28 | Paper |
| scientific article; zbMATH DE number 749802 (Why is no real title available?) | 1995-05-01 | Paper |
| scientific article; zbMATH DE number 446837 (Why is no real title available?) | 1994-04-17 | Paper |
