{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T04:04:02Z","timestamp":1772251442650,"version":"3.50.1"},"reference-count":65,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2024,4,25]],"date-time":"2024-04-25T00:00:00Z","timestamp":1714003200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,4,25]],"date-time":"2024-04-25T00:00:00Z","timestamp":1714003200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"Ministero dell\u2019Universit\u00e0 e della Ricerca (MUR), Italy","award":["Progetti di Rilevante Interesse Nazionale (PRIN) 2022 program (D.D.104 -02\/02\/2022), Prot. 20222RT5LC"],"award-info":[{"award-number":["Progetti di Rilevante Interesse Nazionale (PRIN) 2022 program (D.D.104 -02\/02\/2022), Prot. 20222RT5LC"]}]},{"name":"Ministero dell\u2019Universit\u00e0 e della Ricerca (MUR), Italy","award":["Progetti di Rilevante Interesse Nazionale (PRIN) 2022 program (D.D.104 -02\/02\/2022), Prot. 20222RT5LC"],"award-info":[{"award-number":["Progetti di Rilevante Interesse Nazionale (PRIN) 2022 program (D.D.104 -02\/02\/2022), Prot. 20222RT5LC"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["BMC Bioinformatics"],"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:sec>\n                    <jats:title>Background<\/jats:title>\n                    <jats:p>The Biology System Description Language (BiSDL) is an accessible, easy-to-use computational language for multicellular synthetic biology. It allows synthetic biologists to represent spatiality and multi-level cellular dynamics inherent to multicellular designs, filling a gap in the state of the art. Developed for designing and simulating spatial, multicellular synthetic biological systems, BiSDL integrates high-level conceptual design with detailed low-level modeling, fostering collaboration in the Design-Build-Test-Learn cycle. BiSDL descriptions directly compile into Nets-Within-Nets (NWNs) models, offering a unique approach to spatial and hierarchical modeling in biological systems.<\/jats:p>\n                  <\/jats:sec>\n                  <jats:sec>\n                    <jats:title>Results<\/jats:title>\n                    <jats:p>BiSDL\u2019s effectiveness is showcased through three case studies on complex multicellular systems: a bacterial consortium, a synthetic morphogen system and a conjugative plasmid transfer process. These studies highlight the BiSDL proficiency in representing spatial interactions and multi-level cellular dynamics. The language facilitates the compilation of conceptual designs into detailed, simulatable models, leveraging the NWNs formalism. This enables intuitive modeling of complex biological systems, making advanced computational tools more accessible to a broader range of researchers.<\/jats:p>\n                  <\/jats:sec>\n                  <jats:sec>\n                    <jats:title>Conclusions<\/jats:title>\n                    <jats:p>BiSDL represents a significant step forward in computational languages for synthetic biology, providing a sophisticated yet user-friendly tool for designing and simulating complex biological systems with an emphasis on spatiality and cellular dynamics. Its introduction has the potential to transform research and development in synthetic biology, allowing for deeper insights and novel applications in understanding and manipulating multicellular systems.<\/jats:p>\n                  <\/jats:sec>","DOI":"10.1186\/s12859-024-05782-x","type":"journal-article","created":{"date-parts":[[2024,4,25]],"date-time":"2024-04-25T09:03:10Z","timestamp":1714035790000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Biology System Description Language (BiSDL): a modeling language for the design of multicellular synthetic biological systems"],"prefix":"10.1186","volume":"25","author":[{"given":"Leonardo","family":"Giannantoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberta","family":"Bardini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Savino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Di Carlo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,4,25]]},"reference":[{"key":"5782_CR1","doi-asserted-by":"publisher","first-page":"597","DOI":"10.3389\/fmicb.2019.00597","volume":"10","author":"PC St. John","year":"2019","unstructured":"St. John PC, Bomble YJ. Approaches to computational strain design in the multiomics era. Front Microbiol. 2019;10:597. https:\/\/doi.org\/10.3389\/fmicb.2019.00597.","journal-title":"Front Microbiol"},{"key":"5782_CR2","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/j.copbio.2019.12.007","volume":"64","author":"Y Chen","year":"2020","unstructured":"Chen Y, Banerjee D, Mukhopadhyay A, Petzold CJ. Systems and synthetic biology tools for advanced bioproduction hosts. Curr Opin Biotechnol. 2020;64:101\u20139. https:\/\/doi.org\/10.1016\/j.copbio.2019.12.007","journal-title":"Curr Opin Biotechnol"},{"key":"5782_CR3","doi-asserted-by":"publisher","DOI":"10.1016\/j.tibtech.2018.11.002","author":"NS McCarty","year":"2018","unstructured":"McCarty NS, Ledesma-Amaro R. Synthetic biology tools to engineer microbial communities for biotechnology. Trends Biotechnol. 2018. https:\/\/doi.org\/10.1016\/j.tibtech.2018.11.002","journal-title":"Trends Biotechnol"},{"issue":"8","key":"5782_CR4","doi-asserted-by":"publisher","first-page":"652","DOI":"10.1016\/j.tibtech.2016.02.010","volume":"34","author":"G Wu","year":"2016","unstructured":"Wu G, Yan Q, Jones JA, Tang YJ, Fong SS, Koffas MA. Metabolic burden: cornerstones in synthetic biology and metabolic engineering applications. Trends Biotechnol. 2016;34(8):652\u201364. https:\/\/doi.org\/10.1016\/j.tibtech.2016.02.010","journal-title":"Trends Biotechnol"},{"key":"5782_CR5","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/j.mib.2016.07.009","volume":"33","author":"O Borkowski","year":"2016","unstructured":"Borkowski O, Ceroni F, Stan G-B, Ellis T. Overloaded and stressed: whole-cell considerations for bacterial synthetic biology. Curr Opin Microbiol. 2016;33:123\u201330. https:\/\/doi.org\/10.1016\/j.mib.2016.07.009","journal-title":"Curr Opin Microbiol"},{"issue":"5","key":"5782_CR6","doi-asserted-by":"publisher","DOI":"10.1016\/j.isci.2021.102505","volume":"24","author":"MR Ebrahimkhani","year":"2021","unstructured":"Ebrahimkhani MR, Levin M. Synthetic living machines: a new window on life. Iscience. 2021;24(5): 102505. https:\/\/doi.org\/10.1016\/j.isci.2021.102505","journal-title":"Iscience"},{"key":"5782_CR7","doi-asserted-by":"publisher","DOI":"10.1016\/j.compbiomed.2023.107783","volume":"168","author":"L Martini","year":"2024","unstructured":"Martini L, Amprimo G, Di Carlo S, Olmo G, Ferraris C, Savino A, Bardini R. Neuronal Spike Shapes (NSS): A straightforward approach to investigate heterogeneity in neuronal excitability states. Comput Biol Med. 2024;168:107783. https:\/\/doi.org\/10.1016\/j.compbiomed.2023.107783","journal-title":"Comput Biol Med"},{"issue":"1","key":"5782_CR8","doi-asserted-by":"publisher","first-page":"115","DOI":"10.3390\/genes14010115","volume":"14","author":"L Martini","year":"2022","unstructured":"Martini L, Bardini R, Savino A, Di Carlo S. GAGAM v1. 2: An improvement on peak labeling and genomic annotated gene activity matrix construction. Genes. 2022;14(1):115. https:\/\/doi.org\/10.3390\/genes14010115","journal-title":"Genes"},{"key":"5782_CR9","doi-asserted-by":"publisher","unstructured":"Bardini R, Politano G, Benso A, Carlo SD. Using multi-level petri nets models to simulate microbiota resistance to antibiotics. In: 2017 IEEE international conference on bioinformatics and biomedicine (BIBM), pp. 128\u2013133; 2017. https:\/\/doi.org\/10.1109\/BIBM.2017.8217637.","DOI":"10.1109\/BIBM.2017.8217637"},{"key":"5782_CR10","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1186\/s12918-018-0627-1","volume":"12","author":"R Bardini","year":"2018","unstructured":"Bardini R, Di Carlo S, Politano G, Benso A. Modeling antibiotic resistance in the microbiota using multi-level Petri Nets. BMC Syst Biol. 2018;12:59\u201379. https:\/\/doi.org\/10.1186\/s12918-018-0627-1.","journal-title":"BMC Syst Biol"},{"key":"5782_CR11","doi-asserted-by":"publisher","DOI":"10.1016\/j.csbj.2023.12.035","author":"R Bardini","year":"2024","unstructured":"Bardini R, Di Carlo S. Computational methods for biofabrication in tissue engineering and regenerative medicine-a literature review. Comput Struct Biotechnol J. 2024. https:\/\/doi.org\/10.1016\/j.csbj.2023.12.035.","journal-title":"Comput Struct Biotechnol J"},{"key":"5782_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-07802-6_16","volume-title":"Bioinformatics and biomedical engineering. IWBBIO 2022","author":"L Giannantoni","year":"2022","unstructured":"Giannantoni L, Bardini R, Di Carlo S. A Methodology for co-simulation-based optimization of biofabrication protocols. In: Rojas I, Valenzuela O, Rojas F, Herrera LJ, Ortu\u00f1o F, editors. Bioinformatics and biomedical engineering. IWBBIO 2022. Lecture Notes in Computer Science, vol 13347. Cham: Springer;  2022. https:\/\/doi.org\/10.1007\/978-3-031-07802-6_16."},{"key":"5782_CR13","doi-asserted-by":"publisher","unstructured":"Giannantoni L, Savino A, Di Carlo S. Optimization of synthetic oscillatory biological networks through reinforcement learning. In: 2023 IEEE international conference on bioinformatics and biomedicine (BIBM), Istanbul, 2023. IEEE. https:\/\/doi.org\/10.1109\/bibm58861.2023.10385777.","DOI":"10.1109\/bibm58861.2023.10385777"},{"key":"5782_CR14","doi-asserted-by":"publisher","DOI":"10.1016\/j.csbj.2017.07.005","author":"R Bardini","year":"2017","unstructured":"Bardini R, Politano G, Benso A, Di Carlo S. Multi-level and hybrid modelling approaches for systems biology. Comput Struct Biotechnol J. 2017. https:\/\/doi.org\/10.1016\/j.csbj.2017.07.005.","journal-title":"Comput Struct Biotechnol J"},{"key":"5782_CR15","doi-asserted-by":"publisher","unstructured":"Bardini R, Politano G, Benso A, Di Carlo S. Computational tools for applying multi-level models to synthetic biology. In: Singh S, editors. Synthetic Biology. Singapore: Springer. https:\/\/doi.org\/10.1007\/978-981-10-8693-9_7","DOI":"10.1007\/978-981-10-8693-9_7"},{"key":"5782_CR16","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.plantsci.2018.03.035","volume":"273","author":"B Pouvreau","year":"2018","unstructured":"Pouvreau B, Vanhercke T, Singh S. From plant metabolic engineering to plant synthetic biology: the evolution of the design\/build\/test\/learn cycle. Plant Sci. 2018;273:3\u201312. https:\/\/doi.org\/10.1016\/j.plantsci.2018.03.035.","journal-title":"Plant Sci"},{"issue":"6","key":"5782_CR17","doi-asserted-by":"publisher","first-page":"759","DOI":"10.1042\/etls20180163","volume":"2","author":"F Murphy","year":"2018","unstructured":"Murphy F. Open access, open data, FAIR Data and their implications for life sciences researchers. Emerging Top Life Sci. 2018;2(6):759\u201362. https:\/\/doi.org\/10.1042\/etls20180163","journal-title":"Emerging Top Life Sci"},{"key":"5782_CR18","doi-asserted-by":"publisher","DOI":"10.1038\/d41586-019-01720-7","author":"S Stall","year":"2019","unstructured":"Stall S, Yarmey L, Cutcher-Gershenfeld J, Hanson B, Lehnert K, Nosek B, Parsons M, Robinson E, Wyborn L. Make scientific data FAIR. Nat Publ Group. 2019. https:\/\/doi.org\/10.1038\/d41586-019-01720-7.","journal-title":"Nat Publ Group"},{"issue":"8","key":"5782_CR19","doi-asserted-by":"publisher","first-page":"9110","DOI":"10.15252\/msb.20199110","volume":"16","author":"SM Keating","year":"2020","unstructured":"Keating SM, Waltemath D, K\u00f6nig M, Zhang F, Dr\u00e4ger A, Chaouiya C, Bergmann FT, Finney A, Gillespie CS, Helikar T, et al. SBML Level 3: an extensible format for the exchange and reuse of biological models. Mol Syst Biol. 2020;16(8):9110. https:\/\/doi.org\/10.15252\/msb.20199110.","journal-title":"Mol Syst Biol"},{"issue":"6","key":"5782_CR20","doi-asserted-by":"publisher","first-page":"1000815","DOI":"10.1371\/journal.pcbi.1000815","volume":"6","author":"P Gleeson","year":"2010","unstructured":"Gleeson P, Crook S, Cannon RC, Hines ML, Billings GO, Farinella M, Morse TM, Davison AP, Ray S, Bhalla US, et al. NeuroML: a language for describing data driven models of neurons and networks with a high degree of biological detail. PLoS Comput Biol. 2010;6(6):1000815. https:\/\/doi.org\/10.1371\/journal.pcbi.1000815.","journal-title":"PLoS Comput Biol"},{"issue":"3","key":"5782_CR21","doi-asserted-by":"publisher","first-page":"20210021","DOI":"10.1515\/jib-2021-0021","volume":"18","author":"LP Smith","year":"2021","unstructured":"Smith LP, Bergmann FT, Garny A, Helikar T, Karr J, Nickerson D, Sauro H, Waltemath D, K\u00f6nig M. The simulation experiment description markup language (SED-ML): language specification for level 1 version 4. J Integr Bioinform. 2021;18(3):20210021. https:\/\/doi.org\/10.1515\/jib-2021-0021.","journal-title":"J Integr Bioinform"},{"issue":"8","key":"5782_CR22","doi-asserted-by":"publisher","first-page":"1931","DOI":"10.1021\/acssynbio.1c00143","volume":"10","author":"S Konur","year":"2021","unstructured":"Konur S, Mierla L, Fellermann H, Ladroue C, Brown B, Wipat A, Twycross J, Dun BP, Kalvala S, Gheorghe M, et al. Toward full-stack in silico synthetic biology: integrating model specification, simulation, verification, and biological compilation. ACS Synth Biol. 2021;10(8):1931\u201345. https:\/\/doi.org\/10.1021\/acssynbio.1c00143.","journal-title":"ACS Synth Biol"},{"issue":"1","key":"5782_CR23","doi-asserted-by":"publisher","first-page":"1004591","DOI":"10.1371\/journal.pcbi.1004591","volume":"12","author":"E Bartocci","year":"2016","unstructured":"Bartocci E, Li\u00f3 P. Computational modeling, formal analysis, and tools for systems biology. PLoS Comput Biol. 2016;12(1):1004591. https:\/\/doi.org\/10.1371\/journal.pcbi.1004591.","journal-title":"PLoS Comput Biol"},{"key":"5782_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-31744-1_28","volume-title":"Bioinformatics and biomedical engineering. IWBBIO 2016","author":"R Bardini","year":"2016","unstructured":"Bardini R, Benso A, Di Carlo S, Politano G, Savino A (2016) Using nets-within-nets for modeling differentiating cells in the epigenetic landscape. In: Ortu\u00f1o F, Rojas I, editors. Bioinformatics and biomedical engineering. IWBBIO 2016. Lecture Notes in Computer Science, vol 9656. Cham: Springer. https:\/\/doi.org\/10.1007\/978-3-319-31744-1_28."},{"key":"5782_CR25","doi-asserted-by":"publisher","first-page":"5701","DOI":"10.1016\/j.csbj.2021.10.008","volume":"19","author":"R Bardini","year":"2021","unstructured":"Bardini R, Benso A, Politano G, Di Carlo S. Nets-within-nets for modeling emergent patterns in ontogenetic processes. Comput Struct Biotechnol J. 2021;19:5701\u201321. https:\/\/doi.org\/10.1016\/j.csbj.2021.10.008.","journal-title":"Comput Struct Biotechnol J"},{"key":"5782_CR26","doi-asserted-by":"publisher","unstructured":"Muggianu F, Benso A, Bardini R, Hu E, Politano G, Di Carlo S. Modeling biological complexity using biology system description language (BiSDL). In: 2018 IEEE international conference on bioinformatics and biomedicine (BIBM), pp. 713\u2013717, 2018. IEEE. https:\/\/doi.org\/10.1109\/bibm.2018.8621533.","DOI":"10.1109\/bibm.2018.8621533."},{"key":"5782_CR27","doi-asserted-by":"publisher","first-page":"819","DOI":"10.1007\/978-3-540-27755-2_23","volume-title":"Object petri nets: using the nets-within-nets paradigm","author":"R Valk","year":"2004","unstructured":"Valk R. Object petri nets: using the nets-within-nets paradigm. Berlin: Springer; 2004. p. 819\u201348. https:\/\/doi.org\/10.1007\/978-3-540-27755-2_23."},{"key":"5782_CR28","unstructured":"Bardini R, et al. A diversity-aware computational framework for systems biology. Ph.D. thesis, Politecnico di Torino, 2019 (cit. on p. 5), 2019. https:\/\/hdl.handle.net\/11583\/2752792."},{"issue":"6","key":"5782_CR29","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1038\/nbt.2891","volume":"32","author":"M Galdzicki","year":"2014","unstructured":"Galdzicki M, Clancy KP, Oberortner E, Pocock M, Quinn JY, Rodriguez CA, Roehner N, Wilson ML, Adam L, Anderson JC, et al. The Synthetic Biology Open Language (SBOL) provides a community standard for communicating designs in synthetic biology. Nat Biotechnol. 2014;32(6):545. https:\/\/doi.org\/10.1038\/nbt.2891.","journal-title":"Nat Biotechnol"},{"key":"5782_CR30","doi-asserted-by":"publisher","unstructured":"Cox RS, Madsen C, McLaughlin JA, Nguyen T, Roehner N, Bartley B, Beal J, Bissell M, Choi K, Clancy K, et al. Synthetic biology open language (SBOL) version 2.2.0. J Integr Bioinform 2018;15(1). https:\/\/doi.org\/10.1515\/jib-2018-0001.","DOI":"10.1515\/jib-2018-0001"},{"issue":"1","key":"5782_CR31","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1186\/1752-0509-7-135","volume":"7","author":"C Chaouiya","year":"2013","unstructured":"Chaouiya C, B\u00e9renguier D, Keating SM, Naldi A, Van Iersel MP, Rodriguez N, Dr\u00e4ger A, B\u00fcchel F, Cokelaer T, Kowal B, et al. SBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools. BMC Syst Biol. 2013;7(1):135. https:\/\/doi.org\/10.1186\/1752-0509-7-135.","journal-title":"BMC Syst Biol"},{"issue":"7","key":"5782_CR32","doi-asserted-by":"publisher","first-page":"1515","DOI":"10.1021\/acssynbio.8b00336.s001","volume":"8","author":"BA Bartley","year":"2018","unstructured":"Bartley BA, Choi K, Samineni M, Zundel Z, Nguyen T, Myers CJ, Sauro HM. pySBOL: a python package for genetic design automation and standardization. ACS Synth Biol. 2018;8(7):1515\u20138. https:\/\/doi.org\/10.1021\/acssynbio.8b00336.s001.","journal-title":"ACS Synth Biol"},{"issue":"6","key":"5782_CR33","doi-asserted-by":"publisher","first-page":"880","DOI":"10.1093\/bioinformatics\/btn051","volume":"24","author":"BJ Bornstein","year":"2008","unstructured":"Bornstein BJ, Keating SM, Jouraku A, Hucka M. LibSBML: An API library for SBML. Bioinformatics. 2008;24(6):880\u20131. https:\/\/doi.org\/10.1093\/bioinformatics\/btn051.","journal-title":"Bioinformatics"},{"key":"5782_CR34","doi-asserted-by":"publisher","first-page":"19","DOI":"10.3389\/fbioe.2015.00019","volume":"3","author":"M Hucka","year":"2015","unstructured":"Hucka M, Nickerson DP, Bader GD, Bergmann FT, Cooper J, Demir E, Garny A, Golebiewski M, Myers CJ, Schreiber F, Waltemath D, Le Nov\u00c3\u0161re N. Promoting coordinated development of community-based information standards for modeling in biology: the COMBINE initiative. Front Bioeng Biotechnol. 2015;3:19. https:\/\/doi.org\/10.3389\/fbioe.2015.00019.","journal-title":"Front Bioeng Biotechnol"},{"key":"5782_CR35","unstructured":"COMBINE: The COMBINE standards. [Online] https:\/\/co.mbine.org\/standards 2018."},{"issue":"2\u20133","key":"5782_CR36","doi-asserted-by":"publisher","first-page":"20200005","DOI":"10.1515\/jib-2020-0005","volume":"17","author":"D Waltemath","year":"2020","unstructured":"Waltemath D, Golebiewski M, Blinov ML, Gleeson P, Hermjakob H, Hucka M, Inau ET, Keating SM, K\u00f6nig M, Krebs O, et al. The first 10 years of the international coordination network for standards in systems and synthetic biology (COMBINE). J Integr Bioinform. 2020;17(2\u20133):20200005. https:\/\/doi.org\/10.1515\/jib-2020-0005.","journal-title":"J Integr Bioinform"},{"issue":"9","key":"5782_CR37","doi-asserted-by":"publisher","first-page":"935","DOI":"10.1038\/nbt.1666","volume":"28","author":"E Demir","year":"2010","unstructured":"Demir E, Cary MP, Paley S, Fukuda K, Lemer C, Vastrik I, Wu G, D\u2019eustachio P, Schaefer C, Luciano J, et al. The biopax community standard for pathway data sharing. Nat Biotechnol. 2010;28(9):935\u201342. https:\/\/doi.org\/10.1038\/nbt.1666.","journal-title":"Nat Biotechnol"},{"issue":"8","key":"5782_CR38","doi-asserted-by":"publisher","first-page":"735","DOI":"10.1038\/nbt.1558","volume":"27","author":"N Le Novere","year":"2009","unstructured":"Le Novere N, Hucka M, Mi H, Moodie S, Schreiber F, Sorokin A, Demir E, Wegner K, Aladjem MI, Wimalaratne SM, et al. The systems biology graphical notation. Nat Biotechnol. 2009;27(8):735. https:\/\/doi.org\/10.1038\/nbt.1558.","journal-title":"Nat Biotechnol"},{"issue":"2","key":"5782_CR39","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1016\/j.pbiomolbio.2004.01.004","volume":"85","author":"CM Lloyd","year":"2004","unstructured":"Lloyd CM, Halstead MDB, Nielsen PF. CellML: its future, present and past. Prog Biophys Mol Biol. 2004;85(2):433\u201350. https:\/\/doi.org\/10.1016\/j.pbiomolbio.2004.01.004.","journal-title":"Prog Biophys Mol Biol"},{"key":"5782_CR40","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-540-88562-7_15","volume-title":"Computational methods in systems biology","author":"D K\u00f6hn","year":"2008","unstructured":"K\u00f6hn D, Le Nov\u00e8re N. SED-ML\u2014an XML format for the implementation of the MIASE guidelines. In: Heiner M, Uhrmacher AM, editors. Computational methods in systems biology. Berlin: Springer; 2008. p. 176\u201390. https:\/\/doi.org\/10.1007\/978-3-540-88562-7_15."},{"issue":"1","key":"5782_CR41","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1038\/s41540-021-00182-w","volume":"7","author":"C Sch\u00f6lzel","year":"2021","unstructured":"Sch\u00f6lzel C, Blesius V, Ernst G, Dominik A. Characteristics of mathematical modeling languages that facilitate model reuse in systems biology: a software engineering perspective. NPJ Syst Biol Appl. 2021;7(1):1\u201320. https:\/\/doi.org\/10.1038\/s41540-021-00182-w.","journal-title":"NPJ Syst Biol Appl"},{"key":"5782_CR42","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1016\/j.biosystems.2018.07.006","volume":"171","author":"K Choi","year":"2018","unstructured":"Choi K, Medley JK, K\u00f6nig M, Stocking K, Smith L, Gu S, Sauro HM. Tellurium: an extensible python-based modeling environment for systems and synthetic biology. Biosystems. 2018;171:74\u20139. https:\/\/doi.org\/10.1016\/j.biosystems.2018.07.006.","journal-title":"Biosystems"},{"issue":"8","key":"5782_CR43","doi-asserted-by":"publisher","first-page":"1496","DOI":"10.1021\/acssynbio.7b00003","volume":"6","author":"M Gutierrez","year":"2017","unstructured":"Gutierrez M, Gregorio-Godoy P, Pulgar G, Munoz LE, S\u00e1ez S, Rodr\u00edguez-Pat\u00f3n A. A New Improved and Extended Version of the Multicell Bacterial Simulator gro. ACS Synth Biol. 2017;6(8):1496\u2013508. https:\/\/doi.org\/10.1021\/acssynbio.7b00003.","journal-title":"ACS Synth Biol"},{"issue":"4","key":"5782_CR44","doi-asserted-by":"publisher","first-page":"18882","DOI":"10.1371\/journal.pone.0018882","volume":"6","author":"L Bilitchenko","year":"2011","unstructured":"Bilitchenko L, Liu A, Cheung S, Weeding E, Xia B, Leguia M, Anderson JC, Densmore D. Eugene-A domain specific language for specifying and constraining synthetic biological parts, devices, and systems. PLoS ONE. 2011;6(4):18882. https:\/\/doi.org\/10.1371\/journal.pone.0018882.","journal-title":"PLoS ONE"},{"issue":"suppl-4","key":"5782_CR45","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1098\/rsif.2008.0516.focus","volume":"6","author":"M Pedersen","year":"2009","unstructured":"Pedersen M, Phillips A. Towards programming languages for genetic engineering of living cells. J R Soc Interface. 2009;6(suppl-4):437\u201350. https:\/\/doi.org\/10.1098\/rsif.2008.0516.focus.","journal-title":"J R Soc Interface"},{"key":"5782_CR46","doi-asserted-by":"publisher","DOI":"10.7561\/sacs.2013.1.1","author":"A Basso-Blandin","year":"2013","unstructured":"Basso-Blandin A, Delaplace F. GUBS, a behaviour-based language for design in synthetic biology. Sci Ann Comput Sci. 2013. https:\/\/doi.org\/10.7561\/sacs.2013.1.1.","journal-title":"Sci Ann Comput Sci"},{"issue":"2","key":"5782_CR47","doi-asserted-by":"publisher","first-page":"17005","DOI":"10.1371\/journal.pone.0017005","volume":"6","author":"M Galdzicki","year":"2011","unstructured":"Galdzicki M, Rodriguez C, Chandran D, Sauro HM, Gennari JH. Standard biological parts knowledgebase. PLoS ONE. 2011;6(2):17005. https:\/\/doi.org\/10.1371\/journal.pone.0017005.","journal-title":"PLoS ONE"},{"key":"5782_CR48","doi-asserted-by":"publisher","unstructured":"Kienhuis B, Deprettere EF, Wolf P, Vissers K. A Methodology to design programmable embedded systems. In: International workshop on embedded computer systems, pp. 18\u201337, 2001. Springer. https:\/\/doi.org\/10.1007\/3-540-45874-3_2.","DOI":"10.1007\/3-540-45874-3_2"},{"issue":"1","key":"5782_CR49","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1038\/msb.2011.77","volume":"7","author":"M Courtot","year":"2011","unstructured":"Courtot M, Juty N, Kn\u00fcpfer C, Waltemath D, Zhukova A, Dr\u00e4ger A, Dumontier M, Finney A, Golebiewski M, Hastings J, et al. Controlled vocabularies and semantics in systems biology. Mol Syst Biol. 2011;7(1):543. https:\/\/doi.org\/10.1038\/msb.2011.77.","journal-title":"Mol Syst Biol"},{"issue":"4","key":"5782_CR50","doi-asserted-by":"publisher","first-page":"1376","DOI":"10.1093\/bib\/bby003","volume":"20","author":"P Medvedev","year":"2019","unstructured":"Medvedev P. Modeling biological problems in computer science: a case study in genome assembly. Brief Bioinform. 2019;20(4):1376\u201383. https:\/\/doi.org\/10.1093\/bib\/bby003.","journal-title":"Brief Bioinform"},{"key":"5782_CR51","doi-asserted-by":"publisher","unstructured":"Pommereau F. SNAKES: a flexible high-level petri nets library (tool paper). In: International conference on applications and theory of petri nets and concurrency, pp. 254\u2013265, 2015. Springer. https:\/\/doi.org\/10.1007\/978-3-319-19488-2_13.","DOI":"10.1007\/978-3-319-19488-2_13"},{"issue":"6","key":"5782_CR52","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1038\/nrm2698","volume":"10","author":"PE Purnick","year":"2009","unstructured":"Purnick PE, Weiss R. The second wave of synthetic biology: from modules to systems. Nat Rev Mol Cell Biol. 2009;10(6):410\u201322. https:\/\/doi.org\/10.1038\/nrm2698.","journal-title":"Nat Rev Mol Cell Biol"},{"key":"5782_CR53","doi-asserted-by":"publisher","unstructured":"Amos M, Go\u00f1i-Moreno A. Cellular computing and synthetic biology. In: Computational matter, pp. 93\u2013110. Springer, Berlin; 2018. https:\/\/doi.org\/10.1007\/978-3-319-65826-1_7.","DOI":"10.1007\/978-3-319-65826-1_7"},{"key":"5782_CR54","unstructured":"iGEM: iGEM Parts Registry\u2014Registry of Standard Biological Parts. http:\/\/parts.igem.org\/ Accessed 07 August 2023."},{"issue":"18","key":"5782_CR55","doi-asserted-by":"publisher","first-page":"9505","DOI":"10.1073\/pnas.93.18.9505","volume":"93","author":"AL Schaefer","year":"1996","unstructured":"Schaefer AL, Val DL, Hanzelka BL, Cronan JE, Greenberg EP. Generation of cell-to-cell signals in quorum sensing: acyl homoserine lactone synthase activity of a purified Vibrio fischeri LuxI protein. Proc Natl Acad Sci. 1996;93(18):9505\u20139. https:\/\/doi.org\/10.1073\/pnas.93.18.9505.","journal-title":"Proc Natl Acad Sci"},{"key":"5782_CR56","doi-asserted-by":"publisher","unstructured":"Ellson J, Gansner E, Koutsofios L, North SC, Woodhull G. Graphviz\u2013open source graph drawing tools. In: Graph drawing: 9th international symposium, GD 2001 Vienna, Austria, September 23\u201326, 2001 Revised Papers 9, pp. 483\u2013484, 2002. Springer. https:\/\/doi.org\/10.1007\/3-540-45848-4_57.","DOI":"10.1007\/3-540-45848-4_57"},{"issue":"6398","key":"5782_CR57","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1126\/science.aat0271","volume":"361","author":"S Toda","year":"2018","unstructured":"Toda S, Blauch LR, Tang SKY, Morsut L, Lim WA. Programming self-organizing multicellular structures with synthetic cell-cell signaling. Science. 2018;361(6398):156\u201362. https:\/\/doi.org\/10.1126\/science.aat0271","journal-title":"Science"},{"issue":"1","key":"5782_CR58","doi-asserted-by":"publisher","first-page":"3602","DOI":"10.1038\/s41467-020-17278-2","volume":"11","author":"S Redondo-Salvo","year":"2020","unstructured":"Redondo-Salvo S, Fern\u00e1ndez-L\u00f3pez R, Ruiz R, Vielva L, Toro M, Rocha EP, Garcill\u00e1n-Barcia MP, Cruz F. Pathways for horizontal gene transfer in bacteria revealed by a global map of their plasmids. Nat Commun. 2020;11(1):3602. https:\/\/doi.org\/10.1038\/s41467-020-17278-2.","journal-title":"Nat Commun"},{"issue":"1","key":"5782_CR59","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/j.biosystems.2007.09.003","volume":"91","author":"R Gregory","year":"2008","unstructured":"Gregory R, Saunders J, Saunders V. Rule-based modelling of conjugative plasmid transfer and incompatibility. Biosystems. 2008;91(1):201\u201315. https:\/\/doi.org\/10.1016\/j.biosystems.2007.09.003.","journal-title":"Biosystems"},{"issue":"11","key":"5782_CR60","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.3390\/genes11111239","volume":"11","author":"C Virolle","year":"2020","unstructured":"Virolle C, Goldlust K, Djermoun S, Bigot S, Lesterlin C. Plasmid transfer by conjugation in gram-negative bacteria: from the cellular to the community level. Genes. 2020;11(11):1239. https:\/\/doi.org\/10.3390\/genes11111239.","journal-title":"Genes"},{"key":"5782_CR61","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcsw.2022.100077","volume":"8","author":"T Shanmugasundarasamy","year":"2022","unstructured":"Shanmugasundarasamy T, Govindarajan DK, Kandaswamy K. A review on pilus assembly mechanisms in gram-positive and gram-negative bacteria. Cell Surface. 2022;8: 100077. https:\/\/doi.org\/10.1016\/j.tcsw.2022.100077.","journal-title":"Cell Surface"},{"issue":"11","key":"5782_CR62","doi-asserted-by":"publisher","first-page":"1343","DOI":"10.1109\/12.247838","volume":"42","author":"G Chiola","year":"1993","unstructured":"Chiola G, Dutheillet C, Franceschinis G, Haddad S. Stochastic well-formed colored nets and symmetric modeling applications. IEEE Trans Comput. 1993;42(11):1343\u201360. https:\/\/doi.org\/10.1109\/12.247838.","journal-title":"IEEE Trans Comput"},{"issue":"3","key":"5782_CR63","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B Berthomieu","year":"1991","unstructured":"Berthomieu B, Diaz M. Modeling and verification of time dependent systems using time petri nets. IEEE Trans Software Eng. 1991;17(3):259. https:\/\/doi.org\/10.1109\/32.75415.","journal-title":"IEEE Trans Software Eng"},{"key":"5782_CR64","unstructured":"Fronc L, Pommereau F. Building Petri nets tools around Neco compiler. In: International workshop on petri nets and software engineering (PNSE 2013), p. 2013. https:\/\/hal.science\/hal-00911714."},{"key":"5782_CR65","doi-asserted-by":"publisher","unstructured":"Amparore EG, Balbo G, Beccuti M, Donatelli S, Franceschinis G. 30 years of greatspn. Principles of Performance and Reliability Modeling and Evaluation: Essays in Honor of Kishor Trivedi on his 70th Birthday, 227\u2013254, 2016. https:\/\/doi.org\/10.1007\/978-3-319-30599-8_9.","DOI":"10.1007\/978-3-319-30599-8_9"}],"container-title":["BMC Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1186\/s12859-024-05782-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1186\/s12859-024-05782-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1186\/s12859-024-05782-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,25]],"date-time":"2024-04-25T09:04:23Z","timestamp":1714035863000},"score":1,"resource":{"primary":{"URL":"https:\/\/bmcbioinformatics.biomedcentral.com\/articles\/10.1186\/s12859-024-05782-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,25]]},"references-count":65,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2024,12]]}},"alternative-id":["5782"],"URL":"https:\/\/doi.org\/10.1186\/s12859-024-05782-x","relation":{"has-preprint":[{"id-type":"doi","id":"10.1101\/2024.01.13.575499","asserted-by":"object"}]},"ISSN":["1471-2105"],"issn-type":[{"value":"1471-2105","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,4,25]]},"assertion":[{"value":"11 January 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 April 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 April 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"Not applicable.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethics approval and consent to participate"}},{"value":"Not applicable.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Consent for publication"}},{"value":"The authors declare that they have no conflict of interest.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}],"article-number":"166"}}