License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-7071
URL: http://drops.dagstuhl.de/opus/volltexte/2006/707/
Go to the corresponding Portal


Hillston, Jane

Population models from PEPA descriptions

pdf-format:
Document 1.pdf (154 KB)


Abstract

Stochastic process algebras such as PEPA have enjoyed considerable success as CTMC-based system description languages for performance evaluation of computer and communication systems. However they have not been able to escape the problem of state space explosion, and this problem is exacerbated when other domains such as systems biology are considered. Therefore we have been investigating alternative semantics for PEPA models which give rise to a population view of the system, in terms of a set of nonlinear ordinary differential equations. This extended abstract gives an overview of this mapping.

BibTeX - Entry

@InProceedings{hillston:DSP:2006:707,
  author =	{Jane Hillston},
  title =	{Population models from PEPA descriptions},
  booktitle =	{Simulation and Verification of Dynamic Systems},
  year =	{2006},
  editor =	{David M. Nicol and Corrado Priami and Hanne Riis Nielson and Adelinde M. Uhrmacher},
  number =	{06161},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2006/707},
  annote =	{Keywords: Stochastic Process Algebra, Fluid Approximation, Discrete vs Continuous models}
}

Keywords: Stochastic Process Algebra, Fluid Approximation, Discrete vs Continuous models
Seminar: 06161 - Simulation and Verification of Dynamic Systems
Issue Date: 2006
Date of publication: 07.09.2006


DROPS-Home | Fulltext Search | Imprint Published by LZI