Petri nets are a well-known model of concurrency and provide an ideal setting for the study
of fundamental aspects in concurrent systems. Despite their simplicity, they still lack a …

Abstract Reversing Petri nets (RPNs) have recently been proposed as a net-based
approach to model causal and out-of-causal order reversibility. They are based on the …

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

Reversible computation is a form of computing that allows operations to be executed in both
the forward as well as the backward direction. In this paper we propose an approach …

Reversible computing is a technique to “let computations run forwards and backwards” and
thus extends the traditional model of computation. As an example, consider a function to …

Reversing Petri nets (RPNs) have recently been proposed as a net-basedapproach to
model causal and out-of-causal order reversibility. They are based on the notion of …

We have demonstrated in previous work that the Calculus of Covalent Bonding (CCB) can
be used to simulate higher-level biochemical processes. This is significant since CCB was …

In nature and chemistry the interactions among elements often form bonds and among them
covalent bonds are relevant, involving the sharing of electrons. Another relevant and …

Event structures have emerged as a foundational model for concurrent computation,
explaining computational processes by outlining the events and the relationships that dictate …

Abstract Reversing Petri nets (RPNs) have recently proposed as a Petri-net inspired
formalism that supports the modelling of causal and out-of-causal order reversibility. In …