{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T23:07:54Z","timestamp":1773702474163,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,9,21]],"date-time":"2011-09-21T00:00:00Z","timestamp":1316563200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000268","name":"Biotechnology and Biological Sciences Research Council","doi-asserted-by":"publisher","award":["BB\/D019621\/1"],"award-info":[{"award-number":["BB\/D019621\/1"]}],"id":[{"id":"10.13039\/501100000268","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["BB\/D019621\/1"],"award-info":[{"award-number":["BB\/D019621\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,9,21]]},"DOI":"10.1145\/2037509.2037534","type":"proceedings-article","created":{"date-parts":[[2011,9,23]],"date-time":"2011-09-23T15:13:10Z","timestamp":1316790790000},"page":"171-181","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Coloured stochastic multilevel multiset rewriting"],"prefix":"10.1145","author":[{"given":"Nicolas","family":"Oury","sequence":"first","affiliation":[{"name":"University of Edinburgh"}]},{"given":"Gordon D.","family":"Plotkin","sequence":"additional","affiliation":[{"name":"University of Edinburgh"}]}],"member":"320","published-online":{"date-parts":[[2011,9,21]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Technical report, School of Computer and Communication Sciences","author":"Bagwell P.","year":"2001","unstructured":"{Bag01} P. Bagwell , Ideal hash trees , Technical report, School of Computer and Communication Sciences , Swiss Institute of Technology Lausanne , 2001 . {Bag01} P. Bagwell, Ideal hash trees, Technical report, School of Computer and Communication Sciences, Swiss Institute of Technology Lausanne, 2001."},{"key":"e_1_3_2_1_2_1","volume-title":"Dagstuhl Seminar Proceedings, 7071","author":"Buchholz P.","year":"2007","unstructured":"{Buc07} P. Buchholz , Iteration at Different Levels : Multi-Level Methods for Structured Markov Chains, Web Inf. Retrieval and Linear Alg. Algorithms , Dagstuhl Seminar Proceedings, 7071 , IBFI, 2007 . {Buc07} P. Buchholz, Iteration at Different Levels: Multi-Level Methods for Structured Markov Chains, Web Inf. Retrieval and Linear Alg. Algorithms, Dagstuhl Seminar Proceedings, 7071, IBFI, 2007."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btl172"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)00010-2"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.28.6"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.40.8"},{"key":"e_1_3_2_1_7_1","first-page":"302","article-title":"Laneve, Core formal molecular biology, Proc. 12th. ESOP","volume":"2618","author":"Danos V.","year":"2003","unstructured":"{DL03} V. Danos & C . Laneve, Core formal molecular biology, Proc. 12th. ESOP , LNCS , 2618 , 302 -- 318 , Springer, 2003 . {DL03} V. Danos & C. Laneve, Core formal molecular biology, Proc. 12th. ESOP, LNCS, 2618, 302--318, Springer, 2003.","journal-title":"LNCS"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1784774.1784789"},{"key":"e_1_3_2_1_9_1","volume-title":"BMC Systems Biology, 4(2)","author":"Dewar M. A.","year":"2010","unstructured":"{DK10} M. A. Dewar , V. Kadirkamanathan , , Parameter estimation and inference for stochastic reaction-diffusion systems: application to morphogenesis in D. melanogaster , BMC Systems Biology, 4(2) , 2010 . {DK10} M. A. Dewar, V. Kadirkamanathan, et al, Parameter estimation and inference for stochastic reaction-diffusion systems: application to morphogenesis in D. melanogaster, BMC Systems Biology, 4(2), 2010."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1839764.1839776"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-06289-0","volume-title":"Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use","author":"Jensen K.","year":"1992","unstructured":"{Jen92} K. Jensen , Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use . Vol. 1 , Basic Concepts, Springer Verlag , 1992 . {Jen92} K. Jensen, Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts, Springer Verlag, 1992."},{"key":"e_1_3_2_1_12_1","first-page":"230","article-title":"Jensen, An introduction to the theoretical aspects of coloured Petri nets","volume":"803","year":"1994","unstructured":"{Jen94} K . Jensen, An introduction to the theoretical aspects of coloured Petri nets , LNCS , 803 , 230 -- 272 , 1994 . {Jen94} K. Jensen, An introduction to the theoretical aspects of coloured Petri nets, LNCS, 803, 230--272, 1994.","journal-title":"LNCS"},{"key":"e_1_3_2_1_13_1","volume-title":"Soc. Interface","author":"Kugler H.","year":"2009","unstructured":"{KLH09} H. Kugler , A. Larjo , & D. Harel , Biocharts : a visual formalism for complex biological systems, J. R . Soc. Interface , 2009 . {KLH09} H. Kugler, A. Larjo, & D. Harel, Biocharts: a visual formalism for complex biological systems, J. R. Soc. Interface, 2009."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.10.006"},{"key":"e_1_3_2_1_15_1","volume-title":"Proc. BioPPN, 70--84","author":"Liu F.","year":"2010","unstructured":"{LH10} F. Liu & M. Heiner, Colored Petri nets to model and simulate biological systems , Proc. BioPPN, 70--84 , 2010 . {LH10} F. Liu & M. Heiner, Colored Petri nets to model and simulate biological systems, Proc. BioPPN, 70--84, 2010."},{"key":"e_1_3_2_1_16_1","volume-title":"CUP","author":"Milner R.","year":"2009","unstructured":"{Mil09} R. Milner , The Space and Motion of Communicating Agents , CUP , 2009 . {Mil09} R. Milner, The Space and Motion of Communicating Agents, CUP, 2009."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.0020082"},{"key":"e_1_3_2_1_18_1","volume-title":"MSCS, Special issue on DCM","author":"Oury N.","year":"2010","unstructured":"{OP11} N. Oury & G. D. Plotkin , Multi-level modelling via stochastic multi-level multiset rewriting , MSCS, Special issue on DCM 2010 , to appear. {OP11} N. Oury & G. D. Plotkin, Multi-level modelling via stochastic multi-level multiset rewriting, MSCS, Special issue on DCM 2010, to appear."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","DOI":"10.1007\/b98868","volume-title":"Mathematical Biology I. An Introduction","author":"Murray J. D.","year":"2002","unstructured":"{Mur02} J. D. Murray , Mathematical Biology I. An Introduction , Springer , 2002 . {Mur02} J. D. Murray, Mathematical Biology I. An Introduction, Springer, 2002."},{"key":"e_1_3_2_1_20_1","first-page":"77","article-title":"Plotkin, A language for biochemical systems: design and formal specification","volume":"12","author":"Pedersen M.","year":"2010","unstructured":"{PP10} M. Pedersen & G. D . Plotkin, A language for biochemical systems: design and formal specification , T. Comp. Sys. Biology , 12 , 77 -- 145 , LNCS, 5945, 2010 . {PP10} M. Pedersen & G. D. Plotkin, A language for biochemical systems: design and formal specification, T. Comp. Sys. Biology, 12, 77--145, LNCS, 5945, 2010.","journal-title":"T. Comp. Sys. Biology"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1126\/science.1058079"},{"key":"e_1_3_2_1_22_1","first-page":"150","article-title":"Plotkin, Some varieties of equational logic, Algebra, Meaning, and Computation","volume":"4060","author":"G.","year":"2006","unstructured":"{Plo06} G. D . Plotkin, Some varieties of equational logic, Algebra, Meaning, and Computation , LNCS , 4060 , 150 -- 156 , 2006 . {Plo06} G. D. Plotkin, Some varieties of equational logic, Algebra, Meaning, and Computation, LNCS, 4060, 150--156, 2006.","journal-title":"LNCS"},{"key":"e_1_3_2_1_23_1","volume-title":"Proc. 5th. CPN, 77--95","author":"T.","year":"2004","unstructured":"{Run04} T. Runge, Application of coloured Petri nets in systems biology , Proc. 5th. CPN, 77--95 , 2004 . {Run04} T. Runge, Application of coloured Petri nets in systems biology, Proc. 5th. CPN, 77--95, 2004."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/IEMBS.2006.259902"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1038\/nrm1524"}],"event":{"name":"CMSB'11: 9th International Conference on Computational Methods in Systems Biology","location":"Paris France","acronym":"CMSB'11","sponsor":["TCSIM IEEE Computer Society Technical Committee on Simulation","University Henri-Poincare University Henri-Poincare - France","NVIDIA","CNRS Centre National De La Rechercue Scientifique","Microsoft Research Microsoft Research","SIGBio ACM Special Interest Group on Bioinformatics"]},"container-title":["Proceedings of the 9th International Conference on Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2037509.2037534","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2037509.2037534","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:54:27Z","timestamp":1750240467000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2037509.2037534"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,21]]},"references-count":25,"alternative-id":["10.1145\/2037509.2037534","10.1145\/2037509"],"URL":"https:\/\/doi.org\/10.1145\/2037509.2037534","relation":{},"subject":[],"published":{"date-parts":[[2011,9,21]]},"assertion":[{"value":"2011-09-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}