{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:25:04Z","timestamp":1759638304982,"version":"3.37.3"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2010,2,21]],"date-time":"2010-02-21T00:00:00Z","timestamp":1266710400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Nat Comput"],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1007\/s11047-010-9178-0","type":"journal-article","created":{"date-parts":[[2010,2,20]],"date-time":"2010-02-20T15:20:23Z","timestamp":1266679223000},"page":"727-750","source":"Crossref","is-referenced-by-count":28,"title":["Petri net representation of multi-valued logical regulatory graphs"],"prefix":"10.1007","volume":"10","author":[{"given":"C.","family":"Chaouiya","sequence":"first","affiliation":[]},{"given":"A.","family":"Naldi","sequence":"additional","affiliation":[]},{"given":"E.","family":"Remy","sequence":"additional","affiliation":[]},{"given":"D.","family":"Thieffry","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,2,21]]},"reference":[{"key":"9178_CR1","doi-asserted-by":"crossref","first-page":"887","DOI":"10.1007\/11758525_118","volume":"3992","author":"J Ahmad","year":"2006","unstructured":"Ahmad J, Richard A, Bernot G, Comet J-P, Roux O (2006) Delays in biological regulatory networks (BRN). Lect Notes Comput Sci 3992:887\u2013894","journal-title":"Lect Notes Comput Sci"},{"key":"9178_CR2","volume-title":"Molecular biology of the cell","author":"B Alberts","year":"2008","unstructured":"Alberts B, Johnson A, Lewis J, Raff M, Roberts K, Walter P (2008) Molecular biology of the cell, 5th edn. Garland Science\/Taylor & Francis, New York","edition":"5"},{"key":"9178_CR3","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/978-3-540-44928-7_17","volume":"294","author":"C Chaouiya","year":"2003","unstructured":"Chaouiya C, Remy E, Moss\u00e9 B, Thieffry D (2003) Qualitative analysis of regulatory graphs: a computational tool based on a discrete formal framework. Lect Notes Control Inf Sci 294:119\u2013126","journal-title":"Lect Notes Control Inf Sci"},{"key":"9178_CR4","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/978-3-540-27793-4_9","volume":"3099","author":"C Chaouiya","year":"2004","unstructured":"Chaouiya C, Remy E, Ruet P, Thieffry D (2004) Qualitative modelling of genetic networks: from logical regulatory graphs to standard Petri nets. Lect Notes Comput Sci 3099:137\u2013156","journal-title":"Lect Notes Comput Sci"},{"key":"9178_CR5","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/11880646_5","volume":"4220","author":"C Chaouiya","year":"2006","unstructured":"Chaouiya C, Remy E, Thieffry D (2006) Qualitative Petri net modelling of genetic networks. Lect Notes Comput Sci 4220:95\u2013112","journal-title":"Lect Notes Comput Sci"},{"issue":"2","key":"9178_CR6","first-page":"165","volume":"6","author":"C Chaouiya","year":"2008","unstructured":"Chaouiya C, Remy E, Thieffry D (2008) Petri net modelling of biological regulatory networks. J Discrete\u00a0Algorithms 6(2):165\u2013177","journal-title":"J Discrete\u00a0Algorithms"},{"key":"9178_CR7","doi-asserted-by":"crossref","unstructured":"Comet J-P, Klaudel H, Liauzu S (2005) Modeling multi-valued genetic regulatory networks using high-level Petri nets. Lect Notes Comput Sci 3536:208\u2013227","DOI":"10.1007\/11494744_13"},{"key":"9178_CR18","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1089\/10665270252833208","volume":"1","author":"H Jong de","year":"2002","unstructured":"de Jong H (2002) Modeling and simulation of genetic regulatory systems: a literature review. J Comput Biol 1:67\u2013103","journal-title":"J Comput Biol"},{"key":"9178_CR8","doi-asserted-by":"crossref","unstructured":"Doi A, Nagasaki M, Matsuno H, Miyano S (2006) Simulation-based validation of the p53 transcriptional activity with hybrid functional Petri net. In Silico Biol 6:1\u201313","DOI":"10.3233\/ISB-00216"},{"key":"9178_CR9","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1093\/bioinformatics\/btl210","volume":"22","author":"A Faur\u00e9","year":"2006","unstructured":"Faur\u00e9 A, Naldi A, Chaouiya C, Thieffry D (2006) Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle. Bioinformatics 22:124\u2013131","journal-title":"Bioinformatics"},{"key":"9178_CR10","doi-asserted-by":"crossref","first-page":"1787","DOI":"10.1039\/b910101m","volume":"5","author":"A Faur\u00e9","year":"2009","unstructured":"Faur\u00e9 A, Naldi A, Lopez F, Chaouiya C, Ciliberto A, Thieffry D (2009) Modular logical modelling of the budding yeast cell cycle. Mol Biosyst 5:1787\u20131796","journal-title":"Mol Biosyst"},{"key":"9178_CR11","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/978-3-540-71681-5_5","volume":"4453","author":"A Garg","year":"2007","unstructured":"Garg A, Xenarios I, Mendoza L, De Micheli G (2007) An efficient method for dynamic analysis of gene regulatory networks and in-silico gene perturbation experiments. Lect Notes Comput Sci 4453:62\u201376","journal-title":"Lect Notes Comput Sci"},{"key":"9178_CR12","unstructured":"GINsim web page: http:\/\/gin.univ-mrs.fr\/GINsim\/"},{"key":"9178_CR13","doi-asserted-by":"crossref","first-page":"i234","DOI":"10.1093\/bioinformatics\/btn266","volume":"24","author":"A Gonz\u00e1lez","year":"2008","unstructured":"Gonz\u00e1lez A, Chaouiya C, Thieffry D (2008) Logical modelling of the role of the Hh pathway in the patterning of the Drosophila wing disc. Bioinformatics 24:i234\u2013i240","journal-title":"Bioinformatics"},{"key":"9178_CR14","doi-asserted-by":"crossref","first-page":"6750","DOI":"10.1073\/pnas.95.12.6750","volume":"95","author":"PJ Goss","year":"1998","unstructured":"Goss PJ, Peccoud J (1998) Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. Proc Natl Acad Sci USA 95:6750\u20136755","journal-title":"Proc Natl Acad Sci USA"},{"key":"9178_CR15","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1186\/1471-2105-9-90","volume":"9","author":"E Grafahrend-Belau","year":"2008","unstructured":"Grafahrend-Belau E, Schreiber F, Heiner M, Sackmann A, Junker BH, Grunwald S, Speer A, Winder K, Koch I (2008) Modularization of biochemical networks based on classification of Petri net t-invariants. BMC Bioinformatics 9:90","journal-title":"BMC Bioinformatics"},{"key":"9178_CR16","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/978-3-540-68894-5_7","volume":"5016","author":"M Heiner","year":"2008","unstructured":"Heiner M, Gilbert D, Donaldson R (2008) Petri nets for systems and synthetic biology. Lect Notes Comput Sci 5016:215\u2013264","journal-title":"Lect Notes Comput Sci"},{"key":"9178_CR17","unstructured":"INA, Integrated Net Analyzer, tool for the analysis of (Coloured) PNs: http:\/\/www.informatik.hu-berlin.de\/~starke\/ina.html"},{"key":"9178_CR19","first-page":"9","volume":"4","author":"T Kam","year":"1998","unstructured":"Kam T, Villa T, Brayton RK, Sangiovanni-Vincentelli AL (1998) Multi-valued decision diagrams: theory and applications. Int J Multiple-Valued Logic 4:9\u201362","journal-title":"Int J Multiple-Valued Logic"},{"key":"9178_CR20","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195079517.001.0001","volume-title":"The origins of order: self-organization and selection in evolution","author":"S Kauffman","year":"1993","unstructured":"Kauffman S (1993) The origins of order: self-organization and selection in evolution. Oxford University Press, New York"},{"key":"9178_CR21","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1186\/1471-2105-7-56","volume":"7","author":"S Klamt","year":"2006","unstructured":"Klamt S, Saez-Rodriguez J, Lindquist JA, Simeoni L, Gilles ED (2006) A methodology for the structural and functional analysis of signaling and regulatory networks. BMC Bioinformatics 7:56","journal-title":"BMC Bioinformatics"},{"key":"9178_CR22","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/s12038-007-0011-6","volume":"32","author":"C Li","year":"2007","unstructured":"Li C, Ge QW, Nakata M, Matsuno H, Miyano S (2007) Modelling and simulation of signal transductions in an apoptosis pathway by using timed Petri nets. J Biosci 32:113\u2013127","journal-title":"J Biosci"},{"key":"9178_CR23","volume-title":"Modelling with generalized stochastic Petri nets","author":"MA Marsan","year":"1994","unstructured":"Marsan MA, Balbo G, Conte G, Donatelli S, Franceschinis G (1994) Modelling with generalized stochastic Petri nets. Wiley, New York"},{"key":"9178_CR24","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/j.biosystems.2005.10.004","volume":"84","author":"L Mendoza","year":"2006","unstructured":"Mendoza L (2006) A network model for the control of the differentiation process in Th cells. Biosystems 84:101\u2013114","journal-title":"Biosystems"},{"issue":"4","key":"9178_CR25","doi-asserted-by":"crossref","first-page":"850","DOI":"10.1016\/j.jtbi.2008.07.019","volume":"254","author":"I Mura","year":"2008","unstructured":"Mura I, Csikasz-Nagy A (2008) Stochastic Petri net extension of a yeast cell cycle model. J Theor Biol 254(4):850\u2013860","journal-title":"J Theor Biol"},{"key":"9178_CR26","first-page":"180","volume":"15","author":"M Nagasaki","year":"2004","unstructured":"Nagasaki M, Doi A, Matsuno H, Miyano S (2004) A versatile Petri net based architecture for modeling and simulation of complex biological processes. Genome Inform 15:180\u2013197","journal-title":"Genome Inform"},{"key":"9178_CR27","first-page":"233","volume":"4695","author":"A Naldi","year":"2007","unstructured":"Naldi A, Thieffry D, Chaouiya C (2007) Decision diagrams for the representation of logical models of regulatory networks. Lect Notes Bioinform 4695:233\u2013247","journal-title":"Lect Notes Bioinform"},{"issue":"2","key":"9178_CR28","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1016\/j.biosystems.2009.04.008","volume":"97","author":"A Naldi","year":"2009","unstructured":"Naldi A, Berenguier D, Faur\u00e9 A, Lopez F, Thieffry D, Chaouiya C (2009a) Logical modelling of regulatory networks with GINsim 2.3. Biosystems 97(2):134\u2013139","journal-title":"Biosystems"},{"key":"9178_CR29","first-page":"266","volume":"5688","author":"A Naldi","year":"2009","unstructured":"Naldi A, Remy E, Thieffry D, Chaouiya C (2009b) A reduction method for logical regulatory graphs preserving essential dynamical properties. Lect Notes Bioinform 5688:266\u2013280","journal-title":"Lect Notes Bioinform"},{"key":"9178_CR30","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/3-540-34774-7_34","volume":"341","author":"E Remy","year":"2006","unstructured":"Remy E, Ruet P, Thieffry D (2006a) Positive or negative regulatory circuit inference from multilevel dynamics. Lect Notes Control Inf Sci 341:263\u2013270","journal-title":"Lect Notes Control Inf Sci"},{"key":"9178_CR31","first-page":"55","volume":"4230","author":"E Remy","year":"2006","unstructured":"Remy E, Ruet P, Mendoza L, Thieffry D, Chaouiya C (2006b) From logical regulatory graphs to standard Petri nets: dynamical roles and functionality of feedback circuits. Lect Notes Comput Sci 4230:55\u201372","journal-title":"Lect Notes Comput Sci"},{"issue":"18","key":"9178_CR32","doi-asserted-by":"crossref","first-page":"2403","DOI":"10.1016\/j.dam.2007.04.019","volume":"155","author":"A Richard","year":"2007","unstructured":"Richard A, Comet J-P (2007) Necessary conditions for multistationarity in discrete dynamical systems. Discret Appl Math 155(18):2403\u20132413","journal-title":"Discret Appl Math"},{"key":"9178_CR33","doi-asserted-by":"crossref","first-page":"482","DOI":"10.1186\/1471-2105-7-482","volume":"7","author":"A Sackmann","year":"2006","unstructured":"Sackmann A, Heiner M, Koch I (2006) Application of Petri net based analysis techniques to signal transduction pathways. BMC Bioinformatics 7:482","journal-title":"BMC Bioinformatics"},{"issue":"8","key":"9178_CR34","doi-asserted-by":"crossref","first-page":"1059","DOI":"10.1387\/ijdb.072439ls","volume":"52","author":"L S\u00e1nchez","year":"2008","unstructured":"S\u00e1nchez L, Chaouiya C, Thieffry D (2008) Segmenting the fly embryo: a logical analysis of the segment polarity cross-regulatory module. Int J Dev Biol 52(8):1059\u20131075","journal-title":"Int J Dev Biol"},{"key":"9178_CR35","doi-asserted-by":"crossref","first-page":"S9","DOI":"10.1186\/1471-2105-8-S6-S9","volume":"8","author":"T Schlitt","year":"2007","unstructured":"Schlitt T, Brazma A (2007) Current approaches to gene regulatory network modelling. BMC Bioinformatics 8:S9","journal-title":"BMC Bioinformatics"},{"key":"9178_CR36","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/11885191_12","volume":"4210","author":"H Siebert","year":"2006","unstructured":"Siebert H, Bockmayr A (2006) Incorporating time delays into the logical analysis of gene regulatory networks. Lect Notes Comput Sci 4210:169\u2013183","journal-title":"Lect Notes Comput Sci"},{"key":"9178_CR37","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1007\/978-3-540-75140-3_5","volume":"4695","author":"H Siebert","year":"2007","unstructured":"Siebert H, Bockmayr A (2007) Context sensitivity in logical modeling with time delays. Lect Notes Comput Sci 4695:64\u201379","journal-title":"Lect Notes Comput Sci"},{"key":"9178_CR38","doi-asserted-by":"crossref","first-page":"ii190","DOI":"10.1093\/bioinformatics\/bti1130","volume":"21","author":"E Sim\u00e3o","year":"2005","unstructured":"Sim\u00e3o E, Remy E, Thieffry D, Chaouiya C (2005) Qualitative modelling of regulated metabolic pathways: application to the tryptophan biosynthesis in E. coli. Bioinformatics 21:ii190\u2013ii196","journal-title":"Bioinformatics"},{"key":"9178_CR39","first-page":"13","volume":"329","author":"C Soul\u00e9","year":"2006","unstructured":"Soul\u00e9 C (2006) Mathematical approaches to gene regulation and differentiation. CR Acad Sci Paris (Biol) 329:13\u201320","journal-title":"CR Acad Sci Paris (Biol)"},{"key":"9178_CR40","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1002\/bit.1171","volume":"75","author":"R Srivastava","year":"2001","unstructured":"Srivastava R, Peterson MS, Bentley WE (2001) Stochastic kinetic analysis of the Escherichia coli stress circuit using \u03c332-targeted antisense. Biotechnol Bioeng 75:120\u2013129","journal-title":"Biotechnol Bioeng"},{"key":"9178_CR41","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1093\/bioinformatics\/btl596","volume":"23","author":"LJ Steggles","year":"2007","unstructured":"Steggles LJ, Banks R, Shaw O, Wipat A (2007) Qualitatively modelling and analysing genetic regulatory networks: a Petri net approach. Bioinformatics 23:336\u2013343","journal-title":"Bioinformatics"},{"key":"9178_CR42","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1093\/bib\/bbm028","volume":"8","author":"D Thieffry","year":"2007","unstructured":"Thieffry D (2007) Dynamical roles of biological regulatory circuits. Brief Bioinform 8:220\u2013225","journal-title":"Brief Bioinform"},{"issue":"1","key":"9178_CR43","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0022-5193(05)80350-9","volume":"153","author":"R Thomas","year":"1991","unstructured":"Thomas R (1991) Regulatory networks seen as asynchronous automata: a logical description. J Theor Biol 153(1):1\u201323","journal-title":"J Theor Biol"},{"key":"9178_CR44","volume-title":"Biological feedback","author":"R Thomas","year":"1990","unstructured":"Thomas R, D\u2019Ari R (1990) Biological feedback. CRC Press, Boca Raton"},{"issue":"2","key":"9178_CR45","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/BF02460618","volume":"57","author":"R Thomas","year":"1995","unstructured":"Thomas R, Thieffry D, Kaufman M (1995) Dynamical behaviour of biological regulatory networks\u2014I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state. Bull Math Biol 57(2):247\u2013276","journal-title":"Bull Math Biol"}],"container-title":["Natural Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-010-9178-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11047-010-9178-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-010-9178-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,18]],"date-time":"2025-02-18T18:43:06Z","timestamp":1739904186000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11047-010-9178-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,2,21]]},"references-count":45,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,6]]}},"alternative-id":["9178"],"URL":"https:\/\/doi.org\/10.1007\/s11047-010-9178-0","relation":{},"ISSN":["1567-7818","1572-9796"],"issn-type":[{"type":"print","value":"1567-7818"},{"type":"electronic","value":"1572-9796"}],"subject":[],"published":{"date-parts":[[2010,2,21]]}}}