暂无分享,去创建一个
[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.