Boolean nets are a family of Petri net models with very simple markings which are sets of
places. We investigate several classes of boolean nets distinguished by different kinds of …

Petri nets are a general and well-established model of concurrent and distributed
computation and behaviour, including that taking place in biological systems. In this survey …

Reaction systems are a formal model for computational processing in which reactions
operate on sets of entities (molecules) providing a framework for dealing with qualitative …

Assuming that the behavioural specification of a concurrent system is given in the form of a
step transition system, where the arcs between states are labelled by steps (multisets of …

Assuming that the behavioural specification of a concurrent system is given in the form of a
step transition system, where the arcs between states are labelled by steps (multisets of …

Membrane systems are a computational model inspired by the functioning of living cells and
their architecture, in particular the way chemical reactions take place in cells divided by …

Boolean nets-such as elementary net systems-are a family of Petri net models with very
simple markings which are sets of places. We investigate several classes of boolean nets …