{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T14:11:57Z","timestamp":1740147117106,"version":"3.37.3"},"reference-count":65,"publisher":"Springer Science and Business Media LLC","issue":"1","funder":[{"name":"Paris-Saclay IDEX IMSV","award":["0155RA14"],"award-info":[{"award-number":["0155RA14"]}]},{"name":"ANR","award":["ANR-14-CE09-0011"],"award-info":[{"award-number":["ANR-14-CE09-0011"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["BMC Syst Biol"],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1186\/s12918-016-0285-0","type":"journal-article","created":{"date-parts":[[2016,6,16]],"date-time":"2016-06-16T05:31:06Z","timestamp":1466055066000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Qualitative dynamics semantics for SBGN process description"],"prefix":"10.1186","volume":"10","author":[{"given":"Adrien","family":"Rougny","sequence":"first","affiliation":[]},{"given":"Christine","family":"Froidevaux","sequence":"additional","affiliation":[]},{"given":"Laurence","family":"Calzone","sequence":"additional","affiliation":[]},{"given":"Lo\u00efc","family":"Paulev\u00e9","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,16]]},"reference":[{"key":"285_CR1","unstructured":"KEGG Pathway Database. http:\/\/www.genome.jp\/kegg\/pathway.html%23metabolism . Accessed 2016-02-08."},{"key":"285_CR2","unstructured":"ACSN - Atlas of Cancer Signalling Networks. https:\/\/acsn.curie.fr . Accessed 2016-02-08."},{"issue":"5","key":"285_CR3","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1038\/nbt.2488","volume":"31","author":"I Thiele","year":"2013","unstructured":"Thiele I, Swainston N, Fleming RM, Hoppe A, Sahoo S, Aurich MK, Haraldsdottir H, Mo ML, Rolfsson O, Stobbe MD, et al.A community-driven global reconstruction of human metabolism. Nat Biotechnol. 2013; 31(5):419\u201325.","journal-title":"Nat Biotechnol"},{"issue":"suppl 1","key":"285_CR4","first-page":"428","volume":"33","author":"G Joshi-Tope","year":"2005","unstructured":"Joshi-Tope G, Gillespie M, Vastrik I, D\u2019Eustachio P, Schmidt E, de Bono B, Jassal B, Gopinath G, Wu G, Matthews L, et al.Reactome: a knowledgebase of biological pathways. Nucleic Acids Res. 2005; 33(suppl 1):428\u201332.","journal-title":"Nucleic Acids Res"},{"key":"285_CR5","doi-asserted-by":"crossref","unstructured":"Calzone L, Gelay A, Zinovyev A, Radvanyi F, Barillot E. A comprehensive modular map of molecular interactions in RB\/E2F pathway. Mol Syst Biol. 2008; 4(1). http:\/\/msb.embopress.org\/content\/4\/1\/0174.export .","DOI":"10.1038\/msb.2008.7"},{"key":"285_CR6","doi-asserted-by":"crossref","unstructured":"Oda K, Matsuoka Y, Funahashi A, Kitano H. A comprehensive pathway map of epidermal growth factor receptor signaling. Mol Syst Biol. 2005; 1(1). http:\/\/msb.embopress.org\/content\/1\/1\/2005.0010 .","DOI":"10.1038\/msb4100014"},{"issue":"8","key":"285_CR7","doi-asserted-by":"crossref","first-page":"735","DOI":"10.1038\/nbt.1558","volume":"27","author":"N Le Nov\u00e8re","year":"2009","unstructured":"Le Nov\u00e8re 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\u201341.","journal-title":"Nat Biotechnol"},{"key":"285_CR8","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/0304-3975(85)90057-X","volume":"41","author":"E Goles","year":"1985","unstructured":"Goles E. Dynamics of positive automata networks. Theor Comput Sci. 1985; 41:19\u201332.","journal-title":"Theor Comput Sci"},{"issue":"3","key":"285_CR9","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1016\/0022-5193(69)90015-0","volume":"22","author":"S Kauffman","year":"1969","unstructured":"Kauffman S. Metabolic stability and epigenesis in randomly constructed genetic nets. J Theor Biol. 1969; 22(3):437\u201367.","journal-title":"J Theor Biol"},{"issue":"1","key":"285_CR10","doi-asserted-by":"crossref","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.","journal-title":"Mol Syst Biol"},{"issue":"15","key":"285_CR11","doi-asserted-by":"crossref","first-page":"2016","DOI":"10.1093\/bioinformatics\/bts270","volume":"28","author":"MP van Iersel","year":"2012","unstructured":"van Iersel MP, Vill\u00e9ger AC, Czauderna T, Boyd SE, Bergmann FT, Luna A, Demir E, Sorokin A, Dogrusoz U, Matsuoka Y, et al. Software support for SBGN maps: SBGN-ML and libSBGN. Bioinformatics. 2012; 28(15):2016\u201321.","journal-title":"Bioinformatics"},{"issue":"18","key":"285_CR12","doi-asserted-by":"crossref","first-page":"2340","DOI":"10.1093\/bioinformatics\/btq407","volume":"26","author":"T Czauderna","year":"2010","unstructured":"Czauderna T, Klukas C, Schreiber F. Editing, validating and translating of SBGN maps. Bioinformatics. 2010; 26(18):2340\u20131.","journal-title":"Bioinformatics"},{"issue":"8","key":"285_CR13","doi-asserted-by":"crossref","first-page":"1254","DOI":"10.1109\/JPROC.2008.925458","volume":"96","author":"A Funahashi","year":"2008","unstructured":"Funahashi A, Matsuoka Y, Jouraku A, Morohashi M, Kikuchi N, Kitano H. Celldesigner 3.5: a versatile modeling tool for biochemical networks. Proc IEEE. 2008; 96(8):1254\u201365.","journal-title":"Proc IEEE"},{"issue":"4","key":"285_CR14","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1016\/0021-9991(76)90041-3","volume":"22","author":"DT Gillespie","year":"1976","unstructured":"Gillespie DT. A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. J Comput Physs. 1976; 22(4):403\u201334.","journal-title":"J Comput Physs"},{"key":"285_CR15","doi-asserted-by":"crossref","DOI":"10.1201\/b11812","volume-title":"Stochastic modelling for systems biology","author":"DJ Wilkinson","year":"2011","unstructured":"Wilkinson DJ. Stochastic modelling for systems biology. UK: CRC press; 2011."},{"key":"285_CR16","volume-title":"Formal Methods for Computational Systems Biology. Lecture Notes in Computer Science, vol. 5016","author":"M Heiner","year":"2008","unstructured":"Heiner M, Gilbert D, Donaldson R. Petri nets for systems and synthetic biology. In: Formal Methods for Computational Systems Biology. Lecture Notes in Computer Science, vol. 5016. Berlin Heidelberg: Springer: 2008. p. 215\u201364."},{"key":"285_CR17","volume-title":"Proc. of the Fifth Asian Symposium on Programming Systems, APLAS \u20192007, Singapore. Lecture Notes in Computer Science, vol. 4807","author":"V Danos","year":"2007","unstructured":"Danos V, Feret J, Fontana W, Krivine J. Scalable simulation of cellular signaling networks, invited paper In: Shao Z, editor. Proc. of the Fifth Asian Symposium on Programming Systems, APLAS \u20192007, Singapore. Lecture Notes in Computer Science, vol. 4807. Singapore: Springer: 2007. p. 139\u201357."},{"key":"285_CR18","volume-title":"Transactions on Computational Systems Biology XIII. Lecture Notes in Computer Science, vol. 6575","author":"L Loewe","year":"2011","unstructured":"Loewe L, Guerriero M, Watterson S, Moodie S, Ghazal P, Hillston J. Translation from the quantified implicit process flow abstraction in SBGN-PD diagrams to Bio-PEPA illustrated on the cholesterol pathway In: Priami C, Back R-J, Petre I, Vink E, editors. Transactions on Computational Systems Biology XIII. Lecture Notes in Computer Science, vol. 6575. Berlin\/Heidelberg: Springer: 2011. p. 13\u201338."},{"issue":"14","key":"285_CR19","doi-asserted-by":"crossref","first-page":"1805","DOI":"10.1093\/bioinformatics\/btl172","volume":"22","author":"L Calzone","year":"2006","unstructured":"Calzone L, Fages F, Soliman S. BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics. 2006; 22(14):1805\u20137.","journal-title":"Bioinformatics"},{"key":"285_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/B978-0-12-543105-7.50008-7","volume":"5","author":"J Tyson","year":"1978","unstructured":"Tyson J, Othmer H. The dynamics of feedback control circuits in biochemical pathways. Prog Theor Biol. 1978; 5:1\u201362.","journal-title":"Prog Theor Biol"},{"key":"285_CR21","volume-title":"Syst Biol","author":"E Klipp","year":"2013","unstructured":"Klipp E, Liebermeister W, Wierling C, Kowald A, Lehrach H, Herwig R. Syst Biol. Weinheim: John Wiley & Sons; 2013."},{"key":"285_CR22","doi-asserted-by":"crossref","unstructured":"Heitzler D, Durand G, Gallay N, Rizk A, Ahn S, Kim J, Violin JD, Dupuy L, Gauthier C, Piketty V, et al. Competing G protein-coupled receptor kinases balance G protein and \u03b2-arrestin signaling. Mol Syst Biol. 2012; 8(1). doi: http:\/\/dx.doi.org\/10.1038\/msb4100014 .","DOI":"10.1038\/msb4100014"},{"issue":"3","key":"285_CR23","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1038\/nbt.1614","volume":"28","author":"JD Orth","year":"2010","unstructured":"Orth JD, Thiele I, Palsson B\u00d8. What is flux balance analysis?Nat Biotechnol. 2010; 28(3):245\u20138.","journal-title":"Nat Biotechnol"},{"key":"285_CR24","doi-asserted-by":"crossref","unstructured":"Hartmann A, Schreiber F. Integrative analysis of metabolic models\u2013from structure to dynamics. Front Bioeng Biotechnol. 2014; 2. doi: http:\/\/dx.doi.org\/10.3389\/fbioe.2014.00091 .","DOI":"10.3389\/fbioe.2014.00091"},{"issue":"3","key":"285_CR25","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1016\/0022-5193(73)90247-6","volume":"42","author":"R Thomas","year":"1973","unstructured":"Thomas R. Boolean formalization of genetic control circuits. J Theor Biol. 1973; 42(3):563\u201385.","journal-title":"J Theor Biol"},{"key":"285_CR26","first-page":"277","volume":"57","author":"D Thieffry","year":"1995","unstructured":"Thieffry D, Thomas R. Dynamical behaviour of biological regulatory networks-II, Immunity control in bacteriophage lambda. Bull Math Biol. 1995; 57:277\u201397.","journal-title":"Bull Math Biol"},{"issue":"3","key":"285_CR27","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.entcs.2004.01.038","volume":"180","author":"G Bernot","year":"2007","unstructured":"Bernot G, Cassez F, Comet JP, Delaplace F, M\u00fcller C, Roux O. Semantics of biological regulatory networks. Electron Notes Theor Comput Sci. 2007; 180(3):3\u201314.","journal-title":"Electron Notes Theor Comput Sci"},{"issue":"2","key":"285_CR28","doi-asserted-by":"crossref","first-page":"727","DOI":"10.1007\/s11047-010-9178-0","volume":"10","author":"C Chaouiya","year":"2011","unstructured":"Chaouiya C, Naldi A, Remy E, Thieffry D. Petri net representation of multi-valued logical regulatory graphs. Nat Comput. 2011; 10(2):727\u201350.","journal-title":"Nat Comput"},{"issue":"3","key":"285_CR29","doi-asserted-by":"crossref","first-page":"1001099","DOI":"10.1371\/journal.pcbi.1001099","volume":"7","author":"MK Morris","year":"2011","unstructured":"Morris MK, Saez-Rodriguez J, Clarke DC, Sorger PK, Lauffenburger DA. Training signaling pathway maps to biochemical data with constrained fuzzy logic: quantitative analysis of liver cell responses to inflammatory stimuli. PLoS Comput Biol. 2011; 7(3):1001099.","journal-title":"PLoS Comput Biol"},{"issue":"1","key":"285_CR30","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1089\/cmb.2009.0121","volume":"17","author":"R Samaga","year":"2010","unstructured":"Samaga R, Von Kamp A, Klamt S. Computing combinatorial intervention strategies and failure modes in signaling networks. J Comput Biol. 2010; 17(1):39\u201353.","journal-title":"J Comput Biol"},{"issue":"1","key":"285_CR31","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1186\/1471-2105-14-361","volume":"14","author":"N Berntenis","year":"2013","unstructured":"Berntenis N, Ebeling M. Detection of attractors of large boolean networks via exhaustive enumeration of appropriate subspaces of the state space. BMC Bioinformatics. 2013; 14(1):361.","journal-title":"BMC Bioinformatics"},{"key":"285_CR32","volume-title":"Logical modeling of biological systems","author":"L Paulev\u00e9","year":"2014","unstructured":"Paulev\u00e9 L, Chancellor C, Folschette M, Magnin M, Roux O. Analyzing large network dynamics with process hitting In: del Cerro LF, Inoue K, editors. Logical modeling of biological systems. Hoboken: Wiley: 2014. p. 125\u201366."},{"issue":"1","key":"285_CR33","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1016\/j.tcs.2008.04.024","volume":"403","author":"F Fages","year":"2008","unstructured":"Fages F, Soliman S. Abstract interpretation and types for systems biology. Theor Comput Sci. 2008; 403(1):52\u201370.","journal-title":"Theor Comput Sci"},{"key":"285_CR34","volume-title":"Advances in Petri Nets 1992. Lecture Notes in Computer Science, vol. 609","author":"L Bernardinello","year":"1992","unstructured":"Bernardinello L, De Cindio F. A survey of basic net models and modular net classes In: Rozenberg G, editor. Advances in Petri Nets 1992. Lecture Notes in Computer Science, vol. 609. Berlin\/Heidelberg: Springer: 1992. p. 304\u201351."},{"key":"285_CR35","volume-title":"Computational Methods in Systems Biology. Lecture Notes in Computer Science, vol. 8859","author":"T Chatain","year":"2014","unstructured":"Chatain T, Haar S, Jezequel L, Paulev\u00e9 L, Schwoon S. Characterization of reachable attractors using petri net unfoldings In: Mendes P, Dada J, Smallbone K, editors. Computational Methods in Systems Biology. Lecture Notes in Computer Science, vol. 8859. Berlin\/Heidelberg: Springer: 2014. p. 129\u201342."},{"issue":"4","key":"285_CR36","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1093\/bib\/bbm029","volume":"8","author":"C Chaouiya","year":"2007","unstructured":"Chaouiya C. Petri net modelling of biological networks. Brief Bioinform. 2007; 8(4):210\u20139.","journal-title":"Brief Bioinform"},{"issue":"4","key":"285_CR37","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T. Petri nets: properties, analysis and applications. Proc. of the IEEE. 1989; 77(4):541\u201380.","journal-title":"Proc. of the IEEE"},{"key":"285_CR38","unstructured":"RB\/E2F Pathway. http:\/\/bioinfo-out.curie.fr\/projects\/rbpathway\/ . Accessed 2016-02-08."},{"key":"285_CR39","unstructured":"Mole - Petri Net Unfolder. http:\/\/www.lsv.ens-cachan.fr\/%7Eschwoon\/tools\/mole\/ . Accessed 2016-02-08."},{"issue":"8","key":"285_CR40","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1016\/j.tibs.2004.06.006","volume":"29","author":"AP Bracken","year":"2004","unstructured":"Bracken AP, Ciro M, Cocito A, Helin K. E2F target genes: unraveling the biology. Trends Biochem Sci. 2004; 29(8):409\u201317.","journal-title":"Trends Biochem Sci"},{"issue":"18","key":"285_CR41","doi-asserted-by":"crossref","first-page":"3149","DOI":"10.1091\/mbc.E10-05-0393","volume":"21","author":"D Gong","year":"2010","unstructured":"Gong D, Ferrell JE. The roles of cyclin A2, B1, and B2 in early and late mitotic events. Mol Biol Cell. 2010; 21(18):3149\u201361.","journal-title":"Mol Biol Cell"},{"key":"285_CR42","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1016\/j.tcs.2015.03.013","volume":"587","author":"G Pardini","year":"2015","unstructured":"Pardini G, Milazzo P, Maggiolo-Schettini A. Component identification in biochemical pathways. Theor Comput Sci. 2015; 587:104\u201324.","journal-title":"Theor Comput Sci"},{"issue":"1","key":"285_CR43","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1186\/1752-0509-7-18","volume":"7","author":"E Bonnet","year":"2013","unstructured":"Bonnet E, Calzone L, Rovera D, Stoll G, Barillot E, Zinovyev A. BiNoM 2.0, a Cytoscape plugin for accessing and analyzing pathways using standard systems biology formats. BMC Syst Biol. 2013; 7(1):18.","journal-title":"BMC Syst Biol"},{"issue":"1","key":"285_CR44","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1186\/1752-0509-7-115","volume":"7","author":"T Vogt","year":"2013","unstructured":"Vogt T, Czauderna T, Schreiber F. Translation of SBGN maps: process description to activity flow. BMC Syst Biol. 2013; 7(1):115.","journal-title":"BMC Syst Biol"},{"key":"285_CR45","volume-title":"Logic of Programs. Lecture Notes in Computer Science","author":"EM Clarke","year":"1981","unstructured":"Clarke EM, Emerson EA. Design and synthesis of synchronization skeletons using branching-time temporal logic. In: Logic of Programs. Lecture Notes in Computer Science. Berlin\/Heidelberg: Springer: 1981. p. 52\u201371."},{"key":"285_CR46","volume-title":"Principles of Model Checking (Representation and Mind Series)","author":"C Baier","year":"2008","unstructured":"Baier C, Katoen JP. Principles of Model Checking (Representation and Mind Series). Cambridge, USA: The MIT Press; 2008."},{"key":"285_CR47","volume-title":"Modern Formal Methods and Applications","author":"A Richard","year":"2006","unstructured":"Richard A, Comet JP, Bernot G. Formal Methods for Modeling Biological Regulatory Networks. In: Modern Formal Methods and Applications. Netherlands: Springer: 2006. p. 83\u2013122."},{"key":"285_CR48","volume-title":"Proc. Winter Simulation Conference","author":"M Kwiatkowska","year":"2006","unstructured":"Kwiatkowska M, Norman G, Parker D, Tymchyshyn O, Heath J, Gaffney E. Simulation and verification for computational modelling of signalling pathways In: Perrone LF, Wieland FP, Liu J, Lawson BG, Nicol DM, Fujimoto RM, editors. Proc. Winter Simulation Conference. Madison, USA: Omnipress: 2006. p. 1666\u201375."},{"issue":"14","key":"285_CR49","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1093\/bioinformatics\/btl210","volume":"22","author":"A Faure","year":"2006","unstructured":"Faure A, Naldi A, Chaouiya C, Thieffry D. Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle. Bioinformatics. 2006; 22(14):124\u201331.","journal-title":"Bioinformatics"},{"key":"285_CR50","volume-title":"Computational Methods in Systems Biology","author":"P Traynard","year":"2015","unstructured":"Traynard P, Fages F, Soliman S. Model-based investigation of the effect of the cell cycle on the circadian clock through transcription inhibition during mitosis In: Roux O, Bourdon J, editors. Computational Methods in Systems Biology. Berlin Heidelberg: Springer: 2015. p. 208\u201321."},{"key":"285_CR51","volume-title":"Computer Aided Verification. Lecture Notes in Computer Science, vol. 8044","author":"L Paulev\u00e9","year":"2013","unstructured":"Paulev\u00e9 L, Andrieux G, Koeppl H. Under-approximating cut sets for reachability in large scale automata networks In: Sharygina N, Veith H, editors. Computer Aided Verification. Lecture Notes in Computer Science, vol. 8044. Berlin\/Heidelberg: Springer: 2013. p. 69\u201384."},{"key":"285_CR52","doi-asserted-by":"crossref","unstructured":"Abou-Jaoud\u00e9 W, Monteiro PT, Naldi A, Grandclaudon M, Soumelis V, Chaouiya C, Thieffry D. Model checking to assess T-helper cell plasticity. Front Bioeng Biotechnol. 2015; 2. doi: http:\/\/dx.doi.org\/10.3389\/fbioe.2014.00086 .","DOI":"10.3389\/fbioe.2014.00086"},{"key":"285_CR53","unstructured":"Schnoebelen P. The complexity of temporal logic model checking. In: Advances in Modal Logic\u201902. King\u2019s College Publications: 2002. p. 393\u2013436."},{"key":"285_CR54","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2005","author":"JM Couvreur","year":"2005","unstructured":"Couvreur JM, Thierry-Mieg Y. Hierarchical decision diagrams to exploit model structure. In: Formal Techniques for Networked and Distributed Systems - FORTE 2005. Berlin Heidelberg: Springer: 2005. p. 443\u201357."},{"key":"285_CR55","volume-title":"Unfoldings: A Partial-Order Approach to Model Checking, 1st edn. Monographs in Theor Comput Sci. An EATCS Series","author":"J Esparza","year":"2008","unstructured":"Esparza J, Heljanko K. Unfoldings: A Partial-Order Approach to Model Checking, 1st edn. Monographs in Theor Comput Sci. An EATCS Series. Berlin \/ Heidelberg: Springer; 2008."},{"key":"285_CR56","volume-title":"Computer Aided Verification. Lecture Notes in Computer Science, vol. 2404","author":"A Cimatti","year":"2002","unstructured":"Cimatti A, Clarke E, Giunchiglia E, Giunchiglia F, Pistore M, Roveri M, Sebastiani R, Tacchella A. NuSMV 2: an opensource tool for symbolic model checking. In: Computer Aided Verification. Lecture Notes in Computer Science, vol. 2404. Berlin \/ Heidelberg: Springer: 2002. p. 241\u201368."},{"key":"285_CR57","unstructured":"ITS Tools. http:\/\/ddd.lip6.fr . Accessed 2016-04-10."},{"key":"285_CR58","volume-title":"12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, vol. 3920","author":"A Hinton","year":"2006","unstructured":"Hinton A, Kwiatkowska M, Norman G, Parker D. PRISM: a tool for automatic verification of probabilistic systems. In: 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, vol. 3920. Berlin \/ Heidelberg: Springer: 2006."},{"issue":"04","key":"285_CR59","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1017\/S0960129511000739","volume":"22","author":"L Paulev\u00e9","year":"2012","unstructured":"Paulev\u00e9 L, Magnin M, Roux O. Static analysis of biological regulatory networks dynamics using abstract interpretation. Math Struct Comput Sci. 2012; 22(04):651\u201385.","journal-title":"Math Struct Comput Sci"},{"issue":"21","key":"285_CR60","doi-asserted-by":"crossref","first-page":"2207","DOI":"10.1016\/j.tcs.2010.10.021","volume":"412","author":"A Naldi","year":"2011","unstructured":"Naldi A, Remy E, Thieffry D, Chaouiya C. Dynamically consistent reduction of logical regulatory graphs. Theor Comput Sci. 2011; 412(21):2207\u201318.","journal-title":"Theor Comput Sci"},{"issue":"4","key":"285_CR61","doi-asserted-by":"crossref","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, et al.The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics. 2003; 19(4):524\u201331.","journal-title":"Bioinformatics"},{"issue":"1","key":"285_CR62","doi-asserted-by":"crossref","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.","journal-title":"BMC Syst Biol"},{"key":"285_CR63","volume-title":"Proc. of the AAAI Conference on Artificial Intelligence, vol. 8","author":"V Lifschitz","year":"2008","unstructured":"Lifschitz V. What is answer set programming? In: Proc. of the AAAI Conference on Artificial Intelligence, vol. 8. Cambridge, USA: MIT Press: 2008. p. 1594\u20137."},{"key":"285_CR64","unstructured":"Gebser M, Kaminski R, Kaufmann B, Ostrowski M, Schaub T, Thiele S. A user\u2019s guide to gringo, clasp, clingo, and iclingo. 2008."},{"key":"285_CR65","unstructured":"Pint - Static Analyzer for Dynamics of Automata Networks. http:\/\/loicpauleve.name\/pint . Accessed 2016-02-08."}],"container-title":["BMC Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s12918-016-0285-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T20:07:20Z","timestamp":1656706040000},"score":1,"resource":{"primary":{"URL":"http:\/\/bmcsystbiol.biomedcentral.com\/articles\/10.1186\/s12918-016-0285-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,16]]},"references-count":65,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,12]]}},"alternative-id":["285"],"URL":"https:\/\/doi.org\/10.1186\/s12918-016-0285-0","relation":{},"ISSN":["1752-0509"],"issn-type":[{"type":"electronic","value":"1752-0509"}],"subject":[],"published":{"date-parts":[[2016,6,16]]},"article-number":"42"}}