{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,21]],"date-time":"2026-09-21T09:11:01Z","timestamp":1789981861050,"version":"4.0.1"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642007262","type":"print"},{"value":"9783642007279","type":"electronic"}],"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-00727-9_27","type":"book-chapter","created":{"date-parts":[[2009,4,21]],"date-time":"2009-04-21T04:45:52Z","timestamp":1240289152000},"page":"282-294","source":"Crossref","is-referenced-by-count":2,"title":["Modeling of Genetic Regulatory Network in Stochastic \u03c0-Calculus"],"prefix":"10.1007","author":[{"given":"Myl\u00e8ne","family":"Maurin","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Morgan","family":"Magnin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Olivier","family":"Roux","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"1","key":"27_CR1","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1089\/10665270252833208","volume":"9","author":"H. Jong De","year":"2002","unstructured":"De Jong, H.: Modeling and simulation of genetic regulatory systems: a literature review. J. Comput. Biol.\u00a09(1), 67\u2013103 (2002)","journal-title":"J. Comput. Biol."},{"key":"27_CR2","doi-asserted-by":"crossref","first-page":"1633","DOI":"10.1093\/genetics\/149.4.1633","volume":"149","author":"A. Arkin","year":"1998","unstructured":"Arkin, A., Ross, J., McAdams, H.H.: Stochastic kinetic analysis of developmental pathway bifurcation in phage \u03bb-infected Escherichia coli cells. Genetics\u00a0149, 1633\u20131648 (1998)","journal-title":"Genetics"},{"key":"27_CR3","unstructured":"Petri, C.A.: Kommunikation mit Automaten. PhD thesis, Bonn: Institut f\u00fcr Instrumentelle Mathematik, Schriften des IIM Nr. 2 (1962); 2nd edn., New York: Griffiss Air Force Base, Technical Report RADC-TR-65\u2013377, vol. 1(suppl. 1), English translation (1966)"},{"issue":"2","key":"27_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. J. of Discrete Algorithms\u00a06(2), 165\u2013177 (2008)","journal-title":"J. of Discrete Algorithms"},{"key":"27_CR5","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":"27_CR6","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11885191_12","volume-title":"Computational Methods in Systems Biology","author":"H. Siebert","year":"2006","unstructured":"Siebert, H., Bockmayr, A.: Incorporating time delays into the logical analysis of gene regulatory networks. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol.\u00a04210, pp. 169\u2013183. Springer, Heidelberg (2006)"},{"key":"27_CR7","series-title":"Electronic Notes in Theor. Comp. Sci.","volume-title":"Proc. 2nd Workshop on Concurrent Models in Molecular Biol. (BioCONCUR 2004)","author":"M. Ad\u00e9la\u00efde","year":"2004","unstructured":"Ad\u00e9la\u00efde, M., Sutre, G.: Parametric analysis and abstraction of genetic regulatory networks. In: Proc. 2nd Workshop on Concurrent Models in Molecular Biol. (BioCONCUR 2004), London, UK. Electronic Notes in Theor. Comp. Sci. Elsevier, Amsterdam (2004)"},{"issue":"4","key":"27_CR8","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1159\/000110010","volume":"3","author":"J. Ahmad","year":"2007","unstructured":"Ahmad, J., Bernot, G., Comet, J.P., Lime, D., Roux, O.: Hybrid modelling and dynamical analysis of gene regulatory networks with delays. ComPlexUs\u00a03(4), 231\u2013251 (2007)","journal-title":"ComPlexUs"},{"key":"27_CR9","volume-title":"Fourth International Workshop on Rewriting Logic and Its Applications (WRLA 2002)","author":"S. Eker","year":"2002","unstructured":"Eker, S., 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), Elsevier, Amsterdam (2002)"},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"Talcott, C.: Formal executable models of cell signaling primitives. In: Margaria, T., Philippou, A., Steffen, B. (eds.) 2nd International Symposium On Leveraging Applications of Formal Methods, Verification and Validation ISOLA 2006, pp. 303\u2013307 (2006)","DOI":"10.1109\/ISoLA.2006.66"},{"issue":"14","key":"27_CR11","doi-asserted-by":"publisher","first-page":"1805","DOI":"10.1093\/bioinformatics\/btl172","volume":"22","author":"L. Calzone","year":"2006","unstructured":"Calzone, L., Fages, F., Soliman, S.: Biocham: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics\u00a022(14), 1805\u20131807 (2006)","journal-title":"Bioinformatics"},{"key":"27_CR12","unstructured":"Calzone, L., Chabrier-rivier, N., Fages, F., Soliman, S., Rocquencourt, I., Contraintes, P.: A machine learning approach to biochemical reaction rules discovery. In: Doyle III, F.J. (ed.) Proceedings of Foundations of Systems Biology and Engineering FOSBE 2005, pp. 375\u2013379 (2005)"},{"key":"27_CR13","volume-title":"Bioambients: An abstraction for biological compartments","author":"A. Regev","year":"2003","unstructured":"Regev, A., Panina, A., Silverman, W., Cardelli, L., Shapiro, E.: Bioambients: An abstraction for biological compartments. Elsevier Science, Amsterdam (2003)"},{"key":"27_CR14","doi-asserted-by":"crossref","unstructured":"Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using the pi-calculus process algebra. In: Proc. Pacific Symp. of Biocomputing, vol.\u00a06, pp. 459\u2013470 (2001)","DOI":"10.1142\/9789814447362_0045"},{"issue":"1","key":"27_CR15","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.Y., Silverman, W.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Inf. Process. Lett.\u00a080(1), 25\u201331 (2001)","journal-title":"Inf. Process. Lett."},{"issue":"3","key":"27_CR16","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.entcs.2004.08.072","volume":"180","author":"P. Lecca","year":"2007","unstructured":"Lecca, P., Priami, C.: Cell cycle control in eukaryotes: A biospi model. Electr. Notes Theor. Comput. Sci.\u00a0180(3), 51\u201363 (2007)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"27_CR17","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/11905455_2","volume":"4230","author":"C. Kuttler","year":"2006","unstructured":"Kuttler, C., Niehren, J.: Gene regulation in the pi calculus: Simulating cooperativity at the lambda switch. Transactions on Computational Systems Biology VII\u00a04230, 24\u201355 (2006)","journal-title":"Transactions on Computational Systems Biology VII"},{"key":"27_CR18","volume-title":"A genetic switch: Phage \u03bb and higher organisms","author":"M. Ptashne","year":"1992","unstructured":"Ptashne, M.: A genetic switch: Phage \u03bb and higher organisms, 2nd edn. Cell Press and Blackwell science, Malden (1992)","edition":"2"},{"key":"27_CR19","doi-asserted-by":"publisher","first-page":"1129","DOI":"10.1073\/pnas.79.4.1129","volume":"79","author":"G.K. Ackers","year":"1982","unstructured":"Ackers, G.K., Johnson, A.D., Shea, M.A.: Quantitative model for gene regulation by \u03bb phage repressor. Proceedings of the National Academy of Science USA\u00a079, 1129\u20131133 (1982)","journal-title":"Proceedings of the National Academy of Science USA"},{"key":"27_CR20","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/0022-2836(85)90086-5","volume":"181","author":"M.A. Shea","year":"1985","unstructured":"Shea, M.A., Ackers, G.K.: The or control system of bacteriophage lambda: a physical-chemical model for gene regulation. J. Mol. Biol.\u00a0181, 211\u2013230 (1985)","journal-title":"J. Mol. Biol."},{"key":"27_CR21","volume-title":"Molecular characterization of the lambda repressor and its gene ci","author":"R.T. Sauer","year":"1979","unstructured":"Sauer, R.T.: Molecular characterization of the lambda repressor and its gene ci. Harvard University Press, Cambridge (1979)"},{"key":"27_CR22","unstructured":"Phillips, A., Cardelli, L.: Spim (2007), http:\/\/research.microsoft.com\/~aphillip\/spim\/"},{"key":"27_CR23","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"6","author":"C. Priami","year":"1995","unstructured":"Priami, C.: Stochastic \u03c0-calculus. Computer Journal\u00a06, 578\u2013589 (1995)","journal-title":"Computer Journal"},{"key":"27_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R.: A calculus of mobile processes. Information and computation\u00a0100, 1\u201377 (1992)","journal-title":"Information and computation"},{"key":"27_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/978-3-540-75140-3_13","volume-title":"Model Checking Software","author":"A. Phillips","year":"2007","unstructured":"Phillips, A., Cardelli, L.: Efficient, correct simulation of biological processes in the stochastic pi-calculus. In: Bo\u0161na\u010dki, D., Edelkamp, S. (eds.) SPIN 2007. LNCS, vol.\u00a04595, pp. 184\u2013199. Springer, Heidelberg (2007)"},{"issue":"25","key":"27_CR26","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. The Journal of Physical Chemistry\u00a081(25), 2340\u20132361 (1977)","journal-title":"The Journal of Physical Chemistry"},{"key":"27_CR27","unstructured":"Phillips, A.: The SPIM Language. Version 0.05 (2007)"},{"issue":"2","key":"27_CR28","first-page":"277","volume":"57","author":"D. Thieffry","year":"1995","unstructured":"Thieffry, D., Thomas, R.: Dynamical behaviour of biological regulatory networks - ii. immunity control in bacteriophage lambda. Bull. Math. Biol.\u00a057(2), 277\u2013297 (1995)","journal-title":"Bull. Math. Biol."}],"container-title":["Lecture Notes in Computer Science","Bioinformatics and Computational Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00727-9_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T03:05:40Z","timestamp":1739070340000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00727-9_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642007262","9783642007279"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00727-9_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}