{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T18:33:36Z","timestamp":1770748416131,"version":"3.50.0"},"reference-count":52,"publisher":"Oxford University Press (OUP)","issue":"4","license":[{"start":{"date-parts":[[2024,7,4]],"date-time":"2024-07-04T00:00:00Z","timestamp":1720051200000},"content-version":"vor","delay-in-days":42,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,5,23]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Computational biological models have proven to be an invaluable tool for understanding and predicting the behaviour of many biological systems. While it may not be too challenging for experienced researchers to construct such models from scratch, it is not a straightforward task for early stage researchers. Design patterns are well-known techniques widely applied in software engineering as they provide a set of typical solutions to common problems in software design. In this paper, we collect and discuss common patterns that are usually used during the construction and execution of computational biological models. We adopt Petri nets as a modelling language to provide a visual illustration of each pattern; however, the ideas presented in this paper can also be implemented using other modelling formalisms. We provide two case studies for illustration purposes and show how these models can be built up from the presented smaller modules. We hope that the ideas discussed in this paper will help many researchers in building their own future models.<\/jats:p>","DOI":"10.1093\/bib\/bbae318","type":"journal-article","created":{"date-parts":[[2024,7,4]],"date-time":"2024-07-04T06:14:57Z","timestamp":1720073697000},"source":"Crossref","is-referenced-by-count":8,"title":["Design patterns for the construction of computational biological models"],"prefix":"10.1093","volume":"25","author":[{"given":"Mostafa","family":"Herajy","sequence":"first","affiliation":[{"name":"Department of Mathematics and Computer Science, Faculty of Science, Port Said University , 42521 Port Said , Egypt"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fei","family":"Liu","sequence":"additional","affiliation":[{"name":"School of Software Engineering, South China University of Technology , 510006 Guangzhou , China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Monika","family":"Heiner","sequence":"additional","affiliation":[{"name":"Computer Science Institute, Brandenburg University of Technology , 03013 Cottbus , Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2024,7,4]]},"reference":[{"key":"2024070406144560600_ref1","doi-asserted-by":"crossref","first-page":"102704","DOI":"10.1016\/j.copbio.2022.102704","article-title":"Fighting fire with fire: deploying complexity in computational modeling to effectively characterize complex biological systems","volume":"75","author":"Prybutok","year":"2022","journal-title":"Curr Opin Biotechnol"},{"key":"2024070406144560600_ref2","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1038\/nature01254","article-title":"Computational systems biology","volume":"420","author":"Kitano","year":"2002","journal-title":"Nature"},{"key":"2024070406144560600_ref3","doi-asserted-by":"crossref","DOI":"10.1038\/s41467-021-27374-6","article-title":"Mini-batch optimization enables training of ode models on large-scale datasets","volume":"13","author":"Stapor","year":"2022","journal-title":"Nat Commun"},{"key":"2024070406144560600_ref4","doi-asserted-by":"crossref","first-page":"567","DOI":"10.1016\/j.cels.2018.10.013","article-title":"Efficient parameter estimation enables the prediction of drug response using a mechanistic pan-cancer pathway model","volume":"7","author":"Fr\u00f6hlich","year":"2018","journal-title":"Cell Syst"},{"key":"2024070406144560600_ref5","first-page":"1","article-title":"Modeling the temporal dynamics of master regulators and CtrA proteolysis in Caulobacter crescentus cell cycle","volume":"18","author":"Chunrui","year":"2022","journal-title":"PLoS Comput Biol"},{"key":"2024070406144560600_ref6","doi-asserted-by":"crossref","first-page":"e101333","DOI":"10.1371\/journal.pone.0101333","article-title":"Stochasticity of intranuclear biochemical reaction processes controls the final decision of cell fate associated with DNA damage","volume":"9","author":"Iwamoto","year":"2014","journal-title":"PloS One"},{"key":"2024070406144560600_ref7","doi-asserted-by":"crossref","DOI":"10.1016\/j.biosystems.2021.104533","article-title":"A Petri nets-based framework for whole-cell modeling","volume":"210","author":"Liu","year":"2021","journal-title":"Biosystems"},{"key":"2024070406144560600_ref8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1371\/annotation\/ea0193d8-1f7f-492a-b0b7-d877629fdcee","article-title":"Lessons learned from quantitative dynamical modeling in systems biology","volume":"8","author":"Raue","year":"2013","journal-title":"PloS One"},{"key":"2024070406144560600_ref9","doi-asserted-by":"crossref","first-page":"6471","DOI":"10.1073\/pnas.0810034106","article-title":"Exploring the roles of noise in the eukaryotic cell cycle","volume":"106","author":"Kar","year":"2009","journal-title":"Proc Natl Acad Sci U S A"},{"key":"2024070406144560600_ref10","first-page":"123","volume-title":"ToPNoC","author":"Herajy","year":"2013"},{"key":"2024070406144560600_ref11","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1146\/annurev.physchem.58.032806.104637","article-title":"Stochastic simulation of chemical kinetics","volume":"58","author":"Gillespie","year":"2007","journal-title":"Annu Rev Phys Chem"},{"key":"2024070406144560600_ref12","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1093\/bib\/bbn050","article-title":"Biochemical simulations: stochastic, approximate stochastic and hybrid approaches","volume":"10","author":"Pahle","year":"2009","journal-title":"Brief Bioinform"},{"key":"2024070406144560600_ref13","doi-asserted-by":"crossref","first-page":"bbac081","DOI":"10.1093\/bib\/bbac081","article-title":"Hybrid modelling of biological systems: current progress and future prospects","volume":"23","author":"Liu","year":"2022","journal-title":"Brief Bioinform"},{"key":"2024070406144560600_ref14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1371\/journal.pone.0014284","article-title":"A unique transformation from ordinary differential equations to reaction networks","volume":"5","author":"Soliman","year":"2010","journal-title":"PloS One"},{"key":"2024070406144560600_ref15","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/j.jss.2016.11.030","article-title":"The state of the art on design patterns: a systematic mapping of the literature","volume":"125","author":"Bafandeh Mayvan","year":"2017","journal-title":"J Syst Softw"},{"key":"2024070406144560600_ref16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-33278-4","volume-title":"Understanding Petri Nets","author":"Reisig","year":"2013"},{"key":"2024070406144560600_ref17","first-page":"398","article-title":"Snoopy \u2013 a unifying Petri net tool","volume-title":"Proceedings of the PETRI NETS 2012","author":"Heiner","year":"2012"},{"key":"2024070406144560600_ref18","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1186\/s12918-017-0449-6","article-title":"Snoopy\u2019s hybrid simulator: a tool to construct and simulate hybrid biological models","volume":"11","author":"Herajy","year":"2017","journal-title":"BMC Syst Biol"},{"key":"2024070406144560600_ref19","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-10669-9","volume-title":"Discrete, Continuous, and Hybrid Petri Nets","author":"David","year":"2010"},{"key":"2024070406144560600_ref20","doi-asserted-by":"crossref","first-page":"1099","DOI":"10.1007\/s11047-009-9164-6","article-title":"Hybrid Petri net based modeling for biological pathway simulation","volume":"10","author":"Matsuno","year":"2011","journal-title":"Nat Comput"},{"key":"2024070406144560600_ref21","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/j.pbiomolbio.2012.10.001","article-title":"Biomodel engineering for multiscale systems biology","volume":"111","author":"Heiner","journal-title":"Prog Biophys Mol Biol"},{"key":"2024070406144560600_ref22","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1186\/s12859-019-2690-z","article-title":"Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking","volume":"20","author":"Gilbert","year":"2019","journal-title":"BMC Bioinformatics"},{"key":"2024070406144560600_ref23","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/j.compbiomed.2014.07.004","article-title":"Modelling and simulating reaction diffusion systems using coloured Petri nets","volume":"53","author":"Liu","year":"2014","journal-title":"Comput Biol Med"},{"key":"2024070406144560600_ref24","first-page":"245","volume-title":"Petri Nets for Modeling and Analyzing Biochemical Reaction Networks","author":"Liu","year":"2014"},{"key":"2024070406144560600_ref25","doi-asserted-by":"crossref","first-page":"53","DOI":"10.3233\/FI-2018-1674","article-title":"Adaptive and bio-semantics of continuous Petri nets: choosing the appropriate interpretation","volume":"160","author":"Herajy","year":"2018","journal-title":"Fundam Inform"},{"key":"2024070406144560600_ref26","first-page":"942","article-title":"Hybrid representation and simulation of stiff biochemical networks","volume":"6","author":"Herajy","year":"2012","journal-title":"J Nonlinear Anal: Hybri Syst"},{"key":"2024070406144560600_ref27","first-page":"191","article-title":"Efficient modelling of yeast cell cycles based on multisite phosphorylation using coloured hybrid Petri nets with marking-dependent arc weights","volume":"27","author":"Herajy","year":"2018","journal-title":"Nonlinear Anal: Hybri Syst"},{"key":"2024070406144560600_ref28","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/j.compbiolchem.2018.05.023","article-title":"Coloured hybrid Petri nets: an adaptable modelling approach for multi-scale biological networks","volume":"76","author":"Herajy","year":"2018","journal-title":"Comput Biol Chem"},{"key":"2024070406144560600_ref29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2742546","article-title":"Spatial-temporal modelling and analysis of bacterial colonies with phase variable genes","volume":"25","author":"P\u00e2rvu","year":"2015","journal-title":"ACM Trans Model Comput Simul (TOMACS)"},{"key":"2024070406144560600_ref30","doi-asserted-by":"crossref","first-page":"464","DOI":"10.1007\/3-540-08860-1_35","article-title":"Self-modifying nets, a natural extension of Petri nets","volume-title":"Proceedings of the Fifth Colloquium on Automata, Languages and Programming","author":"Valk","year":"1978"},{"key":"2024070406144560600_ref31","first-page":"215","article-title":"Petri Nets for Systems and Synthetic Biology","author":"Heiner","year":"2008"},{"key":"2024070406144560600_ref32","doi-asserted-by":"crossref","first-page":"1346","DOI":"10.1109\/WSC.2018.8632514","article-title":"An improved simulation of hybrid biological models with many stochastic events and quasi-disjoint subnets","volume-title":"Proceedings of the 2018 Winter Simulation Conference (WSC 2018)","author":"Herajy","year":"2018"},{"key":"2024070406144560600_ref33","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/s12064-022-00381-x","article-title":"Formal verification confirms the role of p53 protein in cell fate decision mechanism","volume":"142","author":"Mahmoud","year":"2023","journal-title":"Theory Biosci"},{"key":"2024070406144560600_ref34","first-page":"349","article-title":"A Graphical Approach for the Hybrid Modelling of Intracellular Calcium Dynamics Based on Coloured Hybrid Petri Nets","author":"Ismail","year":"2019"},{"key":"2024070406144560600_ref35","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1371\/journal.pone.0153738","article-title":"A model of yeast cell-cycle regulation based on a standard component modeling strategy for protein regulatory networks","volume":"11","author":"Laomettachit","year":"2016","journal-title":"PloS One"},{"key":"2024070406144560600_ref36","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/j.jtbi.2007.09.001","article-title":"Antagonism and bistability in protein interaction networks","volume":"250","author":"Sabouri-Ghomi","year":"2008","journal-title":"J Theor Biol"},{"key":"2024070406144560600_ref37","doi-asserted-by":"crossref","DOI":"10.1038\/msb.2010.55","article-title":"A model of yeast cell-cycle regulation based on multisite phosphorylation","volume":"6","author":"Barik","year":"2010","journal-title":"Mol Syst Biol"},{"key":"2024070406144560600_ref38","first-page":"892","volume-title":"Hill Equation","author":"Somvanshi","year":"2013"},{"key":"2024070406144560600_ref39","first-page":"147","volume-title":"Numerical Methods for Modeling Enzyme Kinetics","author":"Yadav","year":"2021"},{"key":"2024070406144560600_ref40","article-title":"From epidemic to pandemic modelling. Frontiers","volume":"2","author":"Connolly","year":"2022","journal-title":"Syst Biol"},{"key":"2024070406144560600_ref41","doi-asserted-by":"crossref","first-page":"981","DOI":"10.1038\/nrm2530","article-title":"Design principles of biochemical oscillators","volume":"9","author":"Nov\u00e1k","year":"2008","journal-title":"Nat Rev Mol Cell Biol"},{"key":"2024070406144560600_ref42","doi-asserted-by":"crossref","first-page":"1500","DOI":"10.1016\/j.cell.2012.05.028","article-title":"Spatial positive feedback at the onset of mitosis","volume":"149","author":"Santos","year":"2012","journal-title":"Cell"},{"key":"2024070406144560600_ref43","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1016\/j.apm.2023.05.015","article-title":"Spatiotemporal dynamics of a gene expression model with positive feedback loop","volume":"121","author":"Fan","year":"2023","journal-title":"App Math Model"},{"key":"2024070406144560600_ref44","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1007\/978-3-642-38697-8_13","article-title":"Colouring space - a coloured framework for spatial modelling in systems biology","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"Gilbert","year":"2013"},{"key":"2024070406144560600_ref45","doi-asserted-by":"crossref","first-page":"518","DOI":"10.1016\/j.aanat.2009.08.006","article-title":"Structure and function of dendritic spines within the hippocampus","volume":"191","author":"Halbach","year":"2009","journal-title":"Ann Anat"},{"key":"2024070406144560600_ref46","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1113\/jphysiol.2004.080028","article-title":"Subunit-specific gating controls rat NR1\/NR2A and NR1\/NR2B NMDA channel kinetics and synaptic signalling profiles","volume":"563","author":"Erreger","year":"2005","journal-title":"J Physiol"},{"key":"2024070406144560600_ref47","doi-asserted-by":"crossref","first-page":"10831","DOI":"10.1073\/pnas.152343099","article-title":"A unified model of NMDA receptor-dependent bidirectional synaptic plasticity","volume":"99","author":"Shouval","year":"2002","journal-title":"Proc Natl Acad Sci"},{"key":"2024070406144560600_ref48","doi-asserted-by":"crossref","first-page":"3178","DOI":"10.1523\/JNEUROSCI.10-09-03178.1990","article-title":"Voltage dependence of NMDA-activated macroscopic conductances predicted by single-channel kinetics","volume":"10","author":"Jahr","year":"1990","journal-title":"J Neurosci"},{"key":"2024070406144560600_ref49","first-page":"14","article-title":"A graphical approach for hybrid simulation of 3D diffusion bio-models via coloured hybrid Petri nets","volume":"2020","author":"Ismail","year":"2020","journal-title":"Model Simul Eng"},{"key":"2024070406144560600_ref50","doi-asserted-by":"crossref","DOI":"10.1016\/j.xpro.2023.102651","article-title":"Protocol for biomodel engineering of unilevel to multilevel biological models using colored Petri nets","volume":"4","author":"Liu","year":"2023","journal-title":"STAR Protoc"},{"key":"2024070406144560600_ref51","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1006\/jtbi.2001.2293","article-title":"Regulation of the eukaryotic cell cycle: molecular antagonism, hysteresis, and irreversible transitions","volume":"210","author":"Tyson","year":"2001","journal-title":"J Theor Biol"},{"key":"2024070406144560600_ref52","doi-asserted-by":"crossref","DOI":"10.15252\/msb.20199110","article-title":"SBML level 3: an extensible format for the exchange and reuse of biological models","volume":"16","author":"Keating","year":"2020","journal-title":"Mol Syst Biol"}],"container-title":["Briefings in Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/bib\/article-pdf\/25\/4\/bbae318\/58436638\/bbae318.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/bib\/article-pdf\/25\/4\/bbae318\/58436638\/bbae318.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,4]],"date-time":"2024-07-04T06:15:42Z","timestamp":1720073742000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/bib\/article\/doi\/10.1093\/bib\/bbae318\/7705831"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,23]]},"references-count":52,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2024,5,23]]}},"URL":"https:\/\/doi.org\/10.1093\/bib\/bbae318","relation":{},"ISSN":["1467-5463","1477-4054"],"issn-type":[{"value":"1467-5463","type":"print"},{"value":"1477-4054","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2024,7]]},"published":{"date-parts":[[2024,5,23]]},"article-number":"bbae318"}}