{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T13:43:24Z","timestamp":1778593404678,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540488378","type":"print"},{"value":"9783540488392","type":"electronic"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11905455_4","type":"book-chapter","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T06:41:17Z","timestamp":1163745677000},"page":"73-88","source":"Crossref","is-referenced-by-count":1,"title":["Translating SBML Models into the Stochastic \u03c0-Calculus for Stochastic Simulation"],"prefix":"10.1007","author":[{"given":"Claudio","family":"Eccher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Lecca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"1662","DOI":"10.1126\/science.1069492","volume":"295","author":"H. Kitano","year":"2002","unstructured":"Kitano, H.: Systems biology: a brief overview. Science\u00a0295, 1662\u20131664 (2002)","journal-title":"Science"},{"issue":"3","key":"4_CR2","first-page":"389","volume":"3","author":"H. Matsuno","year":"2003","unstructured":"Matsuno, H., Tanaka, Y., Aoshima, H., Doi, A., Matsui, M., Miyano, S.: Biopathways representation and simulation on hybrid functional petri net. Silico Biol.\u00a03(3), 389\u2013404 (2003)","journal-title":"Silico Biol."},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1109\/HCC.2001.995228","volume-title":"Proc. Symposia on Human-Centric Computing Languages and Environments","author":"N. Kam","year":"2001","unstructured":"Kam, N., Cohen, I., Harel, D.: The immune system as a reactive system: Modeling t cell activation with statecharts. In: Proc. Symposia on Human-Centric Computing Languages and Environments, pp. 15\u201322. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Kahn, S., Makkena, R., McGeary, F., Decker, K., Gillis, W., Schmidt, C.: A multi-agent system for the quantitative simulation of biological networks. In: Proceedings of the AAMAS 2003, Melbourne, Australia, pp. 385\u2013392 (2003)","DOI":"10.1145\/860633.860637"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"825","DOI":"10.1093\/bioinformatics\/18.6.825","volume":"18","author":"M. Peleg","year":"2002","unstructured":"Peleg, M., Yeh, I., Altman, R.B.: Modeling biological processes using workflow and petri net models. Bioinformatics\u00a018, 825\u2013837 (2002)","journal-title":"Bioinformatics"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/3-540-45875-1_25","volume-title":"Software Visualization","author":"A. Winter","year":"2002","unstructured":"Winter, A., Kullbach, B., Riediger, V.: An overview of the GXL graph exchange language. In: Diehl, S. (ed.) Dagstuhl Seminar 2001. LNCS, vol.\u00a02269, p. 324. Springer, Heidelberg (2002)"},{"key":"4_CR7","unstructured":"The Bioinformatic Sequence Markup Language, \n                  \n                    http:\/\/www.bsml.org"},{"key":"4_CR8","unstructured":"Finney, A., Hucka, M.: Systems biology markup language (sbml) level 2: Structures and facilities for model definitions, Available at: \n                  \n                    http:\/\/www.sbml.org"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1049\/sb:20045008","volume":"1","author":"M. Hucka","year":"2004","unstructured":"Hucka, M., Finney, A., Bornstein, B.J., Keating, S.M., Shapiro, B.E., Matthews, J., Kovitz, B.L., Schilstra, M.J., Funahashi, A., Doyle, J.C., Kitano, H.: Evolving a lingua franca and associated software infrastructure for computational systems biology: The systems biology markup language (sbml) project. Systems Biology\u00a01, 41\u201353 (2004)","journal-title":"Systems Biology"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1093\/nar\/28.1.27","volume":"28","author":"M. Kaneisha","year":"2000","unstructured":"Kaneisha, M., Goto, S.: Kegg: Kyoto encyclopaedia of genes and genomes. Nucleic Acid Res.\u00a028, 27\u201330 (2000)","journal-title":"Nucleic Acid Res."},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/S0020-0190(01)00214-9","volume":"80","author":"C. Priami","year":"2001","unstructured":"Priami, C., Regev, A., Shapiro, E., Silvermann, W.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information processing letters\u00a080, 25\u201331 (2001)","journal-title":"Information processing letters"},{"key":"4_CR12","unstructured":"The BioSpi project, \n                  \n                    http:\/\/www.wisdom.weizmann.ac.il\/~biospi"},{"key":"4_CR13","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/11905455_7","volume-title":"Transactions on Computational Systems Biology VII","author":"A. Phillips","year":"2006","unstructured":"Phillips, A., Cardelli, L.: A correct abstract machine for the stochastic pi-calculus. In: Priami, C., Ing\u00f3lfsd\u00f3ttir, A., Mishra, B., Riis Nielson, H. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol.\u00a04230, pp. 123\u2013152. Springer, Heidelberg (2006)"},{"key":"4_CR14","unstructured":"Lecca, P., Priami, C.: Cell cycle control in eukaryotes: a biospi model. Technical Report DIT-03-045, University of Trento (2003)"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Regev, A., Silverman, W., Shapiro, B.E.: Representation and simulation of biochemical processes using the pi-calculus process algebra. In: Proceedings of the Pacific Symposium of Biocomputing (PSB 2001), vol.\u00a06, pp. 459\u2013470 (2001)","DOI":"10.1142\/9789814447362_0045"},{"key":"4_CR16","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/11905455_2","volume-title":"Transactions on Computational Systems Biology VII","author":"C. Kuttler","year":"2006","unstructured":"Kuttler, C., Niehren, J., Blossey, R.: Gene regulation in the pi calculus: Simulating cooperativity at the lambda switch. In: Priami, C., Ing\u00f3lfsd\u00f3ttir, A., Mishra, B., Riis Nielson, H. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol.\u00a04230, pp. 24\u201355. Springer, Heidelberg (2006)"},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1177\/0037549704045800","volume":"80","author":"P. Lecca","year":"2004","unstructured":"Lecca, P., Priami, C., Quaglia, P., Rossi, B., Laudanna, C., Costantin, G.: A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment. SIMULATION: Transactions of the society for modelling and simulation international\u00a080, 273\u2013288 (2004)","journal-title":"SIMULATION: Transactions of the society for modelling and simulation international"},{"key":"4_CR18","unstructured":"The SBML BioModels Database, \n                  \n                    http:\/\/sbml.org\/models.html"},{"key":"4_CR19","volume-title":"Communicating and Mobile Systems: the \u03c0-calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: the \u03c0-calculus. Cambridge University Press, Cambridge (1999)"},{"issue":"6","key":"4_CR20","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"38","author":"C. Priami","year":"1995","unstructured":"Priami, C.: Stochastic \u03c0-calculus. The Computer Journal\u00a038(6), 578\u2013589 (1995)","journal-title":"The Computer Journal"},{"key":"4_CR21","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D.T. Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem.\u00a081, 2340\u20132361 (1977)","journal-title":"J. Phys. Chem."},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Blossey, R., Cardelli, L., Phillips, A.: A compositional approach to the stochastic dynamics of gene networks (2005), Available at: \n                  \n                    http:\/\/www.luca.demon.co.uk\/","DOI":"10.1007\/11732488_10"},{"key":"4_CR23","doi-asserted-by":"publisher","first-page":"5992","DOI":"10.1073\/pnas.092133899","volume":"99","author":"J.M.G. Vilar","year":"2002","unstructured":"Vilar, J.M.G., Kueh, H.Y., Barkai, N., Leibler, S.: Mechanisms of noise resistance in genetic oscillators. PNAS\u00a099, 5992\u20135998 (2002)","journal-title":"PNAS"},{"key":"4_CR24","unstructured":"The Cellerator Web Site: \n                  \n                    http:\/\/www.cellerator.info\/"},{"key":"4_CR25","unstructured":"Shapiro, B.E., Mjolsness, E.D.: Developmental simulations with cellerator. In: Yi, T., Hucka, M., Morohashi, M., Kitano, H. (eds.) Proceedings of the Second International Conference on Systems Biology (ICSB 2001), Omnipress (2001)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Systems Biology VII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11905455_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T23:27:53Z","timestamp":1558308473000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11905455_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540488378","9783540488392"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11905455_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}