Equivalence and Discretisation in Bio-PEPA
Bio-PEPA is a process algebra for modelling biological systems. An important aspect of Bio-PEPA is the ability it provides to discretise concentrations resulting in a smaller, more manageable state space. The discretisation is based on a step size which determines the size of each discrete level and also the maximum number of levels. This paper considers the relationship between two discretisations of the same Bio-PEPA model that differ only in the step size and hence the maximum number of levels, by using the idea of equivalence from concurrency and process algebra. We present a novel behavioural semantic equivalence, compression bisimulation, that equates two discretisations of the same model and we show that this equivalence is a congruence with respect to the synchronisation operator.
KeywordsEquivalence Class Equivalence Relation System Biology Transition System Model Component
Unable to display preview. Download preview PDF.
- 6.Ciocchetta, F., Hillston, J.: Bio-PEPA: a framework for the modelling and analysis of biological systems. Theoretical Computer Science (in press)Google Scholar
- 7.Hillston, J.: A compositional approach to performance modelling. CUP (1996)Google Scholar
- 8.Ciocchetta, F., Hillston, J.: Calculi for biological systems. In: Formal Methods for Computational Systems Biology. In: SFM 2008. LNCS, vol. 5016, pp. 265–312. Springer, Heidelberg (2008)Google Scholar
- 9.Ciocchetta, F.: Bio-PEPA with SBML-like events. In: Back, R.J., Petre, I. (eds.) Proceedings of the Workshop on Computational Models for Cell Processes, pp. 11–22 (2008)Google Scholar
- 10.Ciocchetta, F., Hillston, J.: Bio-PEPA: a framework for the modelling and analysis of biological systems. Technical Report EDI-INF-RR-1231, School of Informatics, University of Edinburgh (2008)Google Scholar
- 11.Ellavarason, K.: An automatic mapping from the Systems Biology Markup Language to the Bio-PEPA process algebra. Master’s thesis, University of Trento (2008)Google Scholar
- 12.Akman, O.E., Ciocchetta, F., Degasperi, A., Guerriero, M.L.: Modelling biological clocks with Bio-PEPA: stochasticity and robustness for the Neurospora Crassa circadian network. To appear in Proceedings of CMSB 2009 (2009)Google Scholar
- 13.Guerriero, M.L.: Qualitative and quantitative analysis of a Bio-PEPA model of the gp130/JAK/STAT signalling pathway. To appear in TCSBGoogle Scholar
- 14.Milner, R.: Communication and concurrency. Prentice Hall, Englewood Cliffs (1989)Google Scholar
- 19.Ciobanu, G., Aman, B.: On the relationship between membranes and ambients. BioSystems (91), 515–530 (2008)Google Scholar