{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:18:54Z","timestamp":1725567534842},"publisher-location":"London","reference-count":49,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781849964739"},{"type":"electronic","value":"9781849964746"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-1-84996-474-6_12","type":"book-chapter","created":{"date-parts":[[2010,10,21]],"date-time":"2010-10-21T03:58:41Z","timestamp":1287633521000},"page":"253-279","source":"Crossref","is-referenced-by-count":5,"title":["A Modular, Qualitative Modeling of Regulatory Networks Using Petri Nets"],"prefix":"10.1007","author":[{"given":"Claudine","family":"Chaouiya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hanna","family":"Klaudel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franck","family":"Pommereau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"12_CR2","doi-asserted-by":"publisher","first-page":"704","DOI":"10.1039\/b901484e","volume":"7","author":"C. Agapakis","year":"2009","unstructured":"Agapakis, C., Silver, P.: Synthetic biology: exploring and exploiting genetic modularity through the design of novel biological networks. Mol. Biosyst. 7(5), 704\u2013713 (2009)","journal-title":"Mol. Biosyst."},{"issue":"1","key":"12_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0022-5193(03)00035-3","volume":"223","author":"R. Albert","year":"2003","unstructured":"Albert, R., Othmer, H.G.: The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in drosophila melanogaster. J. Theor. Biol. 223(1), 1\u201318 (2003)","journal-title":"J. Theor. Biol."},{"issue":"7037","key":"12_CR28","doi-asserted-by":"publisher","first-page":"1130","DOI":"10.1038\/nature03461","volume":"434","author":"S. Basu","year":"2005","unstructured":"Basu, S., Gerchman, Y., Collins, C.H., Arnold, F.H., Weiss, R.: A synthetic multicellular system for programmed pattern formation. Nature 434(7037), 1130\u20131134 (2005)","journal-title":"Nature"},{"key":"12_CR29","unstructured":"Bause, F., Kemper, P., Kritzinger, P.: Abstract Petri net notation. Forschungsbericht 563, Fachbereichs Informatik, Universit\u00e4t Dortmund (Germany) (1994). Also in: Petri Net Newsletter 49, 9\u201327 (1995)"},{"issue":"8","key":"12_CR52","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Trans. Comput. 35(8), 677\u2013691 (1986)","journal-title":"IEEE Trans. Comput."},{"key":"12_CR64","first-page":"119","volume":"294","author":"C. Chaouiya","year":"2003","unstructured":"Chaouiya, C., Remy, E., Moss\u00e9, B., Thieffry, D.: Qualitative analysis of regulatory graphs: a\u00a0computational tool based on a discrete formal framework. LNCIS 294, 119\u2013126 (2003)","journal-title":"LNCIS"},{"key":"12_CR65","first-page":"137","volume-title":"LNCS","author":"C. Chaouiya","year":"2004","unstructured":"Chaouiya, C., Remy, E., Ruet, P., Thieffry, D.: Qualitative modelling of genetic networks: from logical regulatory graphs to standard Petri nets. In: LNCS, vol. 3099, pp. 137\u2013156. Springer, Berlin (2004)"},{"key":"12_CR66","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/11880646_5","volume-title":"Trans. Comp. Syst. Biol. VI","author":"C. Chaouiya","year":"2006","unstructured":"Chaouiya, C., Remy, E., Thieffry, D.: Qualitative Petri net modelling of genetic networks. In: Trans. Comp. Syst. Biol. VI. LNCS, vol. 4220, pp. 95\u2013112. Springer, Berlin (2006)"},{"issue":"2","key":"12_CR67","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/j.jda.2007.06.003","volume":"6","author":"C. Chaouiya","year":"2008","unstructured":"Chaouiya, C., Remy, E., Thieffry, D.: Petri net modelling of biological regulatory networks. J. Discret. Algorithms 6(2), 165\u2013177 (2008)","journal-title":"J. Discret. Algorithms"},{"key":"12_CR68","doi-asserted-by":"publisher","unstructured":"Chaouiya, C., Naldi, A., Remy, E., Thieffry, D.: Petri net representation of multi-valued logical regulatory networks. Nat. Comput. (2010). doi:\n                    10.1007\/s1104-010-9178-0","DOI":"10.1007\/s1104-010-9178-0"},{"issue":"3","key":"12_CR69","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1016\/j.jtbi.2005.01.023","volume":"235","author":"M. Chaves","year":"2005","unstructured":"Chaves, M., Albert, R., Sontag, E.D.: Robustness and fragility of boolean models for genetic regulatory networks. J. Theor. Biol. 235(3), 431\u2013449 (2005)","journal-title":"J. Theor. Biol."},{"key":"12_CR81","first-page":"208","volume-title":"LNCS","author":"J.-P. Comet","year":"2005","unstructured":"Comet, J.-P., Klaudel, H., Liauzu, S.: Modeling multi-valued genetic regulatory networks using high-level Petri nets. In: LNCS, vol. 3536, pp. 208\u2013227. Springer, Berlin (2005)"},{"issue":"3","key":"12_CR87","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1002\/jez.10144","volume":"294","author":"G. Dassow von","year":"2002","unstructured":"von Dassow, G., Odell, G.M.: Design and constraints of the drosophila segment polarity module: robust spatial patterning emerges from intertwined cell state switches. J. Exp. Zool. 294(3), 179\u2013215 (2002)","journal-title":"J. Exp. Zool."},{"issue":"3","key":"12_CR100","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1101\/gad.1507207","volume":"21","author":"D.A. Drubin","year":"2007","unstructured":"Drubin, D.A., Way, J.C., Silver, P.A.: Designing biological systems. Genes Dev. 21(3), 242\u2013254 (2007)","journal-title":"Genes Dev."},{"key":"12_CR101","unstructured":"DSSZ-MC: Tools for the symbolic analysis of bounded Petri nets. \n                    http:\/\/www-dssz.informatik.tu-cottbus.de\/index.html?\/software\/mc.html"},{"issue":"6767","key":"12_CR109","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1038\/35002125","volume":"403","author":"M.B. Elowitz","year":"2000","unstructured":"Elowitz, M.B., Leibler, S.: A synthetic oscillatory network of transcriptional regulators. Nature 403(6767), 335\u2013338 (2000)","journal-title":"Nature"},{"issue":"14","key":"12_CR115","doi-asserted-by":"publisher","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.: Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle. Bioinformatics 22(14), 124\u2013131 (2006)","journal-title":"Bioinformatics"},{"key":"12_CR116","doi-asserted-by":"publisher","first-page":"1787","DOI":"10.1039\/b910101m","volume":"5","author":"A. Faur\u00e9","year":"2009","unstructured":"Faur\u00e9, A., Naldi, A., Chaouiya, C., Ciliberto, A., Thieffry, D.: Modular logical modelling of the budding yeast cell cycle. Mol. Biosyst. 5, 1787\u20131796 (2009)","journal-title":"Mol. Biosyst."},{"key":"12_CR128","volume-title":"Developmental Biology","author":"S.F. Gilbert","year":"2006","unstructured":"Gilbert, S.F.: Developmental Biology, 8th edn. Sinauer, Sunderland (2006)","edition":"8"},{"key":"12_CR132","unstructured":"GINsim: Gene Interaction Network simulation, \n                    http:\/\/gin.univ-mrs.fr\/GINsim"},{"key":"12_CR166","unstructured":"INA: Integrated Net Analyzer, \n                    http:\/\/www2.informatik.hu-berlin.de\/~starke\/ina.html"},{"issue":"6","key":"12_CR168","doi-asserted-by":"publisher","first-page":"e123","DOI":"10.1371\/journal.pbio.0020123","volume":"2","author":"N.T. Ingolia","year":"2004","unstructured":"Ingolia, N.T.: Topology and robustness in the drosophila segment polarity network. PLoS Biol. 2(6), e123 (2004)","journal-title":"PLoS Biol."},{"key":"12_CR175","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1089\/10665270252833208","volume":"9","author":"H. Jong de","year":"2002","unstructured":"de Jong, H.: Modeling and simulation of genetic regulatory systems: a literature review. J.\u00a0Computat. Biol. 9, 67\u2013103 (2002)","journal-title":"J.\u00a0Computat. Biol."},{"key":"12_CR179","first-page":"9","volume":"4","author":"T. Kam","year":"1998","unstructured":"Kam, T., Villa, T., Brayton, R.K., Sangiovanni-Vincentelli, A.L.: Multi-valued decision diagrams: theory and applications. Int. J. Multiple-Valued Logic 4, 9\u201362 (1998)","journal-title":"Int. J. Multiple-Valued Logic"},{"key":"12_CR185","doi-asserted-by":"publisher","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 genetics nets. J.\u00a0Theor. Biol. 22, 437\u2013467 (1969)","journal-title":"J.\u00a0Theor. Biol."},{"key":"12_CR202","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1007\/s00236-008-0077-0","volume":"45","author":"H. Klaudel","year":"2008","unstructured":"Klaudel, H., Pommereau, F.: M-nets: a survey. Acta Inform. 45, 537\u2013564 (2008)","journal-title":"Acta Inform."},{"issue":"2","key":"12_CR258","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/j.biosystems.2005.10.004","volume":"84","author":"L. Mendoza","year":"2006","unstructured":"Mendoza, L.: A network model for the control of the differentiation process in Th cells. Biosystems 84(2), 101\u2013114 (2006)","journal-title":"Biosystems"},{"issue":"5","key":"12_CR265","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1093\/bioinformatics\/btp029","volume":"25","author":"S. Mirschel","year":"2009","unstructured":"Mirschel, S., Steinmetz, K., Rempel, M., Ginkel, M., Gilles, E.D.: ProMoT: ModularModeling for Systems Biology. Bioinformatics 25(5), 687\u2013689 (2009)","journal-title":"Bioinformatics"},{"key":"12_CR282","first-page":"233","volume-title":"LNBI","author":"A. Naldi","year":"2007","unstructured":"Naldi, A., Thieffry, D., Chaouiya, C.: Decision diagrams for the representation of logical models of regulatory networks. In: LNBI, vol. 4695, pp. 233\u2013247. Springer, Berlin (2007)"},{"issue":"2","key":"12_CR283","doi-asserted-by":"publisher","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.: Logical modelling of regulatory networks with GINsim 2.3. Biosystems 97(2), 134\u2013139 (2009)","journal-title":"Biosystems"},{"key":"12_CR284","first-page":"266","volume-title":"LNBI","author":"A. Naldi","year":"2009","unstructured":"Naldi, A., Remy, E., Thieffry, D., Chaouiya, C.: A reduction of logical regulatory graphs preserving essential dynamical properties. In: LNBI, vol. 5688, pp. 266\u2013280. Springer, Berlin (2009)"},{"key":"12_CR306","unstructured":"PNML.org: The reference site for the Petri Net Markup Language. \n                    http:\/\/www.pnml.org\/"},{"key":"12_CR307","doi-asserted-by":"crossref","unstructured":"Pommereau, F.: Quickly prototyping Petri nets tools with SNAKES. ACM Digital Library, pp. 1\u201310, ACM (2008)","DOI":"10.4108\/ICST.SIMUTOOLS2008.3007"},{"key":"12_CR313","unstructured":"Python Software Foundation: Python programming language. \n                    http:\/\/www.python.org"},{"issue":"8","key":"12_CR330","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.0030163","volume":"3","author":"J. Saez-Rodriguez","year":"2007","unstructured":"Saez-Rodriguez, J., Simeoni, L., Lindquist, J.A., Hemenway, R., Bommhardt, U., Arndt, B., Haus, U.U., Weismantel, R., Gilles, E.D., Klamt, S., Schraven, B.: A logical model provides insights into T cell receptor signaling. PLoS Comput. Biol. 3(8), e163 (2007)","journal-title":"PLoS Comput. Biol."},{"issue":"2","key":"12_CR333","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1006\/jtbi.2001.2335","volume":"211","author":"L. S\u00e1nchez","year":"2001","unstructured":"S\u00e1nchez, L., Thieffry, D.: A logical analysis of the Drosophila gap-gene system. J. Theor. Biol. 211(2), 115\u2013141 (2001)","journal-title":"J. Theor. Biol."},{"issue":"4","key":"12_CR334","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1016\/S0022-5193(03)00201-7","volume":"224","author":"L. S\u00e1nchez","year":"2003","unstructured":"S\u00e1nchez, L., Thieffry, D.: Segmenting the fly embryo: a logical analysis of the pair-rule cross-regulatory module. J. Theor. Biol. 224(4), 517\u2013537 (2003)","journal-title":"J. Theor. Biol."},{"issue":"8","key":"12_CR335","doi-asserted-by":"publisher","first-page":"1059","DOI":"10.1387\/ijdb.072439ls","volume":"52","author":"L. S\u00e1nchez","year":"2008","unstructured":"S\u00e1nchez, L., Chaouiya, C., Thieffry, D.: Segmenting the fly embryo: a logical analysis of the segment polarity cross-regulatory module. Int. J. Dev. Biol. 52(8), 1059\u20131075 (2008)","journal-title":"Int. J. Dev. Biol."},{"issue":"Suppl. 6","key":"12_CR343","doi-asserted-by":"publisher","first-page":"S9","DOI":"10.1186\/1471-2105-8-S6-S9","volume":"8","author":"T. Schlitt","year":"2007","unstructured":"Schlitt, T., Brazma, A.: Current approaches to gene regulatory network modelling. BMC Bioinform. 8(Suppl. 6), S9 (2007)","journal-title":"BMC Bioinform."},{"key":"12_CR357","doi-asserted-by":"crossref","unstructured":"Shaffer, C.A., Randhawa, R., Tyson, J.J.: The role of composition and aggregation in modeling macromolecular regulatory networks. In: Proc. of the Winter Simulation Conf., pp. 1628\u20131636 (2006)","DOI":"10.1109\/WSC.2006.322937"},{"issue":"2","key":"12_CR362","doi-asserted-by":"publisher","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.: Qualitative modelling of regulated metabolic pathways: application to the tryptophan biosynthesis in E. Coli. Bioinformatics 21(2), ii190\u2013ii196 (2005)","journal-title":"Bioinformatics"},{"issue":"3","key":"12_CR374","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1093\/bioinformatics\/btl596","volume":"23","author":"L.J. Steggles","year":"2007","unstructured":"Steggles, L.J., Banks, R., Shaw, O., Wipat, A.: Qualitatively modelling and analysing genetic regulatory networks: a Petri net approach. Bioinformatics 23(3), 336\u2013343 (2007)","journal-title":"Bioinformatics"},{"issue":"8","key":"12_CR377","doi-asserted-by":"publisher","first-page":"939","DOI":"10.1109\/43.856979","volume":"19","author":"K. Strehl","year":"2000","unstructured":"Strehl, K., Thiele, L.: Interval diagrams for efficient symbolic verification of process networks. IEEE Trans.-Comput., Aided Des. Integr. Circuits Syst. 19(8), 939\u2013956 (2000)","journal-title":"IEEE Trans.-Comput., Aided Des. Integr. Circuits Syst."},{"key":"12_CR389","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1016\/0022-5193(73)90247-6","volume":"42","author":"R. Thomas","year":"1973","unstructured":"Thomas, R.: Boolean formalisation of genetic control circuits. J. Theor. Biol. 42, 565\u2013583 (1973)","journal-title":"J. Theor. Biol."},{"key":"12_CR390","volume-title":"Biological Feedback","author":"R. Thomas","year":"1990","unstructured":"Thomas, R., D\u2019Ari, R.: Biological Feedback. CRC Press, Boca Raton (1990)"},{"key":"12_CR391","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.\u00a0Theor. Biol. 153, 1\u201323 (1991)","journal-title":"J.\u00a0Theor. Biol."},{"key":"12_CR392","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.: Dynamical behaviour of biological regulatory networks, I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state. Bull. Math. Biol. 57, 247\u2013276 (1995)","journal-title":"Bull. Math. Biol."},{"key":"12_CR393","unstructured":"TINA: TIme petri Net Analyzer, \n                    http:\/\/www.laas.fr\/tina\/"},{"key":"12_CR417","volume-title":"Principles of Development","author":"L. Wolpert","year":"2006","unstructured":"Wolpert, L., Beddington, R., Brockes, J., Jessell, T., Lawrence, P., Meyerowitz, E.: Principles of Development, 3rd edn. Oxford University Press, London (2006)","edition":"3"}],"container-title":["Computational Biology","Modeling in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-84996-474-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T15:15:57Z","timestamp":1553181357000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-84996-474-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9781849964739","9781849964746"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/978-1-84996-474-6_12","relation":{},"ISSN":["1568-2684"],"issn-type":[{"type":"print","value":"1568-2684"}],"subject":[],"published":{"date-parts":[[2011]]}}}