In timed Petri nets, the transitions fire in “real-time”, ie, there is a (deterministic or random)
firing time associated with each transition, the tokens are removed from input places at the …

Design of modern digital hardware systems and of complex software systems is almost
always connected with parallelism. For example, execution of an object-oriented p-gram can …

We consider the modelling of the behaviour of membrane systems using Petri nets. First, a
systematic, structural link is established between a basic class of membrane systems and …

Boolean networks (BNs) are widely used to model the qualitative dynamics of biological
systems. Besides the logical rules determining the evolution of each component with respect …

Qualitative models of dynamics of signalling pathways and gene regulatory networks allow
for the capturing of temporal properties of biological networks while requiring few …

Concurrent systems abound in human experience but their fully adequate conceptualization
as yet eludes our most able thinkers. The COSY (ConcurrentSystem) notation and theory …

We consider networks of finite-state machines having local transitions conditioned by the
current state of other automata. In this paper, we introduce a reduction procedure tailored for …

A temporal verification method which is based upon partial order semantics of traces
(Mazurkiewicz, 1987) is presented. The semantic model used here can express the …

Semantics of Parallelism is the only book which provides a unified treatment of the non-
interleaving approach to process semantics (as opposed to the interleaving approach of the …

We consider membrane systems with dissolving and thickening reaction rules. Application of
these rules entails a dynamical change in the structure of a system during its evolution. First …