As the amount of biological data in the public domain grows, so does the range of modeling
and analysis techniques employed in systems biology. In recent years, a number of …

Biochemical networks depict the chemical interactions that take place among elements of
living cells. They aim to elucidate how cellular behavior and functional properties of the cell …

MARCIE is a multi-threaded tool for the analysis of Generalized Stochastic Petri Nets. Its
capabilities range from standard properties of qualitative Petri nets to CTL and CSL model …

Stochastic models are becoming increasingly popular in Systems Biology. They are
compulsory, if the stochastic noise is crucial for the behavioural properties to be …

The bio-cell cycle is controlled by a complex biochemical network of signaling pathways.
Modeling such challenging networks accurately is imperative for the understanding of their …

The functioning of both normal and pathological tissues depends on an adequate supply of
oxygen through the blood vessels. A process called angiogenesis, in which new endothelial …

When working with large stochastic models simulation remains the only possible analysis
technique. Therefore, simulative model checking is the way to go. While finite time horizon …

Building smart grid for power system is a major challenge for safe, automated and energy
efficient usage of electricity. The full implementation of the smart grid will evolve over time …

Stochastic modelling of biochemical reaction networks is getting more and more popular.
Throughout the past decades typical biological models increased in their size and …

In this paper we consider the modeling of a portion of the signal transduction pathway
involved in the angiogenic process. The detailed model of this process is affected by a high …