FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
复制标题
FM 2012：形式化方法 - 第 18 届国际研讨会，法国巴黎，2012 年 8 月 27-31 日。会议记录
DOI：
10.1007/978-3-642-32759-9_11
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Benkirane S
中科院分区：
文献类型：
--
作者：
Benkirane S
我们演示了进程代数PEPA在流行病学现实模型中的应用。给出了模型的随机模拟结果，并与Bio-Pepa模型的建模简便性进行了比较。PEPA被证明能够捕捉1944-1964年间英国麻疹流行的历史数据的复杂疾病动态，包括由于季节性影响而持续的波动。
We demonstrate the use of the process algebra PEPA for realistic models of epidemiology. The results of stochastic simulation of the model are shown, and ease of modelling is compared to that of Bio-PEPA. PEPA is shown to be capable of capturing the complex disease dynamics of the historic data for measles epidemics in the UK from 1944–1964, including persistent fluctuations due to seasonal effects.