{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T21:20:34Z","timestamp":1777411234111,"version":"3.51.4"},"reference-count":78,"publisher":"Oxford University Press (OUP)","issue":"3","license":[{"start":{"date-parts":[[2017,11,3]],"date-time":"2017-11-03T00:00:00Z","timestamp":1509667200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61273226"],"award-info":[{"award-number":["61273226"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,5,21]]},"DOI":"10.1093\/bib\/bbx150","type":"journal-article","created":{"date-parts":[[2017,10,19]],"date-time":"2017-10-19T07:08:13Z","timestamp":1508396893000},"page":"877-886","source":"Crossref","is-referenced-by-count":28,"title":["Coloured Petri nets for multilevel, multiscale and multidimensional modelling of biological systems"],"prefix":"10.1093","volume":"20","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9415-0496","authenticated-orcid":false,"given":"Fei","family":"Liu","sequence":"first","affiliation":[{"name":"School of Software Engineering, South China University of Technology, Guangzhou, P.R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Monika","family":"Heiner","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Brandenburg University of Technology Cottbus-Senftenberg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Gilbert","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Brunel University London"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2017,11,3]]},"reference":[{"issue":"5560","key":"2019062007300594400_bbx150-B1","doi-asserted-by":"crossref","first-page":"1662","DOI":"10.1126\/science.1069492","article-title":"Systems biology: a brief overview","volume":"295","author":"Kitano","year":"2002","journal-title":"Science"},{"issue":"4","key":"2019062007300594400_bbx150-B2","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1016\/j.cell.2005.04.020","article-title":"Systems biology: its practice and challenges","volume":"121","author":"Aderem","year":"2005","journal-title":"Cell"},{"issue":"1","key":"2019062007300594400_bbx150-B3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.cosrev.2009.01.002","article-title":"Computational challenges in systems biology","volume":"3","author":"Heath","year":"2009","journal-title":"Comput Sci Rev"},{"issue":"4","key":"2019062007300594400_bbx150-B4","doi-asserted-by":"crossref","first-page":"955","DOI":"10.1007\/s11047-010-9180-6","article-title":"Petri nets for modelling metabolic pathways: a survey","volume":"9","author":"Baldan","year":"2010","journal-title":"Nat Comput"},{"key":"2019062007300594400_bbx150-B5","first-page":"328","volume-title":"Proceedings of the 1st International Conference on Intelligent Systems for Molecular Biology","author":"Reddy","year":"1993"},{"key":"2019062007300594400_bbx150-B6","author":"Gilbert","year":"2006"},{"issue":"4","key":"2019062007300594400_bbx150-B7","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1093\/bib\/bbm029","article-title":"Petri net modelling of biological networks","volume":"8","author":"Chaouiya","year":"2007","journal-title":"Brief Bioinform"},{"issue":"1","key":"2019062007300594400_bbx150-B8","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1016\/j.cocis.2009.05.007","article-title":"Multiscale modeling of cellular systems in biology","volume":"15","author":"Dallon","year":"2010","journal-title":"Curr Opin Colloid Interface Sci"},{"key":"2019062007300594400_bbx150-B9","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/978-3-540-32126-2_6","volume-title":"Transactions on Computational Systems Biology I","author":"Uhrmacher","year":"2005"},{"key":"2019062007300594400_bbx150-B10","author":"Maus","year":"2013"},{"key":"2019062007300594400_bbx150-B11","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":"2019062007300594400_bbx150-B12","author":"Liu","year":"2012"},{"issue":"2\u20133","key":"2019062007300594400_bbx150-B13","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","year":"2013","journal-title":"Prog Biophys Mol Biol"},{"issue":"1","key":"2019062007300594400_bbx150-B14","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","article-title":"System modelling with high-level Petri nets","volume":"13","author":"Genrich","year":"1981","journal-title":"Theor Comput Sci"},{"issue":"3","key":"2019062007300594400_bbx150-B15","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","article-title":"Coloured Petri nets and the invariant-method","volume":"14","author":"Jensen","year":"1981","journal-title":"Theor Comput Sci"},{"key":"2019062007300594400_bbx150-B16","doi-asserted-by":"crossref","DOI":"10.1007\/b95112","volume-title":"Coloured Petri Nets","author":"Jensen","year":"2009"},{"key":"2019062007300594400_bbx150-B17","volume-title":"Proceedings of the 3rd Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools","author":"Heiner","year":"2001"},{"key":"2019062007300594400_bbx150-B18","volume-title":"Proceedings of the 9th International Conference on Computational Methods in Systems Biology, CMSB \u201911","author":"Gao","year":"2011"},{"issue":"2","key":"2019062007300594400_bbx150-B19","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1109\/TCBB.2012.101","article-title":"Multiscale modelling and analysis of planar cell polarity in the Drosophila Wing","volume":"10","author":"Gao","year":"2013","journal-title":"IEEE\/ACM Trans Comput Biol Bioinform"},{"issue":"4","key":"2019062007300594400_bbx150-B20","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1049\/iet-syb.2012.0017","article-title":"Multiscale modelling of coupled Ca2+ channels using coloured stochastic Petri nets","volume":"7","author":"Liu","year":"2013","journal-title":"IET Syst Biol"},{"key":"2019062007300594400_bbx150-B21","article-title":"Coloured hybrid Petri nets: an adaptable modelling approach of multiscale biological networks","author":"Herajy","year":"2017","journal-title":"Comput Biol Chem"},{"issue":"2","key":"2019062007300594400_bbx150-B22","doi-asserted-by":"crossref","first-page":"25","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"},{"key":"2019062007300594400_bbx150-B23","author":"Liu","year":"2012"},{"issue":"3","key":"2019062007300594400_bbx150-B24","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","article-title":"Coloured Petri nets and CPN tools for modelling and validation of concurrent systems","volume":"9","author":"Jensen","year":"2007","journal-title":"Int J Soft Tools Technol Transf"},{"issue":"4","key":"2019062007300594400_bbx150-B25","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1145\/6041.6042","article-title":"On understanding types, data abstraction, and polymorphism","volume":"17","author":"Cardelli","year":"1985","journal-title":"ACM Comput Surv"},{"issue":"4","key":"2019062007300594400_bbx150-B26","doi-asserted-by":"crossref","first-page":"1450017","DOI":"10.1142\/S1793962314500172","article-title":"Compositional colored Petri net approach to multiscale modeling for systems biology","volume":"05","author":"Liu","year":"2014","journal-title":"Int J Model Simul Sci Comput"},{"key":"2019062007300594400_bbx150-B27","first-page":"1","volume-title":"Proceedings of the 2012 Winter Simulation Conference","author":"Liu","year":"2012"},{"key":"2019062007300594400_bbx150-B28","volume-title":"Proceedings of the 33rd International Conference on Application and Theory of Petri Nets and Concurrency","author":"Heiner","year":"2012"},{"key":"2019062007300594400_bbx150-B29","volume-title":"Proceedings of the Application and Theory of Petri Nets 1994","author":"Ciardo","year":"1994"},{"issue":"4","key":"2019062007300594400_bbx150-B30","doi-asserted-by":"crossref","first-page":"942","DOI":"10.1016\/j.nahs.2012.05.004","article-title":"Hybrid representation and simulation of stiff biochemical networks","volume":"6","author":"Herajy","year":"2012","journal-title":"Nonlinear Anal Hybrid Syst"},{"key":"2019062007300594400_bbx150-B31","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/j.nahs.2017.09.002","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":"2017","journal-title":"Nonlinear Anal Hybrid Syst"},{"key":"2019062007300594400_bbx150-B32","doi-asserted-by":"crossref","DOI":"10.1016\/B978-044450813-3\/50026-6","volume-title":"Model Checking","author":"Clarke","year":"2001"},{"key":"2019062007300594400_bbx150-B33","volume-title":"Proceedings of the 3rd International Workshop on Tools and Algorithms for Construction and Analysis of Systems","author":"Christensen","year":"1997"},{"key":"2019062007300594400_bbx150-B34","doi-asserted-by":"crossref","first-page":"2009","DOI":"10.1109\/IEMBS.2006.259902","volume-title":"Proceedings of the 2006 International Conference of the IEEE Engineering in Medicine and Biology Society","author":"T\u00e4ubner","year":"2006"},{"issue":"3","key":"2019062007300594400_bbx150-B35","first-page":"367","article-title":"Steady state analysis of metabolic pathways using Petri nets","volume":"3","author":"Voss","year":"2003","journal-title":"In Silico Biol"},{"key":"2019062007300594400_bbx150-B36","first-page":"351","volume-title":"Proceedings of the 18th Annual IEEE Symposium of Logic in Computer Science","author":"Kwiatkowska","year":"2003"},{"key":"2019062007300594400_bbx150-B37","volume-title":"Proceedings of the 6th International Conference on Computational Methods in Systems Biology","author":"Donaldson","year":"2008"},{"issue":"25","key":"2019062007300594400_bbx150-B38","doi-asserted-by":"crossref","first-page":"2340","DOI":"10.1021\/j100540a008","article-title":"Exact stochastic simulation of coupled chemical reactions","volume":"81","author":"Gillespie","year":"1977","journal-title":"J Phys Chem"},{"issue":"11","key":"2019062007300594400_bbx150-B39","doi-asserted-by":"crossref","first-page":"1343","DOI":"10.1109\/12.247838","article-title":"Stochastic well-formed colored nets and symmetric modeling applications","volume":"42","author":"Chiola","year":"1993","journal-title":"IEEE Trans Comput"},{"key":"2019062007300594400_bbx150-B40","volume-title":"Proceedings of the 31st International Conference on Applications and Theory of Petri Nets","author":"Babar","year":"2010"},{"key":"2019062007300594400_bbx150-B41","volume-title":"Proceedings of the 18th Annual Symposium on Foundations of Computer Science, SFCS \u201977","author":"Pnueli","year":"1977"},{"key":"2019062007300594400_bbx150-B42","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/11880646_4","volume-title":"Transactions on Computational Systems Biology VI","author":"Calzone","year":"2006"},{"key":"2019062007300594400_bbx150-B43","volume-title":"Proceedings of the 5th International Workshop on Biological Processes & Petri Nets, satellite event of PETRI NETS 2014","author":"Herajy","year":"2014"},{"issue":"1","key":"2019062007300594400_bbx150-B44","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1186\/s12918-017-0449-6","article-title":"Snoopy\u2018s hybrid simulator: a tool to construct and simulate hybrid biological models","volume":"11","author":"Herajy","year":"2017","journal-title":"BMC Syst Biol"},{"key":"2019062007300594400_bbx150-B45","first-page":"24","volume-title":"Proceedings of the 7th International Conference on Systems Biology (ISB)","author":"Liu","year":"2013"},{"key":"2019062007300594400_bbx150-B46","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-319-19488-2_10","volume-title":"Proceedings of the International Conference on Applications and Theory of Petri Nets and Concurrency","author":"Heiner","year":"2015"},{"key":"2019062007300594400_bbx150-B47","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/978-3-642-38697-8_21","volume-title":"Proceedings of the International Conference on Applications and Theory of Petri Nets and Concurrency","author":"Heiner","year":"2013"},{"issue":"2","key":"2019062007300594400_bbx150-B48","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1016\/j.ymben.2005.10.001","article-title":"Colored Petri net modeling and simulation of signal transduction pathways","volume":"8","author":"LEE","year":"2006","journal-title":"Metab Eng"},{"key":"2019062007300594400_bbx150-B49","doi-asserted-by":"crossref","first-page":"100","DOI":"10.4103\/2277-9175.183660","article-title":"Colored Petri net modeling of small interfering RNA\u2013mediated messenger RNA degradation","volume":"5","author":"Nickaeen","year":"2016","journal-title":"Adv Biomed Res"},{"issue":"16","key":"2019062007300594400_bbx150-B50","doi-asserted-by":"crossref","first-page":"2049","DOI":"10.1093\/bioinformatics\/btp355","article-title":"Executing multicellular differentiation: quantitative predictive modelling of C. elegans vulval development","volume":"25","author":"Bonzanni","year":"2009","journal-title":"Bioinformatics"},{"issue":"3","key":"2019062007300594400_bbx150-B51","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1142\/S0218339014500181","article-title":"Modeling and analyzing biological systems using colored hierarchical Petri nets, illustrated by C. elegans vulval development","volume":"22","author":"Liu","year":"2014","journal-title":"WSPC J Biol Syst"},{"key":"2019062007300594400_bbx150-B52","volume-title":"Proceedings of the 2nd International Workshop on Biological Processes & Petri Nets, satellite event of PETRI NETS 2011","author":"Gao","year":"2011"},{"key":"2019062007300594400_bbx150-B53","author":"Gao","year":"2013"},{"key":"2019062007300594400_bbx150-B54","doi-asserted-by":"crossref","first-page":"790482","DOI":"10.1155\/2012\/790482","article-title":"Modeling innate immune response to early mycobacterium infection","volume":"2012","author":"Carvalho","year":"2012","journal-title":"Comput Math Methods Med"},{"key":"2019062007300594400_bbx150-B55","author":"Carvalho","year":"2015"},{"issue":"2","key":"2019062007300594400_bbx150-B56","doi-asserted-by":"crossref","first-page":"150","DOI":"10.3390\/computation3020150","article-title":"Coupling of Petri net models of the mycobacterial infection process and innate immune response","volume":"3","author":"Carvalho","year":"2015","journal-title":"Computation"},{"key":"2019062007300594400_bbx150-B57","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1016\/j.neucom.2015.04.112","article-title":"Representing network reconstruction solutions with colored Petri nets","volume":"174","author":"Liu","year":"2016","journal-title":"Neurocomputing"},{"issue":"1","key":"2019062007300594400_bbx150-B58","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/s00186-007-0178-5","article-title":"A mathematical approach to solve the network reconstruction problem","volume":"67","author":"Wolfgang","year":"2008","journal-title":"Math Methods Oper Res"},{"key":"2019062007300594400_bbx150-B59","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/j.entcs.2016.09.018","article-title":"Composition colored Petri nets for the refinement of reaction-based models","volume":"326","author":"Gratie","year":"2016","journal-title":"Electron Notes Theor Comput Sci"},{"key":"2019062007300594400_bbx150-B60","author":"Diana-Elena","year":"2016"},{"issue":"S19","key":"2019062007300594400_bbx150-B61","doi-asserted-by":"crossref","first-page":"498","DOI":"10.1186\/s12859-016-1361-6","article-title":"A methodological approach for using high-level Petri nets to model the immune system response","volume":"17","author":"Pennisi","year":"2016","journal-title":"BMC Bioinformatics"},{"key":"2019062007300594400_bbx150-B62","first-page":"152","volume-title":"Pacific Symposium on Biocomputing","author":"Matsuno","year":"2003"},{"key":"2019062007300594400_bbx150-B63","author":"P\u00e2rvu","year":"2013"},{"issue":"1","key":"2019062007300594400_bbx150-B64","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1186\/s12918-014-0124-0","article-title":"Automatic validation of computational models using pseudo-3D spatio-temporal model checking","volume":"8","author":"P\u00e2rvu","year":"2014","journal-title":"BMC Syst Biol"},{"issue":"5","key":"2019062007300594400_bbx150-B65","doi-asserted-by":"crossref","first-page":"e0154847","DOI":"10.1371\/journal.pone.0154847","article-title":"A novel method to verify multilevel computational models of biological systems using multiscale spatio-temporal meta model checking","volume":"11","author":"P\u00e2rvu","year":"2016","journal-title":"PLoS One"},{"key":"2019062007300594400_bbx150-B66","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1016\/j.mib.2015.06.004","article-title":"The principles of whole-cell modeling","volume":"27","author":"Karr","year":"2015","journal-title":"Curr Opin Microbiol"},{"key":"2019062007300594400_bbx150-B67","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1117\/12.497009","volume-title":"Proceedings of the 1st Symposium on Fluctuations and Noise in Biological, Biophysical, and Biomedical Systems","author":"Elf","year":"2003"},{"issue":"8","key":"2019062007300594400_bbx150-B68","doi-asserted-by":"crossref","first-page":"1783","DOI":"10.1016\/j.febslet.2005.01.072","article-title":"Space in systems biology of signaling pathways-towards intracellular molecular crowding in silico","volume":"579","author":"Takahashi","year":"2005","journal-title":"FEBS Lett"},{"issue":"6","key":"2019062007300594400_bbx150-B69","doi-asserted-by":"crossref","first-page":"1290","DOI":"10.1039\/c3mb25593j","article-title":"JAK\/STAT signalling - an executable model assembled from molecule-centred modules demonstrating a module-oriented database concept for systems and synthetic biology","volume":"9","author":"Bl\u00e4tke","year":"2013","journal-title":"Mol Biosyst"},{"key":"2019062007300594400_bbx150-B70","author":"Bl\u00e4tke","year":"2017"},{"key":"2019062007300594400_bbx150-B71","volume-title":"Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2013","author":"Gilbert","year":"2013"},{"key":"2019062007300594400_bbx150-B72","article-title":"Chromar, a language of parameterised objects","author":"Honorato-Zimmer","year":"2017","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"2019062007300594400_bbx150-B73","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1186\/1752-0509-5-166","article-title":"Rule-based multi-level modeling of cell biological systems","volume":"5","author":"Maus","year":"2011","journal-title":"BMC Syst Biol"},{"issue":"4","key":"2019062007300594400_bbx150-B74","doi-asserted-by":"crossref","first-page":"617","DOI":"10.1007\/s11047-013-9367-8","article-title":"Modeling membrane systems using colored stochastic Petri nets","volume":"12","author":"Liu","year":"2013","journal-title":"Nat Comput"},{"key":"2019062007300594400_bbx150-B75","volume-title":"Introduction to Parallel Computing","author":"Grama","year":"2003"},{"key":"2019062007300594400_bbx150-B76","author":"Jensen","year":"1981"},{"key":"2019062007300594400_bbx150-B77","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1109\/WSC.2016.7822084","volume-title":"Proceedings of the 2016 Winter Simulation Conference","author":"Currie","year":"2016"},{"key":"2019062007300594400_bbx150-B78","doi-asserted-by":"crossref","first-page":"1810","DOI":"10.1109\/WSC.2015.7408297","volume-title":"Proceedings of the 2015 Winter Simulation Conference","author":"Law","year":"2015"}],"container-title":["Briefings in Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/bib\/article-pdf\/20\/3\/877\/28847181\/bbx150.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T00:33:22Z","timestamp":1569976402000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/bib\/article\/20\/3\/877\/4590142"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,3]]},"references-count":78,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2017,11,3]]},"published-print":{"date-parts":[[2019,5,21]]}},"URL":"https:\/\/doi.org\/10.1093\/bib\/bbx150","relation":{},"ISSN":["1477-4054"],"issn-type":[{"value":"1477-4054","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2019,5]]},"published":{"date-parts":[[2017,11,3]]}}}