{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T04:26:25Z","timestamp":1744259185913,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642335570"},{"type":"electronic","value":"9783642335587"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33558-7_57","type":"book-chapter","created":{"date-parts":[[2012,10,3]],"date-time":"2012-10-03T02:32:47Z","timestamp":1349231567000},"page":"798-814","source":"Crossref","is-referenced-by-count":3,"title":["A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets"],"prefix":"10.1007","author":[{"given":"Faten","family":"Nabli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Fages","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thierry","family":"Martinez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sylvain","family":"Soliman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"57_CR1","doi-asserted-by":"crossref","unstructured":"Birtwistle, M.R., Hatakeyama, M., Yumoto, N., Ogunnaike, B.A., Hoek, J.B., Kholodenko, B.N.: Ligand-dependent responses of the ErbB signaling network: experimental and modeling analysis. Molecular Systems Biology\u00a03(144) (September 2007)","DOI":"10.1038\/msb4100188"},{"issue":"1","key":"57_CR2","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.tcs.2004.03.063","volume":"325","author":"N. Chabrier-Rivier","year":"2004","unstructured":"Chabrier-Rivier, N., Chiaverini, M., Danos, V., Fages, F., Sch\u00e4chter, V.: Modeling and querying biochemical interaction networks. Theoretical Computer Science\u00a0325(1), 25\u201344 (2004)","journal-title":"Theoretical Computer Science"},{"issue":"6","key":"57_CR3","doi-asserted-by":"publisher","first-page":"793","DOI":"10.1109\/70.650158","volume":"13","author":"F. Chu","year":"1997","unstructured":"Chu, F., Xie, X.-L.: Deadlock analysis of petri nets using siphons and mathematical programming. IEEE Transactions on Robotics and Automation\u00a013(6), 793\u2013804 (1997)","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"57_CR4","doi-asserted-by":"crossref","unstructured":"Cordone, R., Ferrarini, L., Piroddi, L.: Characterization of minimal and basis siphons with predicate logic and binary programming. In: Proceedings of IEEE International Symposium on Computer-Aided Control System Design, pp. 193\u2013198 (2002)","DOI":"10.1109\/CACSD.2002.1036952"},{"key":"57_CR5","unstructured":"Cordone, R., Ferrarini, L., Piroddi, L.: Some results on the computation of minimal siphons in petri nets. In: Proceedings of the 42nd IEEE Conference on Decision and Control, Maui, Hawaii, USA (December 2003)"},{"issue":"6","key":"57_CR6","doi-asserted-by":"publisher","first-page":"844","DOI":"10.1109\/TSMCA.2005.853504","volume":"35","author":"R. Cordone","year":"2005","unstructured":"Cordone, R., Ferrarini, L., Piroddi, L.: Enumeration algorithms for minimal siphons in petri nets based on place constraints. IEEE Transactions on Systems, Man and Cybernetics. Part A, Systems and Humans\u00a035(6), 844\u2013854 (2005)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics. Part A, Systems and Humans"},{"key":"57_CR7","unstructured":"Crawford, J.M., Auton, L.D.: Experimental results on the crossover point in satisfiability problems. In: Proceedings of the 11th National Conference on Artificial Intelligence, pp. 21\u201327. AAAI Press (1993)"},{"key":"57_CR8","unstructured":"Diaz, D., Codognet, P.: Design and implementation of the GNU Prolog system. Journal of Functional and Logic Programming\u00a06 (October 2001)"},{"issue":"4","key":"57_CR9","first-page":"241","volume":"9","author":"F. Fages","year":"2004","unstructured":"Fages, F., Soliman, S., Coolen, R.: CLPGUI: a generic graphical user interface for constraint logic programming. Journal of Constraints, Special Issue on User-Interaction in Constraint Satisfaction\u00a09(4), 241\u2013262 (2004)","journal-title":"Journal of Constraints, Special Issue on User-Interaction in Constraint Satisfaction"},{"key":"57_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/11767589_24","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"R. Goud","year":"2006","unstructured":"Goud, R., van Hee, K.M., Post, R.D.J., van der Werf, J.M.E.M.: Petriweb: A Repository for Petri Nets. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol.\u00a04024, pp. 411\u2013420. Springer, Heidelberg (2006)"},{"key":"57_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-540-68894-5_7","volume-title":"Formal Methods for Computational Systems Biology","author":"M. Heiner","year":"2008","unstructured":"Heiner, M., Gilbert, D., Donaldson, R.: Petri Nets for Systems and Synthetic Biology. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol.\u00a05016, pp. 215\u2013264. Springer, Heidelberg (2008)"},{"key":"57_CR12","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1042\/bj3570117","volume":"357","author":"S. Helfert","year":"2001","unstructured":"Helfert, S., Estevez, A., Bakker, B., Michels, P., Clayton, C.: Roles of triosephosphate isomerase and aerobic metabolism in trypanosoma brucei. Biochem. J.\u00a0357, 117\u2013125 (2001)","journal-title":"Biochem. J."},{"key":"57_CR13","unstructured":"Kinuyama, M., Murata, T.: Generating siphons and traps by petri net representation of logic equations. In: Proceedings of 2nd Conference of the Net Theory SIG-IECE, pp. 93\u2013100 (1986)"},{"issue":"8","key":"57_CR14","doi-asserted-by":"publisher","first-page":"2703","DOI":"10.1091\/mbc.10.8.2703","volume":"10","author":"K.W. Kohn","year":"1999","unstructured":"Kohn, K.W.: Molecular interaction map of the mammalian cell cycle control and DNA repair systems. Molecular Biology of the Cell\u00a010(8), 2703\u20132734 (1999)","journal-title":"Molecular Biology of the Cell"},{"key":"57_CR15","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/978-3-642-72822-8_21","volume-title":"Concurrency and Nets Advances in Petri Nets","author":"K. Lautenbach","year":"1987","unstructured":"Lautenbach, K.: Linear algebraic calculation of deadlocks and traps. In: Voss, G., Rozenberg (eds.) Concurrency and Nets Advances in Petri Nets, pp. 315\u2013336. Springer, New York (1987)"},{"issue":"34","key":"57_CR16","doi-asserted-by":"crossref","first-page":"D689","DOI":"10.1093\/nar\/gkj092","volume":"1","author":"N. Nov\u00e8re","year":"2006","unstructured":"le Nov\u00e8re, N., Bornstein, B., Broicher, A., Courtot, M., Donizelli, M., Dharuri, H., Li, L., Sauro, H., Schilstra, M., Shapiro, B., Snoep, J.L., Hucka, M.: BioModels Database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems. Nucleic Acid Research\u00a01(34), D689\u2013D691 (2006)","journal-title":"Nucleic Acid Research"},{"key":"57_CR17","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0166-218X(90)90144-2","volume":"29","author":"M. Minoux","year":"1990","unstructured":"Minoux, M., Barkaoui, K.: Deadlocks and traps in petri nets as horn-satisfiability solutions and some related polynomially solvable problems. Discrete Applied Mathematics\u00a029, 195\u2013210 (1990)","journal-title":"Discrete Applied Mathematics"},{"key":"57_CR18","unstructured":"Mitchell, D., Selman, B., Levesque, H.: Hard and easy distributions of SAT problems. In: Proceedings of the 10th National Conference on Artificial Intelligence, pp. 459\u2013465. AAAI Press (1992)"},{"issue":"4","key":"57_CR19","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. Proceedings of the IEEE\u00a077(4), 541\u2013579 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"57_CR20","unstructured":"Nabli, F.: Finding minimal siphons as a CSP. In: CP 2011: The Seventeenth International Conference on Principles and Practice of Constraint Programming, Doctoral Program, pp. 67\u201372 (September 2011)"},{"key":"57_CR21","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J.L. Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall, New Jersey (1981)"},{"key":"57_CR22","unstructured":"Reddy, V.N., Mavrovouniotis, M.L., Liebman, M.N.: Petri net representations in metabolic pathways. In: Hunter, L., Searls, D.B., Shavlik, J.W. (eds.) Proceedings of the 1st International Conference on Intelligent Systems for Molecular Biology (ISMB), pp. 328\u2013336. AAAI Press (1993)"},{"issue":"4","key":"57_CR23","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1038\/nbt0402-370","volume":"20","author":"B. Schoeberl","year":"2002","unstructured":"Schoeberl, B., Eichler-Jonsson, C., Gilles, E., Muller, G.: Computational modeling of the dynamics of the map kinase cascade activated by surface and internalized egf receptors. Nature Biotechnology\u00a020(4), 370\u2013375 (2002)","journal-title":"Nature Biotechnology"},{"key":"57_CR24","unstructured":"Soliman, S.: Finding minimal P\/T-invariants as a CSP. In: Proceedings of the Fourth Workshop on Constraint Based Methods for Bioinformatics, WCB 2008, associated to CPAIOR 2008 (May 2008)"},{"key":"57_CR25","volume-title":"Biochemistry","author":"L. Stryer","year":"1995","unstructured":"Stryer, L.: Biochemistry. Freeman, New York (1995)"},{"key":"57_CR26","unstructured":"Tanimoto, S., Yamauchi, M., Watanabe, T.: Finding minimal siphons in general petri nets. IEICE Trans. on Fundamentals in Electronics, Communications and Computer Science, 1817\u20131824 (1996)"},{"key":"57_CR27","unstructured":"Yamauchi, M., Watanabe, T.: Time complexity analysis of the minimal siphon extraction problem of petri nets. IEICE Trans. on Fundamentals of Electronics, Communications and Computer Sciences, 2558\u20132565 (1999)"},{"key":"57_CR28","unstructured":"Zevedei-Oancea, I., Schuster, S.: Topological analysis of metabolic networks based on petri net theory. Silico Biology\u00a03(29) (2003)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33558-7_57","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T22:14:49Z","timestamp":1744236889000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33558-7_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642335570","9783642335587"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33558-7_57","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}