托马斯·梅隆德;安德斯·霍勒格尔（Anders E.Halager）。;迈克尔·韦斯特加德 使用有色Petri网构建合并隐马尔可夫模型：从人口统计规范到有效推理方法的自动转换。 （英文） 兹比尔1358.92069 Haddad，Serge（编辑）等人，《Petri网的应用和理论》。第33届国际会议，2012年6月25日至29日，德国汉堡，PETRI NETS 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31130-7/pbk）。计算机科学课堂讲稿7347，32-50（2012）。 摘要：过去十年来，生物技术的进步使得从许多密切相关的物种中收集大量DNA序列数据在经济和技术上都是可行的。这使我们能够研究最近物种形成和人口统计的详细进化历史。然而，提取DNA序列所包含的信息需要复杂的统计方法，其中的一个限制因素是处理大型DNA序列祖先跨越的巨大状态空间。最近开发了一种新的分析方法，即CoalHMM，它使得扫描完整基因组序列（物种的完整遗传信息）并从中提取遗传历史在计算上可行。然而，应用这种方法需要构建祖先历史的完整状态空间。这不可能手动完成，但通过应用Petri网等形式化方法，可以构建复杂的进化历史并自动推导所需的分析模型。本文描述了如何使用有色随机Petri网构建复杂人口场景下的CoalHMM。关于整个系列，请参见[Zbl 1245.68011号]. MSC公司： 92D15型 与进化有关的问题 62亿02 马尔可夫过程：假设检验 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 92D10型 遗传学和表观遗传学 92D20型 蛋白质序列，DNA序列 关键词：有色随机Petri网;DNA序列数据;物种形成 PDF格式BibTeX公司 XML格式引用 \textit{T.Mailund}等人，Lect。注释计算。科学。7347，32-50（2012；Zbl 1358.92069） 全文： 内政部