{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T00:10:15Z","timestamp":1736640615616,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":53,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540457794"},{"type":"electronic","value":"9783540462361"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11880646_10","type":"book-chapter","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T09:13:44Z","timestamp":1163754824000},"page":"221-245","source":"Crossref","is-referenced-by-count":18,"title":["Multiple Representations of Biological Processes"],"prefix":"10.1007","author":[{"given":"Carolyn","family":"Talcott","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David L.","family":"Dill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","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, pp. 400\u2013412 (2002)","DOI":"10.1142\/9789812799623_0038"},{"key":"10_CR2","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Fourth International Workshop on Rewriting Logic and Its Applications (WRLA 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 2002), Pisa, Italy, 2002, 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":"10_CR3","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 (2004)"},{"key":"10_CR4","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":"10_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.L.: The Maude 2.0 system. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol.\u00a02706, pp. 76\u201387. Springer, Heidelberg (2003)"},{"key":"10_CR6","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Fifth International Workshop on Rewriting Logic and Its Applications (WRLA 2004)","author":"I.A. Mason","year":"2004","unstructured":"Mason, I.A., Talcott, C.L.: IOP: The InterOperability Platform & IMaude: An interactive extension of Maude. In: Fifth International Workshop on Rewriting Logic and Its Applications (WRLA 2004). Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam (2004)"},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"1065","DOI":"10.1038\/sj.onc.1201608","volume":"16","author":"K.W. Kohn","year":"1998","unstructured":"Kohn, K.W.: Functional capabilities of molecular network components controlling the mammalian g1\/s cell cycle phase transition. Oncogene\u00a016, 1065\u20131075 (1998)","journal-title":"Oncogene"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1126\/science.284.5411.92","volume":"284","author":"G. Weng","year":"1999","unstructured":"Weng, G., Bhalla, U.S., Iyengar, R.: Complexity in biological signaling systems. Science\u00a0284, 92\u201396 (1999)","journal-title":"Science"},{"key":"10_CR9","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1152\/ajpcell.00260.2001","volume":"282","author":"S.Y. Shvartsman","year":"2002","unstructured":"Shvartsman, S.Y., Hagan, M.P., Yacoub, A., Dent, P., Wiley, H., Lauffenburger, D.: Autocrine loops with positive feedback enable context-dependent cell signaling. Am. J. Physiol. Cell Physiol.\u00a0282, 545\u2013559 (2002)","journal-title":"Am. J. Physiol. Cell Physiol."},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1016\/S0896-6273(00)81194-0","volume":"26","author":"P. Smolen","year":"2000","unstructured":"Smolen, P., Baxter, D.A., Byrne, J.H.: Mathematical modeling of gene networks. Neuron\u00a026, 567\u2013580 (2000)","journal-title":"Neuron"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Lok, L.: Software for signaling networks, electronic and cellular. Science STKE\u00a0PE11 (2002)","DOI":"10.1126\/stke.2002.122.pe11"},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1038\/nature01258","volume":"420","author":"C.V. Rao","year":"2002","unstructured":"Rao, C.V., Wolf, D.M., Arkin, A.P.: Control, exploitation and tolerance of intracellular noise. Nature\u00a0420, 231\u2013237 (2002)","journal-title":"Nature"},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1038\/35053181","volume":"409","author":"D. Endy","year":"2001","unstructured":"Endy, D., Brent, R.: Modelling cellular behaviour. Nature\u00a0409, 391\u2013395 (2001)","journal-title":"Nature"},{"key":"10_CR14","volume-title":"Petri Nets: Properties, analysis, and applications","author":"J.L. Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri Nets: Properties, analysis, and applications. Prentice-Hall, Englewood Cliffs (1981)"},{"key":"10_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer, Heidelberg (1980)"},{"key":"10_CR16","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming\u00a08, 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"issue":"1","key":"10_CR17","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":"10_CR18","unstructured":"Croes, D., Couche, F., van Helden, J., Wodak, S.: Path finding in metabolic networks: measuring functional distances between enzymes. In: Open Days in Biology, Computer Science and Mathematics JOBIM 2004 (2004)"},{"key":"10_CR19","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":"10_CR20","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":"10_CR21","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":"10_CR22","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":"10_CR23","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)"},{"key":"10_CR24","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":"10_CR25","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":"10_CR26","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"},{"key":"10_CR27","unstructured":"Zevedei-Oancea, I., Schuster, S.: Topological analysis of metabolic networks based on Petri net theory. Silico Biology\u00a03 (2003)"},{"key":"10_CR28","first-page":"459","volume-title":"Pacific Symposium on Biocomputing","author":"A. Regev","year":"2001","unstructured":"Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using the pi-calculus process algebra. In: Altman, R.B., Dunker, A.K., Hunter, L., Klein, T.E. (eds.) Pacific Symposium on Biocomputing, vol.\u00a06, pp. 459\u2013470. World Scientific, Singapore (2001)"},{"key":"10_CR29","doi-asserted-by":"crossref","unstructured":"Priami, C., Regev, A., Shapiro, E., Silverman, W.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters (in press), (2001)","DOI":"10.1016\/S0020-0190(01)00214-9"},{"key":"10_CR30","doi-asserted-by":"crossref","unstructured":"Calder, M., Vyshemirsky, V., Gilbert, D., Orton, R.: Analysis of signalling pathways using the PRISM model checker. In: Plotkin, G. (ed.) Proceedings of the Third International Conference on Computational Methods in System Biology (CMSB 2005) (2005)","DOI":"10.1007\/11880646_3"},{"key":"10_CR31","doi-asserted-by":"crossref","unstructured":"Regev, A., Panina, E., Silverman, W., Cardelli, L., Shaprio, E.: Bioambients: An abstraction for biological compartments (2003) (to appear TCS)","DOI":"10.1016\/j.tcs.2004.03.061"},{"key":"10_CR32","doi-asserted-by":"crossref","unstructured":"Nielson, F., Nielson, H.R., Priami, C., Rosa, D.: Control flow analysis for bioambients. In: BioConcur (2003)","DOI":"10.1007\/978-3-540-27864-1_8"},{"key":"10_CR33","doi-asserted-by":"crossref","unstructured":"Kam, N., Cohen, I.R., Harel, D.: The immune system as a reactive system: Modeling t cell activation with statecharts. In: Proc. Visual Languages and Formal Methods (VLFM 2001), pp. 15\u201322 (2001)","DOI":"10.1109\/HCC.2001.995228"},{"key":"#cr-split#-10_CR34.1","doi-asserted-by":"crossref","unstructured":"Efroni, S., Harel, D., Cohen, I.R.: Towards rigorous comprehension of biological complexity: Modeling, execution and visualization of thymic t-cell maturation. Genome Research (2003);","DOI":"10.1101\/gr.1215303"},{"key":"#cr-split#-10_CR34.2","unstructured":"Special issue on Systems Biology (in press)"},{"key":"10_CR35","doi-asserted-by":"crossref","unstructured":"Damm, W., Harel, D.: Breathing life into message sequence charts. Formal Methods in System Design\u00a019(1) (2001)","DOI":"10.1023\/A:1011227529550"},{"key":"10_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/3-540-36481-1_2","volume-title":"Computational Methods in Systems Biology","author":"N. Kam","year":"2003","unstructured":"Kam, N., Harel, D., Kugler, H.-J., Marelly, R., Pnueli, A., Hubbard, E.J.A., Stern, M.J.: Formal modeling of C. elegans development: A scenario-based approach. In: Priami, C. (ed.) CMSB 2003. LNCS, vol.\u00a02602, pp. 4\u201320. Springer, Heidelberg (2003)"},{"key":"10_CR37","doi-asserted-by":"crossref","unstructured":"Prez-Jimnez, M., Romero-Campero, F.: Modelling EGFR signalling cascade using continuous membrane systems. In: Plotkin, G. (ed.) Proceedings of the Third International Conference on Computational Methods in System Biology (CMSB 2005) (2005)","DOI":"10.1007\/11499220_28"},{"issue":"2","key":"10_CR38","doi-asserted-by":"publisher","first-page":"64","DOI":"10.4024\/2040402.jbpc.04.02","volume":"4","author":"F. Fages","year":"2004","unstructured":"Fages, F., Soliman, S., Chabrier-Rivier, N.: Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. Journal of Biological Physics and Chemistry\u00a04(2), 64\u201373 (2004)","journal-title":"Journal of Biological Physics and Chemistry"},{"issue":"1","key":"10_CR39","first-page":"24","volume":"351","author":"N. Chabrier-Rivier","year":"2004","unstructured":"Chabrier-Rivier, N., Chiaverini, M., Danos, V., Fages, F., Sch\u00e4chter, V.: Modeling and querying biomolecular interaction networks. Theoretical Computer Science\u00a0351(1), 24\u201344 (2004)","journal-title":"Theoretical Computer Science"},{"key":"10_CR40","doi-asserted-by":"crossref","unstructured":"Calzone, L., Chabrier-Rivier, N., Fages, F., Gentils, L., Soliman, S.: Machine learning bio-molecular interactions from temporal logic properties. In: Plotkin, G. (ed.) Proceedings of the Third International Conference on Computational Methods in System Biology (CMSB 2005) (2005)","DOI":"10.1007\/11880646_4"},{"key":"10_CR41","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1093\/bioinformatics\/bth918","volume":"20","author":"C. Baral","year":"2004","unstructured":"Baral, C., Chancellor, K., Tran, N., Tran, N., Joy, A., Berens, M.: A knowledge based approach for representing and reasoning about signaling networks. Bioinformatics\u00a020, 15\u201322 (2004)","journal-title":"Bioinformatics"},{"key":"10_CR42","unstructured":"Shankland, C., Tran, N., Baral, C., Kolch, W.: Reasoning about the ERK signal transduction pathway using BioSigNet-RR. In: Plotkin, G. (ed.) Proceedings of the Third International Conference on Computational Methods in System Biology (CMSB 2005) (2005)"},{"key":"10_CR43","unstructured":"Hucka, M., Finney, A., Sauro, H., Bolouri, H., Doyle, J., Kitano, H.: The ERATO Systems Biology Workbench: Enabling Interaction and Exchange between Software Tools for Computational Biology. In: Proceedings of the Pacific Symposium on Biocomputing (2002)"},{"key":"10_CR44","unstructured":"BioSpice (2004), https:\/\/community.biospice.org\/"},{"key":"10_CR45","unstructured":"IBM Discoverylink (2004), http:\/\/publib-b.boulder.ibm.com\/Redbooks.nsf\/0\/3c7a635147cf20d785256a540064e287?OpenDocument&Highlight=0,DiscoveryLink"},{"key":"10_CR46","unstructured":"geneticXchange (2004), http:\/\/midas-10.cs.ndsu.nodak.edu\/bio\/ppts\/chung.pdf"},{"key":"10_CR47","doi-asserted-by":"publisher","first-page":"1587","DOI":"10.1101\/gad.1003302","volume":"16","author":"A. Schmidt","year":"2002","unstructured":"Schmidt, A., Hall, A.: Guanine nucleotide exchange factors for rho gtpases: Turning on the switch. Genes Dev.\u00a016, 1587\u201315609 (2002)","journal-title":"Genes Dev."},{"key":"10_CR48","volume-title":"Petri Nets for System Engineering \u2013 A Guide to Modelling, Verification, and Applications","author":"M.-O. Stehr","year":"2000","unstructured":"Stehr, M.-O.: A rewriting semantics for algebraic nets. In: Girault, C., Valk, R. (eds.) Petri Nets for System Engineering \u2013 A Guide to Modelling, Verification, and Applications. Springer, Heidelberg (2000)"},{"key":"10_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","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, pp. 465\u2013474. Springer, Heidelberg (2000)"},{"key":"10_CR50","unstructured":"LoLA: Low Level Petri net Analyzer (2004), http:\/\/www.informatik.hu-berlin.de\/~kschmidt\/lola.html"},{"key":"10_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/3-540-48745-X_4","volume-title":"Application and Theory of Petri Nets 1999","author":"K. Schmidt","year":"1999","unstructured":"Schmidt, K.: Stubborn sets for standard properties. In: Donatelli, S., Kleijn, J. (eds.) ICATPN 1999. LNCS, vol.\u00a01639, pp. 46\u201365. Springer, Heidelberg (1999)"},{"key":"10_CR52","unstructured":"Porter, D.: An Interpreter for JLambda (2004), http:\/\/mcs.une.edu.au\/~iop\/Data\/Papers\/"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Systems Biology VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11880646_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T23:40:33Z","timestamp":1736638833000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11880646_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540457794","9783540462361"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/11880646_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}