Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
Journal of Computer and System Sciences
Process Algebra Models of Population Dynamics
AB '08 Proceedings of the 3rd international conference on Algebraic Biology
Scalable context-dependent analysis of emergency egress models
Formal Aspects of Computing
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
Hi-index | 0.00 |
We report on modelling a population dynamics problem by means of stochastic quantitative analysis. We are interested in the tension between survival of the population and revenue that can be obtained by its exploitation, and in showing how the chosen approach can help in properly tuning the exploitation parameters to set an optimal policy ensuring sustainability of the population. We carry out our exploratory study by considering an idealised population in its environment.