Formal modelling languages such as process algebras are widespread and effective tools in
computational modelling. However, handling data and uncertainty in a statistically …

Formal languages like process algebras have been shown to be effective tools in modelling
a wide range of dynamic systems, providing a high-level description that is readily …

Two of the steps in system identification are model structure selection and parameter
estimation. In model structure selection, several model structures are evaluated and …

We present a Bio-PEPA (Biochemical-Performance Evaluation Process Algebra)
computational model for the Pacific oyster, derived from a DEB (Dynamic Energy Budget) …

Process algebras are an effective method for defining models of complex interacting
biological processes, but defining a model requires expertise from both modeller and …

Capacity planning is concerned with the provisioning of systems in order to ensure that they
meet the demand or performance requirements of users. Currently for PEPA models, a …

Multi-scale modelling and analysis is becoming increasingly important and relevant.
Analysis of the emergent properties from the interactions between scales of multi-scale …

Stochastic models, in particular Continuous Time Markov Chains, are a commonly employed
mathematical abstraction for describing natural or engineered dynamical systems. While the …

Predictive epidemiological models are able to be used most effectively when they have first
been shown to fit historical data. Finding the right parameters settings for a model is …