{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:47:27Z","timestamp":1725864447925},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319451763"},{"type":"electronic","value":"9783319451770"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-45177-0_16","type":"book-chapter","created":{"date-parts":[[2016,9,3]],"date-time":"2016-09-03T05:42:38Z","timestamp":1472881358000},"page":"252-272","source":"Crossref","is-referenced-by-count":9,"title":["Goal-Oriented Reduction of Automata Networks"],"prefix":"10.1007","author":[{"given":"Lo\u00efc","family":"Paulev\u00e9","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,4]]},"reference":[{"key":"16_CR1","first-page":"86","volume":"2","author":"W Abou-Jaoud\u00e9","year":"2015","unstructured":"Abou-Jaoud\u00e9, W., Monteiro, P.T., Naldi, A., Grandclaudon, M., Soumelis, V., Chaouiya, C., Thieffry, D.: Model checking to assess T-helper cell plasticity. Front. Bioeng. Biotechnol. 2, 86 (2015)","journal-title":"Front. Bioeng. Biotechnol."},{"issue":"1","key":"16_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.biosystems.2009.03.006","volume":"97","author":"J Aracena","year":"2009","unstructured":"Aracena, J., Goles, E., Moreira, A., Salinas, L.: On the robustness of update schedules in Boolean networks. Biosystems 97(1), 1\u20138 (2009)","journal-title":"Biosystems"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1007\/3-540-55610-9_177","volume-title":"Advances in Petri Nets 1992","author":"L Bernardinello","year":"1992","unstructured":"Bernardinello, L., De Cindio, F.: A survey of basic net models and modular net classes. In: Rozenberg, G. (ed.) Advances in Petri Nets 1992. LNCS, vol. 609, pp. 304\u2013351. Springer, Heidelberg (1992)"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BFb0016204","volume-title":"Advances in Petri Nets 1985","author":"G Berthelot","year":"1986","unstructured":"Berthelot, G.: Checking properties of nets using transformations. In: Rozenberg, G. (ed.) Advances in Petri Nets 1985. LNCS, vol. 222, pp. 19\u201340. Springer, Heidelberg (1986)"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1007\/3-540-48683-6_8","volume-title":"Computer Aided Verification","author":"A Biere","year":"1999","unstructured":"Biere, A., Clarke, E., Raimi, R., Zhu, Y.: Verifying safety properties of a PowerPC $$^{\\rm TM}$$ microprocessor using symbolic model checking without BDDs. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol. 1633, pp. 60\u201371. Springer, Heidelberg (1999)"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/978-3-319-12982-2_10","volume-title":"Computational Methods in Systems Biology","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.O., Smallbone, K. (eds.) CMSB 2014. LNCS, vol. 8859, pp. 129\u2013142. Springer, Heidelberg (2014)"},{"issue":"1&2","key":"16_CR7","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0304-3975(94)00231-7","volume":"147","author":"A Cheng","year":"1995","unstructured":"Cheng, A., Esparza, J., Palsberg, J.: Complexity results for 1-safe nets. Theoret. Comput. Sci. 147(1&2), 117\u2013136 (1995)","journal-title":"Theoret. Comput. Sci."},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","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: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 359\u2013364. Springer, Heidelberg (2002)"},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","first-page":"52","volume-title":"Logic of Programs","author":"EM Clarke","year":"1981","unstructured":"Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching-time temporal logic. In: Kozen, D. (ed.) Logic of Programs. LNCS, vol. 131, pp. 52\u201371. Springer, Heidelberg (1981)"},{"issue":"11","key":"16_CR10","doi-asserted-by":"crossref","first-page":"e1004571","DOI":"10.1371\/journal.pcbi.1004571","volume":"11","author":"DPA Cohen","year":"2015","unstructured":"Cohen, D.P.A., Martignetti, L., Robine, S., Barillot, E., Zinovyev, A., Calzone, L.: Mathematical modelling of molecular pathways enabling tumour cell invasion and migration. PLoS Comput. Biol. 11(11), e1004571 (2015)","journal-title":"PLoS Comput. Biol."},{"key":"16_CR11","unstructured":"I. Curie\/Sysbio. RB\/E2F pathway. http:\/\/bioinfo-out.curie.fr\/projects\/rbpathway\/"},{"key":"16_CR12","unstructured":"Danos, V., Feret, J., Fontana, W., Harmer, R., Hayman, J., Krivine, J., Thompson-Walsh, C.D., Winskel, G.: Graphs, rewriting and pathway reconstruction for rule-based models. In: D\u2019Souza, D., Kavitha, T., Radhakrishnan, J. (eds.) IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012. LIPIcs, vol. 18, pp. 276\u2013288. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2012)"},{"key":"16_CR13","series-title":"Monographs in Theoretical Computer Science. An EATCS Series","volume-title":"Unfoldings: A Partial-Order Approach to Model Checking","author":"J Esparza","year":"2008","unstructured":"Esparza, J., Heljanko, K.: Unfoldings: A Partial-Order Approach to Model Checking. Monographs in Theoretical Computer Science. An EATCS Series, 1st edn. Springer Publishing Company, Incorporated, New York (2008)","edition":"1"},{"issue":"4","key":"16_CR14","first-page":"527","volume":"7","author":"J Feret","year":"2013","unstructured":"Feret, J., Koeppl, H., Petrov, T.: Stochastic fragments: a framework for the exact reduction of the stochastic semantics of rule-based models. Int. J. Softw. Inf. 7(4), 527\u2013604 (2013)","journal-title":"Int. J. Softw. Inf."},{"issue":"10","key":"16_CR15","doi-asserted-by":"crossref","first-page":"e1003286","DOI":"10.1371\/journal.pcbi.1003286","volume":"9","author":"L Grieco","year":"2013","unstructured":"Grieco, L., Calzone, L., Bernard-Pierrot, I., Radvanyi, F., Kahn-Perl\u00e8s, B., Thieffry, D.: Integrative modelling of the influence of MAPK network on cancer cell fate decision. PLoS Comput. Biol. 9(10), e1003286 (2013)","journal-title":"PLoS Comput. Biol."},{"key":"16_CR16","unstructured":"C. group: Logicalmodel. https:\/\/github.com\/colomoto\/logicalmodel"},{"issue":"1","key":"16_CR17","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1142\/S0129626406002502","volume":"16","author":"S Haddad","year":"2006","unstructured":"Haddad, S., Pradat-Peyre, J.-F.: New efficient Petri nets reductions for parallel programs verification. Parallel Process. Lett. 16(1), 101\u2013116 (2006)","journal-title":"Parallel Process. Lett."},{"issue":"3\u20134","key":"16_CR18","doi-asserted-by":"crossref","first-page":"413","DOI":"10.3233\/FI-2009-137","volume":"94","author":"A Hamez","year":"2009","unstructured":"Hamez, A., Thierry-Mieg, Y., Kordon, F.: Building efficient model checkers using hierarchical set decision diagrams and automatic saturation. Fundam. Inf. 94(3\u20134), 413\u2013437 (2009)","journal-title":"Fundam. Inf."},{"key":"16_CR19","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/s00236-015-0244-z","volume":"53","author":"R Janicki","year":"2015","unstructured":"Janicki, R., Kleijn, J., Koutny, M., Mikulski, \u0141.: Step traces. Acta Informatica 53, 35\u201365 (2015)","journal-title":"Acta Informatica"},{"key":"16_CR20","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0304-3975(86)90177-5","volume":"43","author":"R Janicki","year":"1986","unstructured":"Janicki, R., Lauer, P.E., Koutny, M., Devillers, R.: Concurrent and maximally concurrent evolution of nonsequential systems. Theoret. Comput. Sci. 43, 213\u2013238 (1986)","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"16_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, J., Simeoni, L., Gilles, E.: A methodology for the structural and functional analysis of signaling and regulatory networks. BMC Bioinform. 7(1), 56 (2006)","journal-title":"BMC Bioinform."},{"key":"16_CR22","volume-title":"Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach","author":"RP Kurshan","year":"1994","unstructured":"Kurshan, R.P.: Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach. Princeton University Press, Princeton (1994)"},{"key":"16_CR23","unstructured":"LIP6\/Move: Its tools. http:\/\/ddd.lip.6.fr\/itstools.php"},{"issue":"1","key":"16_CR24","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1007\/BF01384313","volume":"6","author":"C Loiseaux","year":"1995","unstructured":"Loiseaux, C., Graf, S., Sifakis, J., Bouajjani, A., Bensalem, S., Probst, D.: Property preserving abstractions for the verification of concurrent systems. Formal Methods Syst. Des. 6(1), 11\u201344 (1995)","journal-title":"Formal Methods Syst. Des."},{"key":"16_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/978-3-319-10398-3_7","volume-title":"Formal Methods in Macro-Biology","author":"G Madelaine","year":"2014","unstructured":"Madelaine, G., Lhoussaine, C., Niehren, J.: Attractor equivalence: an observational semantics for reaction networks. In: Fages, F., Piazza, C. (eds.) FMMB 2014. LNCS, vol. 8738, pp. 82\u2013101. Springer, Heidelberg (2014)"},{"issue":"21","key":"16_CR26","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. Theoret. Comput. Sci. 412(21), 2207\u20132218 (2011)","journal-title":"Theoret. Comput. Sci."},{"key":"16_CR27","unstructured":"Paulev\u00e9, L.: PINT - Static analyzer for dynamics of automata networks. http:\/\/loicpauleve.name\/pint"},{"key":"16_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/978-3-642-39799-8_4","volume-title":"Computer Aided Verification","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. (eds.) CAV 2013. LNCS, vol. 8044, pp. 69\u201384. Springer, Heidelberg (2013)"},{"issue":"04","key":"16_CR29","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. 22(04), 651\u2013685 (2012)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"1\u20132","key":"16_CR30","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/S0304-3975(97)00169-2","volume":"206","author":"L Priese","year":"1998","unstructured":"Priese, L., Wimmel, H.: A uniform approach to true-concurrency and interleaving semantics for Petri nets. Theoret. Comput. Sci. 206(1\u20132), 219\u2013256 (1998)","journal-title":"Theoret. Comput. Sci."},{"issue":"8","key":"16_CR31","doi-asserted-by":"crossref","first-page":"e163","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":"1","key":"16_CR32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1186\/1752-0509-3-1","volume":"3","author":"O Sahin","year":"2009","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 Syst. Biol. 3(1), 1\u201320 (2009)","journal-title":"BMC Syst. Biol."},{"issue":"8","key":"16_CR33","doi-asserted-by":"crossref","first-page":"e1000438","DOI":"10.1371\/journal.pcbi.1000438","volume":"5","author":"R Samaga","year":"2009","unstructured":"Samaga, R., Saez-Rodriguez, J., Alexopoulos, L.G., Sorger, P.K., Klamt, S.: The logic of EGFR\/ERBB signaling: theoretical properties and analysis of high-throughput data. PLoS Comput. Biol. 5(8), e1000438 (2009)","journal-title":"PLoS Comput. Biol."},{"key":"16_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1007\/3-540-44988-4_23","volume-title":"Application and Theory of Petri Nets 2000","author":"P Schnoebelen","year":"2000","unstructured":"Schnoebelen, P., Sidorova, N.: Bisimulation and the reduction of Petri nets. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol. 1825, pp. 409\u2013423. Springer, Heidelberg (2000)"},{"key":"16_CR35","unstructured":"Schwoon, S.: Mole. http:\/\/www.lsv.ens-cachan.fr\/~schwoon\/tools\/mole\/"},{"key":"16_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"458","DOI":"10.1007\/3-540-12896-4_381","volume-title":"Logics of Programs","author":"J Sifakis","year":"1984","unstructured":"Sifakis, J.: Property preserving homomorphisms of transition systems. In: Clarke, E., Kozen, D. (eds.) Logics of Programs. LNCS, vol. 164, pp. 458\u2013473. Springer, Heidelberg (1984)"},{"key":"16_CR37","series-title":"Lecture Notes in Computer Science (Lecture Notes in Bioinformatics)","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/11880646_10","volume-title":"Transactions on Computational Systems Biology VI","author":"C Talcott","year":"2006","unstructured":"Talcott, C., Dill, D.L.: Multiple representations of biological processes. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol. 4220, pp. 221\u2013245. Springer, Heidelberg (2006)"},{"key":"16_CR38","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. Front. Genet. 4(112) (2013)","DOI":"10.3389\/fgene.2013.00112"}],"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-45177-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,25]],"date-time":"2020-09-25T19:23:47Z","timestamp":1601061827000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45177-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319451763","9783319451770"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45177-0_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}