{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:01:37Z","timestamp":1725627697539},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642311307"},{"type":"electronic","value":"9783642311314"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31131-4_3","type":"book-chapter","created":{"date-parts":[[2012,6,5]],"date-time":"2012-06-05T18:36:12Z","timestamp":1338921372000},"page":"32-50","source":"Crossref","is-referenced-by-count":3,"title":["Using Colored Petri Nets to Construct Coalescent Hidden Markov Models: Automatic Translation from Demographic Specifications to Efficient Inference Methods"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Mailund","sequence":"first","affiliation":[]},{"given":"Anders E.","family":"Halager","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Westergaard","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"3_CR1","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1101\/gr.083634.108","volume":"19","author":"G.K. Chen","year":"2009","unstructured":"Chen, G.K., Marjoram, P., Wall, J.D.: Fast and flexible simulation of DNA sequence data. Genome Res.\u00a019(1), 136\u2013142 (2009)","journal-title":"Genome Res."},{"issue":"11","key":"3_CR2","doi-asserted-by":"publisher","first-page":"1343","DOI":"10.1109\/12.247838","volume":"42","author":"G. Chiola","year":"1993","unstructured":"Chiola, G., Dutheillet, C., Franceshinis, G., Haddad, S.: Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications. IEEE Trans. Computers\u00a042(11), 1343\u20131360 (1993)","journal-title":"IEEE Trans. Computers"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/3-540-45319-9_31","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Christensen","year":"2001","unstructured":"Christensen, S., Kristensen, L.M., Mailund, T.: A Sweep-Line Method for State Space Exploration. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, pp. 450\u2013464. Springer, Heidelberg (2001)"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/BFb0028741","volume-title":"Computer Aided Verification","author":"E. Clarke","year":"1998","unstructured":"Clarke, E., Emerson, E., Jha, S., Sistla, A.P.: Symmetry Reductions in Model Checking. In: Vardi, M.Y. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 147\u2013158. Springer, Heidelberg (1998)"},{"issue":"4","key":"3_CR5","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1016\/j.tpb.2009.04.001","volume":"75","author":"D. Davison","year":"2009","unstructured":"Davison, D., Pritchard, J.K., Coop, G.: An approximate likelihood for genetic data under a model with recombination and population splitting. Theoretical Population Biology\u00a075(4), 331\u2013345 (2009)","journal-title":"Theoretical Population Biology"},{"issue":"6","key":"3_CR6","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/S0020-0190(03)00343-0","volume":"87","author":"S. Derisavi","year":"2003","unstructured":"Derisavi, S., Hermanns, H., Sanders, W.H.: Optimal state-space lumping in markov chains. Inf. Process. Lett.\u00a087(6), 309\u2013315 (2003)","journal-title":"Inf. Process. Lett."},{"key":"3_CR7","unstructured":"Durbin, R., Eddy, S.R., Krogh, A., Mitchison, G.: Biological Sequence Analysis. Probabilistic Models of Proteins and Nucleic Acids. Cambridge Univ. Pr. (February 2005)"},{"issue":"1","key":"3_CR8","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1534\/genetics.109.103010","volume":"183","author":"J.Y. Dutheil","year":"2009","unstructured":"Dutheil, J.Y., Ganapathy, G., Hobolth, A., Mailund, T., Uyenoyama, M.K., Schierup, M.H.: Ancestral population genomics: the coalescent hidden Markov model approach. Genetics\u00a0183(1), 259\u2013274 (2009)","journal-title":"Genetics"},{"issue":"2","key":"3_CR9","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1016\/j.tpb.2009.05.002","volume":"76","author":"A. Eriksson","year":"2009","unstructured":"Eriksson, A., Mahjani, B., Mehlig, B.: Sequential Markov coalescent algorithms for population models with demographic structure. Theor. Popul. Biol.\u00a076(2), 84\u201391 (2009)","journal-title":"Theor. Popul. Biol."},{"issue":"5979","key":"3_CR10","doi-asserted-by":"publisher","first-page":"710","DOI":"10.1126\/science.1188021","volume":"328","author":"R.E. Green","year":"2010","unstructured":"Green, R.E., et al.: A draft sequence of the neandertal genome. Science\u00a0328(5979), 710\u2013722 (2010)","journal-title":"Science"},{"key":"3_CR11","volume-title":"Gene genealogies, variation and evolution. a primer in coalescent theory","author":"J. Hein","year":"2005","unstructured":"Hein, J., Schierup, M.H., Wiuf, C.: Gene genealogies, variation and evolution. a primer in coalescent theory. Oxford University Press, USA (2005)"},{"issue":"2","key":"3_CR12","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1371\/journal.pgen.0030007","volume":"3","author":"A. Hobolth","year":"2007","unstructured":"Hobolth, A., Christensen, O.F., Mailund, T., Schierup, M.H.: Genomic relationships and speciation times of human, chimpanzee, and gorilla inferred from a coalescent hidden Markov model. PLoS Genet\u00a03(2), e7 (2007)","journal-title":"PLoS Genet"},{"issue":"3","key":"3_CR13","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1101\/gr.114751.110","volume":"21","author":"A. Hobolth","year":"2011","unstructured":"Hobolth, A., Dutheil, J.Y., Hawks, J., Schierup, M.H., Mailund, T.: Incomplete lineage sorting patterns among human, chimpanzee, and orangutan suggest recent orangutan speciation and widespread selection. Genome Res.\u00a021(3), 349\u2013356 (2011)","journal-title":"Genome Res."},{"issue":"1\/2","key":"3_CR14","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/BF00625967","volume":"9","author":"K. Jensen","year":"1996","unstructured":"Jensen, K.: Condensed State Spaces for Symmetrical Coloured Petri Nets. Formal Methods in System Design\u00a09(1\/2), 7\u201340 (1996)","journal-title":"Formal Methods in System Design"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets. Modeling and Validation of Concurrent Systems. Springer-Verlag New York Inc. (June 2009)","DOI":"10.1007\/b95112"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Li, H., Durbin, R.: Inference of human population history from individual whole-genome sequences. Nature (July 2011)","DOI":"10.1038\/nature10231"},{"issue":"7331","key":"3_CR17","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1038\/nature09687","volume":"469","author":"D.P. Locke","year":"2011","unstructured":"Locke, D.P., et al.: Comparative and demographic analysis of orang-utan genomes. Nature\u00a0469(7331), 529\u2013533 (2011)","journal-title":"Nature"},{"issue":"3","key":"3_CR18","doi-asserted-by":"publisher","first-page":"1001319","DOI":"10.1371\/journal.pgen.1001319","volume":"7","author":"T. Mailund","year":"2011","unstructured":"Mailund, T., Dutheil, J.Y., Hobolth, A., Lunter, G., Schierup, M.H.: Estimating Divergence Time and Ancestral Effective Population Size of Bornean and Sumatran Orangutan Subspecies Using a Coalescent Hidden Markov Model. PLoS Genet.\u00a07(3), e1001319 (2011)","journal-title":"PLoS Genet."},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1186\/1471-2105-6-252","volume":"6","author":"T. Mailund","year":"2005","unstructured":"Mailund, T., Schierup, M.H., Pedersen, C.N.S., Mechlenborg, P.J.M., Madsen, J.N., Schauser, L.: CoaSim: a flexible environment for simulating genetic data under coalescent models. BMC Bioinformatics\u00a06, 252 (2005)","journal-title":"BMC Bioinformatics"},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1186\/1471-2156-7-16","volume":"7","author":"P. Marjoram","year":"2006","unstructured":"Marjoram, P., Wall, J.D.: Fast \u201ccoalescent\u201d simulation. BMC Genetics\u00a07, 16 (2006)","journal-title":"BMC Genetics"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-52494-0_23","volume-title":"Advances in Petri Nets 1989","author":"M. Marsan","year":"1990","unstructured":"Marsan, M.: Stochastic Petri Nets: An Elementary Introduction. In: Rozenberg, G. (ed.) APN 1989. LNCS, vol.\u00a0424, pp. 1\u201329. Springer, Heidelberg (1990)"},{"issue":"1459","key":"3_CR22","doi-asserted-by":"publisher","first-page":"1387","DOI":"10.1098\/rstb.2005.1673","volume":"360","author":"G.A.T. McVean","year":"2005","unstructured":"McVean, G.A.T., Cardin, N.J.: Approximating the coalescent with recombination. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences\u00a0360(1459), 1387\u20131393 (2005)","journal-title":"Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences"},{"issue":"1","key":"3_CR23","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1137\/S00361445024180","volume":"45","author":"C. Moler","year":"2003","unstructured":"Moler, C., van Loan, C.: Nineteen Dubious Ways to Compute the Exponential of a Matrix, Twenty-Five Years Later. SIAM Review\u00a045(1), 3\u201349 (2003)","journal-title":"SIAM Review"},{"issue":"4","key":"3_CR24","doi-asserted-by":"publisher","first-page":"1115","DOI":"10.1534\/genetics.110.125534","volume":"187","author":"J.S. Paul","year":"2011","unstructured":"Paul, J.S., Steinrucken, M., Song, Y.S.: An Accurate Sequentially Markov Conditional Sampling Distribution for the Coalescent With Recombination. Genetics\u00a0187(4), 1115\u20131128 (2011)","journal-title":"Genetics"},{"key":"3_CR25","unstructured":"Pr\u00fcfer, K., et al.: The bonobo genome compared with the genomes of chimpanzee and human, under review at Nature"},{"key":"3_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/3-540-44919-1_28","volume-title":"Applications and Theory of Petri Nets 2003","author":"A. Vinter Ratzer","year":"2003","unstructured":"Vinter Ratzer, A., Wells, L., Lassen, H.M., Laursen, M., Qvortrup, J.F., Stissing, M.S., Westergaard, M., Christensen, S., Jensen, K.: CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 450\u2013462. Springer, Heidelberg (2003)"},{"issue":"7327","key":"3_CR27","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1038\/nature09710","volume":"468","author":"D. Reich","year":"2010","unstructured":"Reich, D., et al.: Genetic history of an archaic hominin group from denisova cave in siberia. Nature\u00a0468(7327), 1053\u20131060 (2010)","journal-title":"Nature"},{"issue":"4","key":"3_CR28","doi-asserted-by":"publisher","first-page":"516","DOI":"10.1016\/j.ajhg.2011.09.005","volume":"89","author":"D. Reich","year":"2011","unstructured":"Reich, D., et al.: Denisova admixture and the first modern human dispersals into southeast asia and oceania. Am. J. Hum. Genet.\u00a089(4), 516\u2013528 (2011)","journal-title":"Am. J. Hum. Genet."},{"issue":"7388","key":"3_CR29","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1038\/nature10842","volume":"483","author":"A. Scally","year":"2012","unstructured":"Scally, A., et al.: Insights into hominid evolution from the gorilla genome sequence. Nature\u00a0483(7388), 169\u2013175 (2012)","journal-title":"Nature"},{"issue":"3","key":"3_CR30","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1109\/TCBB.2006.31","volume":"3","author":"Y.S. Song","year":"2006","unstructured":"Song, Y.S., Lyngso, R., Hein, J.: Counting All Possible Ancestral Configurations of Sample Sequences in Population Genetics. IEEE\/ACM Transactions on Computational Biology and Bioinformatics (TCBB)\u00a03(3), 239 (2006)","journal-title":"IEEE\/ACM Transactions on Computational Biology and Bioinformatics (TCBB)"},{"issue":"1","key":"3_CR31","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1093\/molbev\/msl160","volume":"24","author":"O. Thalmann","year":"2007","unstructured":"Thalmann, O., Fischer, A., Lankester, F., P\u00e4\u00e4bo, S., Vigilant, L.: The complex evolutionary history of gorillas: insights from genomic data. Mol. Biol. Evol.\u00a024(1), 146\u2013158 (2007)","journal-title":"Mol. Biol. Evol."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31131-4_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:47:01Z","timestamp":1620128821000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31131-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642311307","9783642311314"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31131-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}