From Epidemic to Pandemic Modelling

We present a methodology for systematically extending epidemic models to multilevel and multiscale spatio-temporal pandemic ones. Our approach builds on the use of coloured stochastic and continuous Petri nets facilitating the sound component-based extension of basic SIR models to include population stratification and also spatio-geographic information and travel connections, represented as graphs, resulting in robust stratified pandemic metapopulation models. This method is inherently easy to use, producing scalable and reusable models with a high degree of clarity and accessibility which can be read either in a deterministic or stochastic paradigm. Our method is supported by a publicly available platform PetriNuts; it enables the visual construction and editing of models; deterministic, stochastic and hybrid simulation as well as structural and behavioural analysis. All the models are available as supplementary material, ensuring reproducibility. ar X iv :2 10 7. 00 83 5v 1 [ qbi o. PE ] 1 J ul 2 02 1

[1]  Alessandro Vespignani,et al.  Epidemic modeling in metapopulation systems with heterogeneous coupling pattern: theory and simulations. , 2007, Journal of theoretical biology.

[2]  Monika Heiner,et al.  Multiscale Modeling and Analysis of Planar Cell Polarity in the Drosophila Wing , 2013, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

[3]  Martin Schwarick,et al.  MARCIE's Secrets of Efficient Model Checking , 2016, Trans. Petri Nets Other Model. Concurr..

[4]  J. Hyman,et al.  MATHEMATICAL MODELS OF MIXING PATTERNS BETWEEN AGE GROUPS FOR PREDICTING THE SPREAD OF INFECTIOUS DISEASES , 2012 .

[5]  Monika Heiner,et al.  Spatial-Temporal Modelling and Analysis of Bacterial Colonies with Phase Variable Genes , 2015, ACM Trans. Model. Comput. Simul..

[6]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[7]  D. Gillespie A General Method for Numerically Simulating the Stochastic Time Evolution of Coupled Chemical Reactions , 1976 .

[8]  K. Dietz,et al.  A structured epidemic model incorporating geographic mobility among regions. , 1995, Mathematical biosciences.

[9]  Martin Schwarick,et al.  Charlie - An Extensible Petri Net Analysis Tool , 2015, Petri Nets.

[10]  Martin Schwarick,et al.  CSL Model Checking of Biochemical Networks with Interval Decision Diagrams , 2009, CMSB.

[11]  F. Balabdaoui,et al.  Age-stratified model of the COVID-19 epidemic to analyze the impact of relaxing lockdown measures: nowcasting and forecasting for Switzerland , 2020, medRxiv.

[12]  Martin Schwarick,et al.  Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams , 2020, Petri Nets.

[13]  David R. Gilbert,et al.  A Model Checking Approach to the Parameter Estimation of Biochemical Pathways , 2008, CMSB.

[14]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[15]  Lars Michael Kristensen,et al.  Coloured Petri Nets - Modelling and Validation of Concurrent Systems , 2009 .

[16]  L. A. Rvachev,et al.  A mathematical model for the global spread of influenza , 1985 .

[17]  Alessandro Vespignani,et al.  Modeling the spatial spread of infectious diseases: The GLobal Epidemic and Mobility computational model , 2010, J. Comput. Sci..

[18]  Monika Heiner,et al.  Biochemical Reaction Networks with Fuzzy Kinetic Parameters in Snoopy , 2019, CMSB.

[19]  Alessandro Vespignani,et al.  Human Mobility Networks, Travel Restrictions, and the Global Spread of 2009 H1N1 Pandemic , 2011, PloS one.

[20]  Fred Brauer,et al.  Mathematical epidemiology: Past, present, and future , 2017, Infectious Disease Modelling.

[21]  Monika Heiner,et al.  Spike - Reproducible Simulation Experiments with Configuration File Branching , 2019, CMSB.

[22]  Rajesh Sharma,et al.  Mobility Based SIR Model For Pandemics - With Case Study Of COVID-19 , 2020, 2020 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM).

[23]  I. Longini A mathematical model for predicting the geographic spread of new infectious agents , 1988 .

[24]  P. van den Driessche,et al.  Reproduction numbers of infectious disease models , 2017, Infectious Disease Modelling.

[25]  Monika Heiner,et al.  BioModel Engineering with Petri Nets , 2015 .

[26]  Yao Chen,et al.  Transmission Dynamics of a Two-City SIR Epidemic Model with Transport-Related Infections , 2014, J. Appl. Math..

