{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T05:52:30Z","timestamp":1790920350642,"version":"4.1.0"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,11,8]],"date-time":"2007-11-08T00:00:00Z","timestamp":1194480000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/2.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["BMC Bioinformatics"],"published-print":{"date-parts":[[2007,12]]},"DOI":"10.1186\/1471-2105-8-433","type":"journal-article","created":{"date-parts":[[2007,11,8]],"date-time":"2007-11-08T14:14:39Z","timestamp":1194531279000},"source":"Crossref","is-referenced-by-count":4,"title":["Incremental and unifying modelling formalism for biological interaction networks"],"prefix":"10.1186","volume":"8","author":[{"given":"Anastasia","family":"Yartseva","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hanna","family":"Klaudel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Raymond","family":"Devillers","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fran\u00e7ois","family":"K\u00e9p\u00e8s","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2007,11,8]]},"reference":[{"key":"1805_CR1","volume-title":"Bio-CONCUR","author":"C Kuttler","year":"2004","unstructured":"Kuttler C, Niehren J, Blossey R: Gene regulation in the \u03c0 -calculus: Simulating cooperativity at the lambda switch. Bio-CONCUR 2004."},{"key":"1805_CR2","volume-title":"Third International Workshop on Computational Methods in Systems Biology","author":"C Chaouiya","year":"2005","unstructured":"Chaouiya C, Remy E, Thieffry D: Petri net modelling of biologycal regulatory networks. In Third International Workshop on Computational Methods in Systems Biology. Edited by: Plotkin G. University of Edinburgh; 2005."},{"key":"1805_CR3","first-page":"341","volume-title":"Pac Symp Biocomput","author":"H Matsuno","year":"2000","unstructured":"Matsuno H, Doi A, Nagasaki M, Miyano S: Hybrid Petri net representation of gene regulatory network. Pac Symp Biocomput 2000, 341\u201352."},{"issue":"1","key":"1805_CR4","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1093\/bioinformatics\/14.1.81","volume":"14","author":"KR Heidtke","year":"1998","unstructured":"Heidtke KR, Schulze-Kremer S: Design and implementation of a qualitative simulation model of lambda phage infection. Bioinformatics 1998, 14(1):81\u201391.","journal-title":"Bioinformatics"},{"issue":"2","key":"1805_CR5","first-page":"277","volume":"57","author":"D Thieffry","year":"1995","unstructured":"Thieffry D, Thomas R: Dynamical behaviour of biological regulatory networks \u2013 II. immunity control in bacteriophage lambda. Bull Math Biol 1995, 57(2):277\u2013297.","journal-title":"Bull Math Biol"},{"key":"1805_CR6","doi-asserted-by":"publisher","first-page":"4071","DOI":"10.1093\/nar\/gkg461","volume":"31","author":"H Kurata","year":"2003","unstructured":"Kurata H, Matoba N, Shimizu N: CADLIVE for constructiong a large-scale biochemical network based on a simulation-directed notation and its application to yeast cell cycle. Nucleic Acid Res 2003, 31: 4071\u20134084.","journal-title":"Nucleic Acid Res"},{"key":"1805_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0022-5193(05)80350-9","volume":"153","author":"R Thomas","year":"1991","unstructured":"Thomas R: Regulatory networks seen as asynchronous automata : A logical description. J Theor Biol 1991, 153: 1\u201323.","journal-title":"J Theor Biol"},{"key":"1805_CR8","volume-title":"A Genetic switch","author":"M Ptashne","year":"1992","unstructured":"Ptashne M: A Genetic switch. Blackwell Science; 1992."},{"issue":"1","key":"1805_CR9","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1111\/j.1432-1033.1976.tb11108.x","volume":"71","author":"R Thomas","year":"1976","unstructured":"Thomas R, Gathoye AM, Lambert L: A complex control circuit. Regulation of immunity in temperate bacteriophages. Eur J Biochem 1976, 71(1):211\u2013227.","journal-title":"Eur J Biochem"},{"key":"1805_CR10","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1073\/pnas.66.3.855","volume":"66","author":"H Eisen","year":"1970","unstructured":"Eisen H, Brachet P, Pereira da Silva L, Jacob F: Regulation of repressor expression in \u03bb . Proc Natl Acad Sci USA 1970, 66: 855\u2013862.","journal-title":"Proc Natl Acad Sci USA"},{"key":"1805_CR11","first-page":"13","volume":"56","author":"R Thomas","year":"1971","unstructured":"Thomas R: Regulation of gene expression in bacteriophage lambda. Curr Top Microbiol Immunol 1971, 56: 13\u201342.","journal-title":"Curr Top Microbiol Immunol"},{"issue":"4","key":"1805_CR12","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1023\/B:ACBI.0000046604.18092.a7","volume":"52","author":"J Guespin-Michel","year":"2004","unstructured":"Guespin-Michel J, Bernot G, Comet J-P, Mrieau A, Richard A, Hulen C, Polack B: Epigenesis and dynamic similarity in two regulatory networks in Pseudomonas aeruginosa . Acta Biotheoretica 2004, 52(4):379\u2013390.","journal-title":"Acta Biotheoretica"},{"key":"1805_CR13","first-page":"26","volume-title":"Currents in Computational Molecular Biology","author":"A Doi","year":"2000","unstructured":"Doi A, Matsuno H, Miyano S: Induction mechanism description of lambda phage by hybrid Petri net. Currents in Computational Molecular Biology 2000, 26\u201327."},{"key":"1805_CR14","first-page":"145","volume":"3","author":"L Cardelli","year":"2005","unstructured":"Cardelli L: Abstract machines of systems biology. T Comp Sys Biology 2005, 3: 145\u2013168.","journal-title":"T Comp Sys Biology"},{"issue":"9","key":"1805_CR15","doi-asserted-by":"publisher","first-page":"2981","DOI":"10.1073\/pnas.0308661100","volume":"101","author":"A Tanay","year":"2004","unstructured":"Tanay A, Sharan R, Kupiec M, Shamir R: Revealing modularity and organization in the yeast molecular network by integrated analysis of highly heterogeneous genomewide data. Proc Natl Acad Sci USA 2004, 101(9):2981\u20132986.","journal-title":"Proc Natl Acad Sci USA"},{"key":"1805_CR16","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1017\/S0269888901000091","volume":"16","author":"J Keppens","year":"2001","unstructured":"Keppens J, Shen Q: On compositional modelling. The knowledge engineering review 2001, 16: 157\u2013200.","journal-title":"The knowledge engineering review"},{"issue":"1","key":"1805_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1091\/mbc.E05-09-0824","volume":"17","author":"KW Kohn","year":"2006","unstructured":"Kohn KW, Aladjem MI, Weinstein JN, Pommier Y: Molecular interaction maps of bioregulatory networks: A general rubric for systems biology. Molecular Biology of the Cell 2006, 17(1):1\u201313.","journal-title":"Molecular Biology of the Cell"},{"issue":"10","key":"1805_CR18","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1016\/S0962-8924(00)01817-1","volume":"10","author":"I Pirson","year":"2000","unstructured":"Pirson I, Fortemaison N, Jacobs C, Dremier S, Dumont JE, Maenhaut C: The visual display of regulatory information and networks. Trends in Cell Biology 2000, 10(10):404\u2013408.","journal-title":"Trends in Cell Biology"},{"issue":"8","key":"1805_CR19","doi-asserted-by":"publisher","first-page":"961","DOI":"10.1038\/nbt1111","volume":"23","author":"H Kitano","year":"2005","unstructured":"Kitano H, Funahashi A, Matsuoka Y, Oda K: Using process diagrams for the graphical representation of biological networks. Nature Biotechnology 2005, 23(8):961\u2013966.","journal-title":"Nature Biotechnology"},{"issue":"4","key":"1805_CR20","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1093\/bioinformatics\/btg015","volume":"19","author":"M Hucka","year":"2003","unstructured":"Hucka M, Finney A, Sauro HM, Bolouri H, Doyle JC, Kitano H, Arkin AP, Bornstein BJ, Bray D, Cornish-Bowden A, Cuellar AA, Dronov S, Gilles ED, Ginkel M, Gor V, Goryanin II, Hedley WJ, Hodgman TC, Hofmeyr JH, Hunter PJ, Juty NS, Kasberger JL, Kremling A, Kummer U, Le Novere N, Loew LM, Lucio D, Mendes P, Minch E, Mjolsness ED, Nakayama Y, Nelson MR, Nielsen PF, Sakurada T, Schaff JC, Shapiro BE, Shimizu TS, Spence HD, Stelling J, Takahashi K, Tomita M, Wagner J, Wang J: The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics 2003, 19(4):524\u2013531.","journal-title":"Bioinformatics"},{"key":"1805_CR21","volume-title":"Proceedings of Ecole Thematique \"Modlisation et simulation de processus biologiques dans le contexte de la gnomique \u2013 2003 \u2013 Dieppe(France)\"","author":"M Beurton-Aimar","year":"2003","unstructured":"Beurton-Aimar M, Prs S, Parisey N, Nazaret C, Mazat JP: Modeling biologic networks to use them with heterogeneous treatments. Proceedings of Ecole Thematique \"Modlisation et simulation de processus biologiques dans le contexte de la gnomique \u2013 2003 \u2013 Dieppe(France)\" 2003."},{"key":"1805_CR22","first-page":"28","volume":"1","author":"M Roux-Rouqui\u00e9","year":"2005","unstructured":"Roux-Rouqui\u00e9 M, Soto M: Virtualization in systems biology: Metamodels and modeling languages for semantic data integration. T Comp Sys Biology 2005, 1: 28\u201343.","journal-title":"T Comp Sys Biology"},{"key":"1805_CR23","volume-title":"Object-oriented Modeling in Biology and Medecine, SCI 2005","author":"M Roux-Rouqui","year":"2005","unstructured":"Roux-Rouqui M, Caritey N, Gaubert L, Le Grand B, Soto M: Metamodel and modeling language: towards an Unified Modeling Language (UML) profile for systems biology. Object-oriented Modeling in Biology and Medecine, SCI 2005 2005."},{"key":"1805_CR24","volume-title":"Proc Int Conf Bioinf of Genome Regulation and Structure (BGRS'2002)","author":"FA Kolpakov","year":"2002","unstructured":"Kolpakov FA: BIOUML \u2013 framework for visual modeling and simulation biological systems. Proc Int Conf Bioinf of Genome Regulation and Structure (BGRS'2002) 2002."}],"container-title":["BMC Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/1471-2105-8-433.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1186\/1471-2105-8-433\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/1471-2105-8-433.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,23]],"date-time":"2019-01-23T04:32:15Z","timestamp":1548217935000},"score":1,"resource":{"primary":{"URL":"https:\/\/bmcbioinformatics.biomedcentral.com\/articles\/10.1186\/1471-2105-8-433"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,11,8]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,12]]}},"alternative-id":["1805"],"URL":"https:\/\/doi.org\/10.1186\/1471-2105-8-433","relation":{},"ISSN":["1471-2105"],"issn-type":[{"value":"1471-2105","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,11,8]]},"article-number":"433"}}