DagSemProc.06161.8.pdf
- Filesize: 154 kB
- 6 pages
Document
Population models from PEPA descriptions
Author
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 6161
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2006-09-07
Cite AsGet BibTex
Jane Hillston. Population models from PEPA descriptions. In Simulation and Verification of Dynamic Systems. Dagstuhl Seminar Proceedings, Volume 6161, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
https://doi.org/10.4230/DagSemProc.06161.8
https://doi.org/10.4230/DagSemProc.06161.8
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.
Keywords
- Stochastic Process Algebra
- Fluid Approximation
- Discrete vs Continuous models
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads