{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:49:07Z","timestamp":1725536947564},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642038440"},{"type":"electronic","value":"9783642038457"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-03845-7_5","type":"book-chapter","created":{"date-parts":[[2009,8,26]],"date-time":"2009-08-26T06:41:17Z","timestamp":1251268877000},"page":"68-82","source":"Crossref","is-referenced-by-count":5,"title":["Quantitative Pathway Logic for Computational Biology"],"prefix":"10.1007","author":[{"given":"Michele","family":"Baggi","sequence":"first","affiliation":[]},{"given":"Demis","family":"Ballis","sequence":"additional","affiliation":[]},{"given":"Moreno","family":"Falaschi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","first-page":"922","volume-title":"7th IEEE International Conference on Bioinformatics and BioEngineering","author":"A. Abate","year":"2007","unstructured":"Abate, A., Bai, Y., Sznajder, N., Talcott, C., Tiwari, A.: Quantitative and Probabilistic Modeling in Pathway Logic. In: 7th IEEE International Conference on Bioinformatics and BioEngineering, pp. 922\u2013929. IEEE Xplore, Los Alamitos (2007)"},{"issue":"1-2","key":"5_CR2","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1006\/inco.1999.2843","volume":"160","author":"P.A. Abdulla","year":"2000","unstructured":"Abdulla, P.A., \u010cer\u0101ns, K., Jonsson, B., Tsay, Y.: Algorithmic analysis of programs with well quasi-ordered domains. Information and Computation\u00a0160(1-2), 109\u2013127 (2000)","journal-title":"Information and Computation"},{"key":"5_CR3","unstructured":"Baggi, M., Ballis, D., Falaschi, M.: Applications to Systems Biology of Quantitative Pathway Logic. Technical report (2009), http:\/\/users.dimi.uniud.it\/~michele.baggi\/qpl\/BBF09tr.pdf"},{"issue":"2","key":"5_CR4","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. Journal of Discrete Algorithms\u00a06(2), 165\u2013177 (2008)","journal-title":"Journal of Discrete Algorithms"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-44881-0_7","volume-title":"Rewriting Techniques and Applications","author":"M. Clavel","year":"2003","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: The Maude 2.0 System. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol.\u00a02706, pp. 76\u201387. Springer, Heidelberg (2003)"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/3-540-44829-2_16","volume-title":"Model Checking Software","author":"S. Eker","year":"2003","unstructured":"Eker, S., Meseguer, J., Sridharanarayanan, A.: The maude LTL model checker and its implementation. In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS, vol.\u00a02648, pp. 230\u2013234. Springer, Heidelberg (2003)"},{"issue":"Database issue","key":"5_CR7","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1093\/nar\/gkj147","volume":"34","author":"T.A. Eyre","year":"2006","unstructured":"Eyre, T.A., et al.: The HUGO Gene Nomenclature Database, 2006 updates. Nucleic Acids Research\u00a034(Database issue), 319\u2013321 (2006)","journal-title":"Nucleic Acids Research"},{"issue":"15","key":"5_CR8","doi-asserted-by":"publisher","first-page":"1879","DOI":"10.1093\/bioinformatics\/btl195","volume":"22","author":"R. Gauges","year":"2006","unstructured":"Gauges, R., Rost, U., Sahle, S., Wegner, K.: A model diagram layout extension for SBML. Bioinformatics\u00a022(15), 1879\u20131885 (2006)","journal-title":"Bioinformatics"},{"issue":"4","key":"5_CR9","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1007\/s100090100058","volume":"3","author":"H.J. Genrich","year":"2001","unstructured":"Genrich, H.J., K\u00fcffne, R., Voss, K.: Executable Petri net models for the analysis of metabolic pathways. International Journal on Software Tools for Technology Transfer\u00a03(4), 394\u2013404 (2001)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"5_CR10","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-75140-3_14","volume-title":"Computational Methods in Systems Biology","author":"D. Gilbert","year":"2007","unstructured":"Gilbert, D., Heiner, M., Lehrack, S.: A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol.\u00a04695, pp. 200\u2013216. Springer, Heidelberg (2007)"},{"issue":"18","key":"5_CR11","doi-asserted-by":"publisher","first-page":"1367","DOI":"10.1093\/bioinformatics\/btn390","volume":"24","author":"C.M. Lloyd","year":"2008","unstructured":"Lloyd, C.M., Lawson, J.R., Hunter, P.J., Nielsen, P.F.: The CellML Model Repository. Bioinformatics\u00a024(18), 1367\u20132123 (2008)","journal-title":"Bioinformatics"},{"issue":"1","key":"5_CR12","first-page":"180","volume":"15","author":"M. Nagasaki","year":"2004","unstructured":"Nagasaki, M., Doi, A., Matsuno, H., Miyano, S.: A versatile petri net based architecture for modeling and simulation of complex biological processes. Genome Informatics\u00a015(1), 180\u2013197 (2004)","journal-title":"Genome Informatics"},{"key":"5_CR13","first-page":"181","volume":"2","author":"M. Nagasaki","year":"2004","unstructured":"Nagasaki, M., Doi, A., Matsuno, H., Miyano, S.: Genomic Object Net: A platform for modelling and simulating biopathways. Applied Bioinformatics\u00a02, 181\u2013184 (2004)","journal-title":"Applied Bioinformatics"},{"issue":"2","key":"5_CR14","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0304-3975(01)00357-7","volume":"285","author":"N. Mart\u00ed-Oliet","year":"2002","unstructured":"Mart\u00ed-Oliet, N., Meseguer, J.: Rewriting Logic: Roadmap and Bibliography. Theoretical Computer Science\u00a0285(2), 121\u2013154 (2002)","journal-title":"Theoretical Computer Science"},{"key":"5_CR15","volume-title":"Computation: finite and infinite machines","author":"M.L. Minsky","year":"1967","unstructured":"Minsky, M.L.: Computation: finite and infinite machines. Prentice-Hall, Inc., Upper Saddle River (1967)"},{"issue":"4","key":"5_CR16","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. IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Nagasaki, M., Saito, A., Li, C., Jeong, E., Miyano, S.: Systematic reconstruction of TRANSPATH data into Cell System Markup Language. BMC Systems Biology\u00a02(1) (2008)","DOI":"10.1186\/1752-0509-2-53"},{"issue":"2","key":"5_CR18","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/S0304-3975(01)00363-2","volume":"285","author":"P.C. \u00d6lveczky","year":"2002","unstructured":"\u00d6lveczky, P.C., Meseguer, J.: Specification of real-time and hybrid systems in rewriting logic. Theoretical Computer Science\u00a0285(2), 359\u2013405 (2002)","journal-title":"Theoretical Computer Science"},{"key":"5_CR19","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/j.entcs.2008.12.042","volume":"223","author":"K. Reinhardt","year":"2008","unstructured":"Reinhardt, K.: Reachability in Petri Nets with Inhibitor Arcs. Electronic Notes in Theoretical Computer Science\u00a0223, 239\u2013264 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-68894-5_2","volume-title":"Formal Methods for Computational Systems Biology","author":"C. Talcott","year":"2008","unstructured":"Talcott, C.: Pathway logic. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol.\u00a05016, pp. 21\u201353. Springer, Heidelberg (2008)"},{"key":"5_CR21","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","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.\u00a04220, pp. 221\u2013245. Springer, Heidelberg (2006)"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"The_uniprot_consortium. The Universal Protein Resource (UniProt). Nucleic Acids Research 35(Database issue) (2007)","DOI":"10.1093\/nar\/gkl929"}],"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-642-03845-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,21]],"date-time":"2020-05-21T18:47:29Z","timestamp":1590086849000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03845-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642038440","9783642038457"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03845-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}