Edinburgh Research Explorer

Equivalence and discretisation in Bio-PEPA

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationComputational Methods in Systems Biology
Subtitle of host publication7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings
EditorsPierpaolo Degano, Roberto Gorriero
PublisherSpringer-Verlag GmbH
Pages189-204
Number of pages16
ISBN (Print)978-3-642-03844-0
DOIs
Publication statusPublished - 2009

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
Volume5688
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Abstract

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.

ID: 2066359