Graphs are important structures in mathematics, computer science and several other
research and application areas. The concepts of graph transformation and graph grammars …

Regulatory networks depict promoting or inhibiting interactions between molecules in a
biochemical system. We introduce a category-theoretic formalism for regulatory networks …

Tuberculosis is one of the life-threatening diseases globally, caused by the bacteria
Mycobacterium tuberculosis. In order to control this epidemic globally, there is an urgent …

One of the well-known results in concurrency theory concerns the relationship between
event structures and occurrence nets: an occurrence net can be associated with a prime …

Event Structures (ESs) address the representation of direct relationships between individual
events, usually capturing the notions of causality and conflict. Up to now, such relationships …

Reversible prime event structures extend the well-known model of prime event structures to
represent reversible computational processes. Essentially, they give abstract descriptions of …

Interval order structures are useful tools to model abstract concurrent histories, ie sets of
equivalent system runs, when system runs are modeled with interval orders. This paper …

A representation of interval orders by sequences of antichains is discussed, and its
relationship to the Fishburn's representation by sequences of the beginnings and endings of …

In the classical Mazurkiewicz trace approach the behaviour of a concurrent system is
described in terms of sequential observations that differ only with respect to their ordering of …

Abstract Causal nets (CNs) are Petri nets where causal dependencies are modelled via
inhibitor arcs. They play the role of occurrence nets when representing the behaviour of a …