A compositional approach to performance modelling
A compositional approach to performance modelling
Modelling Biological Compartments in Bio-PEPA
Electronic Notes in Theoretical Computer Science (ENTCS)
Bio-PEPA: A framework for the modelling and analysis of biological systems
Theoretical Computer Science
Design and development of software tools for Bio-PEPA
Winter Simulation Conference
Hi-index | 0.00 |
Bio-PEPA [2], a process algebra developed from PEPA [5] is used to model a process occurring in mammalian cells whereby the Src oncoprotein is trafficked between different parts of the cell [9]. Src is associated with cell movement and adhesion between cells which is linked to tumour formation [9]. A useful model of the protein's behaviour can provide predictions for new experimental hypotheses which may improve our understanding, and in time, lead to new therapies for cancer. The aim is to assess the suitability of Bio-PEPA for more detailed modelling of Src trafficking than that of a previous simpler Bio-PEPA model [4].