We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...
A probabilistic wavelet system (PWS) is proposed to model the unknown dynamic system with stochastic and incomplete data. When compared with the traditional wavelet system, the PWS...
Achieving high performance under a peak temperature limit is a first-order concern for VLSI designers. This paper presents a new model of a thermally-managed system, where a stoch...
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
This paper presents two approaches based on metabolic and stochastic P systems, together with their associated analysis methods, for modelling biological systems and illustrates th...
Marian Gheorghe, Vincenzo Manca, Francisco Jos&eac...