{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:17:43Z","timestamp":1759637863554},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319129815"},{"type":"electronic","value":"9783319129822"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-12982-2_10","type":"book-chapter","created":{"date-parts":[[2014,10,20]],"date-time":"2014-10-20T02:26:34Z","timestamp":1413771994000},"page":"129-142","source":"Crossref","is-referenced-by-count":25,"title":["Characterization of Reachable Attractors Using Petri Net Unfoldings"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Chatain","sequence":"first","affiliation":[]},{"given":"Stefan","family":"Haar","sequence":"additional","affiliation":[]},{"given":"Lo\u00efg","family":"Jezequel","sequence":"additional","affiliation":[]},{"given":"Lo\u00efc","family":"Paulev\u00e9","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Schwoon","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"10_CR1","doi-asserted-by":"publisher","first-page":"1398","DOI":"10.1007\/s11538-008-9304-7","volume":"70","author":"J. Aracena","year":"2008","unstructured":"Aracena, J.: Maximum number of fixed points in regulatory boolean networks. Bull. Math. Biol.\u00a070(5), 1398\u20131409 (2008)","journal-title":"Bull. Math. Biol."},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.tcs.2012.04.046","volume":"449","author":"P. Baldan","year":"2012","unstructured":"Baldan, P., Bruni, A., Corradini, A., K\u00f6nig, B., Rodr\u00edguez, C., Schwoon, S.: Efficient unfolding of contextual Petri nets. TCS\u00a0449, 2\u201322 (2012)","journal-title":"TCS"},{"issue":"1","key":"10_CR3","doi-asserted-by":"publisher","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\u00a014(1), 361 (2013)","journal-title":"BMC Bioinformatics"},{"key":"10_CR4","unstructured":"Casu, G., Pinna, G.M.: Flow unfolding of safe nets. In: Petri Nets (2014)"},{"issue":"2","key":"10_CR5","doi-asserted-by":"publisher","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. Natural Computing\u00a010(2), 727\u2013750 (2011)","journal-title":"Natural Computing"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1007\/978-3-540-24605-3_37","volume-title":"Theory and Applications of Satisfiability Testing","author":"N. E\u00e9n","year":"2004","unstructured":"E\u00e9n, N., S\u00f6rensson, N.: An extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol.\u00a02919, pp. 502\u2013518. Springer, Heidelberg (2004)"},{"key":"10_CR7","unstructured":"Esparza, J., Heljanko, K.: Unfoldings \u2013 A Partial-Order Approach to Model Checking. Springer (2008)"},{"key":"10_CR8","first-page":"285","volume":"20","author":"J. Esparza","year":"2002","unstructured":"Esparza, J., R\u00f6mer, S., Vogler, W.: An improvement of McMillan\u2019s unfolding algorithm. FMSD\u00a020, 285\u2013310 (2002)","journal-title":"FMSD"},{"issue":"3-4","key":"10_CR9","first-page":"231","volume":"47","author":"J. Esparza","year":"2001","unstructured":"Esparza, J., Schr\u00f6ter, C.: Unfolding based algorithms for the reachability problem. Fund. Inf.\u00a047(3-4), 231\u2013245 (2001)","journal-title":"Fund. Inf."},{"issue":"14","key":"10_CR10","doi-asserted-by":"publisher","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\u00a022(14), 124\u2013131 (2006)","journal-title":"Bioinformatics"},{"issue":"17","key":"10_CR11","doi-asserted-by":"publisher","first-page":"1917","DOI":"10.1093\/bioinformatics\/btn336","volume":"24","author":"A. Garg","year":"2008","unstructured":"Garg, A., Di Cara, A., Xenarios, I., Mendoza, L., De Micheli, G.: Synchronous versus asynchronous modeling of gene regulatory networks. Bioinformatics\u00a024(17), 1917\u20131925 (2008)","journal-title":"Bioinformatics"},{"issue":"1","key":"10_CR12","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1186\/1471-2105-12-295","volume":"12","author":"F. Hinkelmann","year":"2011","unstructured":"Hinkelmann, F., Brandon, M., Guang, B., McNeill, R., Blekherman, G., Veliz-Cuba, A., Laubenbacher, R.: ADAM: Analysis of discrete models of biological systems using computer algebra. BMC Bioinformatics\u00a012(1), 295 (2011)","journal-title":"BMC Bioinformatics"},{"key":"10_CR13","unstructured":"Khomenko, V.: Punf, \n                    \n                      http:\/\/homepages.cs.ncl.ac.uk\/victor.khomenko\/tools\/punf\/"},{"issue":"2","key":"10_CR14","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/s00236-003-0122-y","volume":"40","author":"V. Khomenko","year":"2003","unstructured":"Khomenko, V., Koutny, M., Vogler, W.: Canonical prefixes of Petri net unfoldings. Acta Inf.\u00a040(2), 95\u2013118 (2003)","journal-title":"Acta Inf."},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-642-21834-7_6","volume-title":"Applications and Theory of Petri Nets","author":"V. Khomenko","year":"2011","unstructured":"Khomenko, V., Mokhov, A.: An algorithm for direct construction of complete merged processes. In: Kristensen, L.M., Petrucci, L. (eds.) PETRI NETS 2011. LNCS, vol.\u00a06709, pp. 89\u2013108. Springer, Heidelberg (2011)"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/3-540-56496-9_14","volume-title":"Computer Aided Verification","author":"K.L. McMillan","year":"1993","unstructured":"McMillan, K.L.: Using unfoldings to avoid the state explosion problem inthe verification of asynchronous circuits. In: Probst, D.K., von Bochmann, G. (eds.) CAV 1992. LNCS, vol.\u00a0663, pp. 164\u2013177. Springer, Heidelberg (1993)"},{"key":"10_CR17","unstructured":"Melliti, T., Noual, M., Regnault, D., Sen\u00e9, S., Sobieraj, J.: Full characterization of attractors for two intersected asynchronous boolean automata cycles. CoRR, abs\/1310.5747 (2013)"},{"issue":"4","key":"10_CR18","doi-asserted-by":"publisher","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\u00a077(4), 541\u2013580 (1989)","journal-title":"Proc. of the IEEE"},{"issue":"2","key":"10_CR19","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.: Logical modelling of regulatory networks with GINsim. Biosystems\u00a097(2), 134\u2013139 (2009)","journal-title":"Biosystems"},{"key":"10_CR20","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-540-75140-3_16","volume-title":"Computational Methods in Systems Biology","author":"A. Naldi","year":"2007","unstructured":"Naldi, A., Thieffry, D., Chaouiya, C.: Decision diagrams for the representation and analysis of logical models of genetic networks. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol.\u00a04695, pp. 233\u2013247. Springer, Heidelberg (2007)"},{"key":"10_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-642-19748-2_8","volume-title":"Transactions on Computational Systems Biology XIII","author":"L. Paulev\u00e9","year":"2011","unstructured":"Paulev\u00e9, L., Magnin, M., Roux, O.: Refining dynamics of gene regulatory networks in a stochastic \u03c0-calculus framework. In: Priami, C., Back, R.-J., Petre, I., de Vink, E. (eds.) Transactions on Computational Systems Biology XIII. LNCS, vol.\u00a06575, pp. 171\u2013191. Springer, Heidelberg (2011)"},{"issue":"15-16","key":"10_CR22","first-page":"825","volume":"348","author":"L. Paulev\u00e9","year":"2010","unstructured":"Paulev\u00e9, L., Richard, A.: Topological Fixed Points in Boolean Networks. C. R. Acad. Sci. - Series I - Mathematics\u00a0348(15-16), 825\u2013828 (2010)","journal-title":"C. R. Acad. Sci. - Series I - Mathematics"},{"issue":"15","key":"10_CR23","doi-asserted-by":"publisher","first-page":"3281","DOI":"10.1016\/j.dam.2009.06.017","volume":"157","author":"A. Richard","year":"2009","unstructured":"Richard, A.: Positive circuits and maximal number of fixed points in discrete dynamical systems. Discrete Appl. Math.\u00a0157(15), 3281\u20133288 (2009)","journal-title":"Discrete Appl. Math."},{"issue":"4","key":"10_CR24","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1016\/j.aam.2009.11.011","volume":"44","author":"A. Richard","year":"2010","unstructured":"Richard, A.: Negative circuits and sustained oscillations in asynchronous automata networks. Adv. in Appl. Math.\u00a044(4), 378\u2013392 (2010)","journal-title":"Adv. in Appl. Math."},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"Sahin, O., Frohlich, H., Lobke, C., Korf, U., Burmester, S., Majety, M., Mattern, J., Schupp, I., Chaouiya, C., Thieffry, D., Poustka, A., Wiemann, S., Beissbarth, T., Arlt, D.: Modeling ERBB receptor-regulated G1\/S transition to find novel targets for de novo trastuzumab resistance. BMC Systems Biology\u00a03(1) (2009)","DOI":"10.1186\/1752-0509-3-1"},{"key":"10_CR26","unstructured":"Schwoon, S.: Mole, \n                    \n                      http:\/\/www.lsv.ens-cachan.fr\/~schwoon\/tools\/mole\/"},{"key":"10_CR27","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.\u00a057, 277\u2013297 (1995)","journal-title":"Bull. Math. Biol."},{"key":"10_CR28","doi-asserted-by":"crossref","unstructured":"Weinstein, N., Mendoza, L.: A network model for the specification of vulval precursor cells and cell fusion control in caenorhabditis elegans. Frontiers in Genetics\u00a04(112) (2013)","DOI":"10.3389\/fgene.2013.00112"},{"key":"10_CR29","doi-asserted-by":"crossref","unstructured":"Za\u00f1udo, J.G.T., Albert, R.: An effective network reduction approach to find the dynamical repertoire of discrete dynamic networks. Chaos 23, 025111 (2013)","DOI":"10.1063\/1.4809777"},{"key":"10_CR30","doi-asserted-by":"crossref","unstructured":"Zheng, D., Yang, G., Li, X., Wang, Z., Liu, F., He, L.: An efficient algorithm for computing attractors of synchronous and asynchronous boolean networks. PLoS ONE 8(4), e60593 (2013)","DOI":"10.1371\/journal.pone.0060593"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-12982-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T01:43:14Z","timestamp":1559007794000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-12982-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319129815","9783319129822"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-12982-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}