Regulatory networks are at the core of all biological functions from bio-chemical pathways to
gene regulation and cell communication processes. Because of the complexity of the …

Formal specifications are now widely used for modelling systems and reasoning about them.
In particular, automated analysis through model-checking [28] is a successful approach that …

Pervasive computing implies new challenges for software developers. In addition to tackling
common problems pertaining to IT systems in general, new issues like mobility and context …

This paper surveys the research related to the model of M-nets since it was introduced in
1995. M-nets are high-level labelled Petri nets which can be composed, like process …

In this paper we consider Interval-Timed Petri nets (ITPN) which are an extension of Timed
Petri nets. They are considered to behave with discrete delays. The class of ITPNs is Turing …

The aim of this paper is the introduction of preemption in a compositional model, called M-
nets, which is based on Petri nets and hence provided with a concurrent semantics. We …

We present a new approach to the modelling of time constrained systems. It is based on
untimed high-level Petri nets using the concept of causal time. With this concept, the …

IThe starting point of this paper is an algebraic Petri net framework allowing one to express
net compositions, such as iteration and parallel composition, as well as transition …

In this paper we propose a translation into high level Petri nets of the terms of a finite
fragment of the π-calculus. Our construction renders in a compositional way the control flow …

This paper aims at introducing a Petri net semantics of security protocols allowing to study
their properties formally. This is obtained by means of an economic but expressive class of …