{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:45:23Z","timestamp":1725511523160},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540482932"},{"type":"electronic","value":"9783540485407"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-48540-7_2","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T20:28:49Z","timestamp":1179260929000},"page":"11-22","source":"Crossref","is-referenced-by-count":2,"title":["The Pathalyzer: A Tool for Analysis of Signal Transduction Pathways"],"prefix":"10.1007","author":[{"given":"David L.","family":"Dill","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Merrill A.","family":"Knapp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pamela","family":"Gage","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carolyn","family":"Talcott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Keith","family":"Laderoute","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Lincoln","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Marti-Oliet, N., Meseguer, J., Talcott, C.: Maude 2.0 Manual (2003), http:\/\/maude.cs.uiuc.edu"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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.L.: The Maude 2.0 system. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol.\u00a02706, Springer, Heidelberg (2003)"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Eker, S., Knapp, M., Laderoute, K., Lincoln, P., Meseguer, J., Sonmez, K.: Pathway Logic: Symbolic analysis of biological signaling. In: Proceedings of the Pacific Symposium on Biocomputing, January 2002, pp. 400\u2013412 (2002), http:\/\/www.csl.sri.com\/papers\/lincoln-pathway-logic-psb-2002\/","DOI":"10.1142\/9789812799623_0038"},{"key":"2_CR4","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Fourth International Workshop on Rewriting Logic and Its Applications (WRLA\u20192002), Pisa, Italy, September 19 \u2014 21, 2002","author":"S. Eker","year":"2002","unstructured":"Eker, S., Knapp, M., Laderoute, K., Lincoln, P., Talcott, C.: Pathway Logic: Executable models of biological networks. In: Fourth International Workshop on Rewriting Logic and Its Applications (WRLA\u20192002), Pisa, Italy, September 19 \u2014 21, 2002. Electronic Notes in Theoretical Computer Science, vol.\u00a071, Elsevier, Amsterdam (2002), http:\/\/www.elsevier.nl\/locate\/entcs\/volume71.html"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"1163","DOI":"10.1006\/bulm.2001.0263","volume":"63","author":"J.S. Oliveira","year":"2001","unstructured":"Oliveira, J.S., Bailey, C.G., Jones-Oliveira, J.B., Dixon, D.A., Gull, D.W., Chandler, M.L.: An algebraic-combinatorial model for the identification and mapping of biochemical pathways. Bull. Math. Biol.\u00a063, 1163\u20131196 (2001)","journal-title":"Bull. Math. Biol."},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1089\/106652703763255679","volume":"10","author":"J.S. Oliveira","year":"2003","unstructured":"Oliveira, J.S., Bailey, C.G., Jones-Oliveira, J.B., Dixon, D.A., Gull, D.W., Chandler, M.L.: A computational model for the identification of biochemical pathways in the Krebs cycle. J. Computational Biology\u00a010, 57\u201382 (2003)","journal-title":"J. Computational Biology"},{"issue":"4","key":"2_CR7","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1093\/bioinformatics\/btg015","volume":"19","author":"M. Hucka","year":"2003","unstructured":"Hucka, M., et al.: The systems biology markup language (sbml): a medium for representation and exchange of biochemical network models. Bioinformatics\u00a019(4), 524\u2013531 (2003)","journal-title":"Bioinformatics"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Genrich, H., K\u00fcffner, R., Voss, K.: Executable Petri net models for the analysis of metabolic pathways. Int. J. STTT\u00a03 (2001)","DOI":"10.1007\/s100090100058"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"6750","DOI":"10.1073\/pnas.95.12.6750","volume":"95","author":"P.J. Goss","year":"1998","unstructured":"Goss, P.J., Peccoud, J.: Quantitative modeling of stochastic systems in molecular biology using stochastic Petri nets. Proc. Natl. Acad. Sci. U. S. A.\u00a095, 6750\u20136755 (1998)","journal-title":"Proc. Natl. Acad. Sci. U. S. A."},{"key":"2_CR10","first-page":"113","volume":"16","author":"R. Hofest\u00e4dt","year":"1994","unstructured":"Hofest\u00e4dt, R.: A Petri net application to model metabolic processes. Syst. Anal. Mod. Simul.\u00a016, 113\u2013122 (1994)","journal-title":"Syst. Anal. Mod. Simul."},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"825","DOI":"10.1093\/bioinformatics\/16.9.825","volume":"16","author":"R. K\u00fcffner","year":"2000","unstructured":"K\u00fcffner, R., Zimmer, R., Lengauer, T.: Pathway analysis in metabolic databases via differential metabolic display (DMD). Bioinformatics\u00a016, 825\u2013836 (2000)","journal-title":"Bioinformatics"},{"key":"2_CR12","unstructured":"Matsuno, H., Doi, A., Nagasaki, M., Miyano, S.: Hybrid Petri net representation of gene regulatory network. In: Pacific Symposium on Biocomputing, vol.\u00a05, pp. 341\u2013352 (2000)"},{"issue":"1","key":"2_CR13","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science\u00a096(1), 73\u2013155 (1992)","journal-title":"Theoretical Computer Science"},{"key":"2_CR14","first-page":"89","volume-title":"Formal Methods for Open Object-based Distributed Systems, FMOODS 2000","author":"J. Meseguer","year":"2000","unstructured":"Meseguer, J.: Rewriting logic and Maude: A wide-spectrum semantic framework for object-based distributed systems. In: Smith, S., Talcott, C.L. (eds.) Formal Methods for Open Object-based Distributed Systems, FMOODS 2000, pp. 89\u2013117. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44988-4_27","volume-title":"Application and Theory of Petri Nets 2000","author":"K. Schmidt","year":"2000","unstructured":"Schmidt, K.: LoLA: A Low Level Analyser. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol.\u00a01825, Springer, Heidelberg (2000)"},{"issue":"6","key":"2_CR16","doi-asserted-by":"publisher","first-page":"837","DOI":"10.1093\/bioinformatics\/18.6.825","volume":"18","author":"M. Peleg","year":"2002","unstructured":"Peleg, M., Yeh, I., Altman, R.B.: Modelling biological processes using workflow and Petri Net models. Bioinformatics\u00a018(6), 837\u2013852 (2002)","journal-title":"Bioinformatics"},{"key":"2_CR17","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0010-4825(95)00042-9","volume":"26","author":"V.N. Reddy","year":"1996","unstructured":"Reddy, V.N., Liebmann, M.N., Mavrovouniotis, M.L.: Qualitative analysis of biochemical reaction systems. Comput. Biol. Med.\u00a026, 9\u201324 (1996)","journal-title":"Comput. Biol. Med."},{"key":"2_CR18","unstructured":"Talcott, C., Eker, S., Knapp, M., Lincoln, P., Laderoute, K.: Pathway logic modeling of protein functional domains in signal transduction. In: Proceedings of the Pacific Symposium on Biocomputing, Jan. 2004 (to appear, 2004)"},{"key":"2_CR19","unstructured":"Pathway logic, http:\/\/www.csl.sri.com\/users\/clt\/PLweb\/pl.html"},{"key":"2_CR20","unstructured":"Lola system, http:\/\/www.informatik.hu-berlin.de\/top\/lola\/lola.html"},{"key":"2_CR21","unstructured":"The Petri Nets Bibliography, http:\/\/www.informatik.uni-hamburg.de\/TGI\/pnbib"},{"key":"2_CR22","unstructured":"The GraphViz Homepage, http:\/\/www.research.att.com\/sw\/tools\/graphviz\/"},{"key":"2_CR23","unstructured":"Zevedei-Oancea, I., Schuster, S.: Topological analysis of metabolic networks based on Petri net theory. In Silico Biology\u00a03(0029) (2003)"}],"container-title":["Lecture Notes in Computer Science","Systems Biology and Regulatory Genomics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-48540-7_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:47:25Z","timestamp":1605761245000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-48540-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540482932","9783540485407"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-48540-7_2","relation":{},"subject":[]}}