An integrated understanding of molecular and developmental biology must consider the
large number of molecular species involved and the low concentrations of many species in …

This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of
labelled transition systems with exponentially delayed transitions. We show that IMCs are …

The behavior of many technical systems that are increasingly important in our every-day life
can be described by discrete states and state-changing events. Discrete event systems …

Petri nets are a discrete event simulation approach developed for system representation, in
particular for their concurrency and synchronization properties. Various extensions to the …

Recognition of human activities in restricted settings such as airports, parking lots and banks
is of significant interest in security and automated surveillance systems. In such settings …

In a previous paper we have defined Superposed Stochastic Automata (SSA)[13], a class of
Stochastic Petri Nets (SPN) whose solution can be efficiently computed since it never …

Abstract Generalised Stochastic Petri Nets (GSPN s) are a popular modelling formalism for
performance and dependability analysis. Their semantics is traditionally associated to …

This paper focuses on the development of Petri net models and tools for the control and
performance analysis of signalized traffic intersections and networks of connected …

We discuss conceptional and foundational aspects of Markov automata [22]. We place this
model in the context of continuous-and discrete-time Markov chains, probabilistic automata …

Generalized stochastic Petri nets (GSPN) and performance evaluation process algebra
(PEPA) can both be used to study qualitative and quantitative behaviour of systems in a …