[27]  Wei Wei,et al.  A Spatial Stochastic SIR Model for Transmission Networks with Application to COVID-19 Epidemic in China , 2020, 2008.06051.

[28]  Daniela Paolotti,et al.  A computational framework for modeling and studying pertussis epidemiology and vaccination , 2020, BMC Bioinformatics.

[29]  Nikhil Anand,et al.  Predicting the Spread of COVID-19 Using $$SIR$$ Model Augmented to Incorporate Quarantine and Testing , 2020, Transactions of the Indian National Academy of Engineering.

[30]  Panos Louvieris,et al.  FACS: A geospatial agent-based simulator for analysing COVID-19 spread and public health measures on local regions , 2020, J. Simulation.

[31]  Martin Schwarick,et al.  Snoopy - A Unifying Petri Net Tool , 2012, Petri Nets.

[32]  Carl A. B. Pearson,et al.  The effect of control strategies to reduce social mixing on outcomes of the COVID-19 epidemic in Wuhan, China: a modelling study , 2020, The Lancet Public Health.

[33]  Marco Beccuti,et al.  From Symmetric Nets to Differential Equations exploiting Model Symmetries , 2015, Comput. J..

[34]  L. Allen,et al.  Stochastic two-group models with transmission dependent on host infectivity or susceptibility , 2018, Journal of biological dynamics.

[35]  Monika Heiner,et al.  How Might Petri Nets Enhance Your Systems Biology Toolkit , 2011, Petri Nets.

[36]  P. Colaneri,et al.  Modelling the COVID-19 epidemic and implementation of population-wide interventions in Italy , 2020, Nature Medicine.

[37]  S. Soliman,et al.  A Unique Transformation from Ordinary Differential Equations to Reaction Networks , 2010, PloS one.

[38]  Monika Heiner,et al.  Coloured Petri nets for multilevel, multiscale and multidimensional modelling of biological systems , 2017, Briefings Bioinform..

[39]  Monika Heiner,et al.  BioModel engineering for multiscale Systems Biology. , 2013, Progress in biophysics and molecular biology.

[40]  Vladimir I. Levenshtein,et al.  Binary codes capable of correcting deletions, insertions, and reversals , 1965 .

[41]  Martin Schwarick,et al.  A comparative study of stochastic analysis techniques , 2010, CMSB '10.

[42]  Monika Heiner,et al.  Petri nets in Snoopy: a unifying framework for the graphical display, computational modelling, and simulation of bacterial regulatory networks. , 2012, Methods in molecular biology.

[43]  Luca Cardelli,et al.  ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations , 2017, TACAS.

[44]  Herbert W. Hethcote,et al.  The Mathematics of Infectious Diseases , 2000, SIAM Rev..

[45]  David Adam,et al.  A guide to R — the pandemic’s misunderstood metric , 2020, Nature.

[46]  Monika Heiner,et al.  Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking , 2019, BMC Bioinformatics.

[47]  Jianhong Wu,et al.  Data clustering - theory, algorithms, and applications , 2007 .

[48]  Monika Heiner,et al.  Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology , 2013, Petri Nets.

[49]  Antonio Baeza,et al.  A Spatial-Temporal Model for the Evolution of the COVID-19 Pandemic in Spain Including Mobility , 2020 .

[50]  Martin Schwarick,et al.  MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly , 2011, 2011 Eighth International Conference on Quantitative Evaluation of SysTems.

[51]  Alessandro Vespignani,et al.  Multiscale mobility networks and the spatial spreading of infectious diseases , 2009, Proceedings of the National Academy of Sciences.

[52]  Stefan Edlund,et al.  The spatiotemporal epidemiological modeler , 2010, IHI.

[53]  L. Sattenspiel,et al.  Geographic spread of measles on the island of Dominica, West Indies. , 1993, Human biology.

[54]  Carol S. Woodward,et al.  Enabling New Flexibility in the SUNDIALS Suite of Nonlinear and Differential/Algebraic Equation Solvers , 2020, ACM Trans. Math. Softw..

[55]  E B Wilson,et al.  The Law of Mass Action in Epidemiology. , 1945, Proceedings of the National Academy of Sciences of the United States of America.

[56]  L. Wahl,et al.  Perspectives on the basic reproductive ratio , 2005, Journal of The Royal Society Interface.

[57]  Asier Ibeas,et al.  On a New Epidemic Model with Asymptomatic and Dead-Infective Subpopulations with Feedback Controls Useful for Ebola Disease , 2017 .

[58]  Monika Heiner,et al.  Petri Nets for Systems and Synthetic Biology , 2008, SFM.