We introduce adhesive categories, which are categories with structure ensuring that
pushouts along monomorphisms are well-behaved. Many types of graphical structures used …

We introduce adhesive categories, which are categories with structure ensuring that
pushouts along monomorphisms are well-behaved, as well as quasiadhesive categories …

We give an introduction to graph transformation, not only for researchers in software
engineering, but based on applications of graph transformation in this domain. In particular …

UML Statecharts are well-known visual means to capture the dynamic behavior of reactive
systems in the object-oriented design methodology. Since the UML standard only contains …

The aim of this paper is a tutorial introduction to graph grammars and graph transformations
on one hand and to Petri net transformations on the other hand. In addition to an introduction …

Graph grammars (or graph transformation systems), originally introduced as a
generalization of string grammars, can be seen as a powerful formalism for the specification …

We propose a graphical implementation for (possibly recursive) processes of the π-calculus,
encoding each process into a graph. Our implementation is sound and complete with …

The aim of this paper is an introduction to the area of Petri net transformations, a rule-based
approach for dynamic changes of the net structure of Petri nets. This is especially important …

For the generic specification of protocols, goals, or workflows, many approaches to agent-
oriented modeling provide a concept of role. Roles abstract from the concrete agents …

In this paper, we introduce online knapsack problems with a resource buffer. In the
problems, we are given a knapsack with capacity $1 $, a buffer with capacity $ R\ge 1$, and …