×
大卫·吉尔伯特;莫妮卡·海纳;克里斯蒂安·罗尔

基于Petri网的DNA步行器电路的二维设计。 （英语） Zbl 1528.68118号

自然计算。 17，第1期，161-182（2018）.
摘要：我们考虑局部DNA计算，其中DNA链沿着二元决策图行走以计算二元函数。可靠步行电路的设计面临的挑战之一是泄漏跃迁，当步行器跳入决策图的另一分支时会发生泄漏跃迁。我们可以自动识别泄漏过渡，从而对电路设计、设计比较和设计优化进行详细的定性和定量评估。识别泄漏跃迁的能力是优化DNA电路布局过程中的一个重要步骤，其目的是最小化电路中固有的计算错误，同时最小化电路面积。我们的DNA步行器电路的二维建模方法依赖于彩色随机Petri网，它使功能、拓扑和维度都能集成在一个二维模型中。我们的建模和分析方法可以很容易地扩展到三维步行系统。

MSC公司：

2007年第68季度 受生物启发的计算模型（DNA计算、膜计算等）
2006年第68季度 作为计算模型的网络和电路；电路复杂性
68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等）

关键词：

随机Petri网;有色Petri网;DNA步行器系统;设计评估;泄漏过渡;结构分析;定性分析;随机分析;模拟模型检查

软件：

清爽;查理;玛丽;可视化DSD
PDF格式BibTeX公司 XML格式引用
\textit{D.Gilbert}等人，《自然计算》。17，第1号，161--182（2018；Zbl 1528.68118）
全文： 内政部

参考文献：

[1] Baier C，Haverkort B，Hermanns H，Katoen JP（2000）通过瞬态分析检验连续时间马尔可夫链的模型。In：程序。CAV 2000。LNCS 1855。施普林格，第358-372页·Zbl 0974.68017号
[2] Barbot B，Kwiatkowska M（2015）《使用随机Petri网对DNA步行电路进行定量建模和验证》。In：程序。PETRI NETS 2015年。LNCS，第9115卷。施普林格，第1-32页（2015年）·Zbl 1432.68144号
[3] Bath J，Green SJ，Turberfield AJ（2005）一种由切割酶驱动的自由运行DNA马达。Angew Chem公司117（28）：4432-4435·doi:10.1002/ange.200501262
[4] Blätke M，Heiner M，Marwan W（2015）使用Petri网的生物模型工程。爱思唯尔，阿姆斯特丹，第141-193页
[5] Boemo M，Lucas A，Turberfield A，Cardelli L（2016）自主DNA步行电路的形式语言和设计原则。ACS合成生物5:878-884·doi:10.1021/acssynbio.5b00275
[6] Chen YJ、Dalchau N、Srinivas N、Phillips A、Cardelli L、Soloveichik D、Seelig G（2013）DNA制可编程化学控制器。国家纳米技术8（10）：755-762·doi:10.1038/nnano.2013.189
[7] Clarke EM、Grumberg O、Peled D（2001）模型检查。麻省理工学院出版社，剑桥·doi:10.1016/B978-044450813-3/50026-6
[8] Cormen T，Leiserson C，Rivest R，Stein C（2001）算法导论，第2版。麻省理工学院出版社，剑桥·Zbl 1047.68161号
[9] Dannenberg F（2016）DNA纳米技术建模与验证。牛津大学巴利奥尔学院博士论文
[10] Dannenberg F、Kwiatkowska M、Thachuk C、Turberfield A（2015）《DNA行走电路：计算潜力、设计和验证》。自然计算14（2）：195-211·Zbl 1415.68078号 ·doi:10.1007/s11047-014-9426-9
[11] Gilbert D，Heiner M，Lehrack S（2007）使用Petri网建模和分析生化途径的统一框架。In：程序。CMSB 2007年。LNCS/LNBI，第4695卷。施普林格，pp 200-216
[12] Gilbert D、Heiner M、Liu F、Saunders N（2013）《着色空间——系统生物学空间建模的彩色框架》。In:Colom J，Desel J（编辑）Proc。PETRI NETS 2013，LNCS，第7927卷。施普林格，第230-249页·Zbl 1381.92035号
[13] Haverkort B、Cloth L、Hermanns H、Katoen JP、Baier C（2002）《模型检验性能特性》。IEEE计算机学会出版社，华盛顿特区，第103-112页
[14] Heiner M，Gilbert D（2013）《多尺度系统生物学的生物模型工程》。生物物理与分子生物学进展111（2-3）：119128。https://doi.org/10.1016/j.pbimolbio.2012.10.001 ·doi:10.1016/j.pbiomolbio.2012.10.001
[15] Heiner M、Gilbert D、Donaldson R（2008）《系统和合成生物学中的Petri网》。输入：SFM。LNCS，第5016卷。施普林格，第215-264页
[16] Heiner M、Lehrack S、Gilbert D、Marwan W（2009）《基于模型的湿式实验室实验设计的扩展随机Petri网》。在：LNCS/LNBI，第5750卷。施普林格，第138-163页·Zbl 1260.68268号
[17] Heiner M、Herajy M、Liu F、Rohr C、Schwarick M（2012）Snoopy-统一Petri网工具。In：程序。PETRI NETS 2012，LNCS，第7347卷。施普林格，第398-407页
[18] Heiner M、Rohr C和Schwarick M（2013）高效地进行了MARCIE模型检查和可达性分析。In:Colom J，Desel J（编辑）Proc。PETRI NETS 2013，LNCS，第7927卷。施普林格，第389-399页
[19] Heiner M、Schwarick M、Wegener J（2015）Charlie——一种可扩展Petri网分析工具。In：程序。Petri网，LNCS，第9115卷。施普林格，pp 200-211·兹比尔1432.68309
[20] Jung J，Hyun D，Shin Y（2015）具有空间定域门的DNA电路的物理合成。2015年IEEE第33届计算机设计国际会议（ICCD）。IEEE，第259-265页
[21] Kwiatkowska M，Norman G，Parker D（2007）《随机模型检验》。输入：SFM。LNCS，第4486卷。施普林格，pp 220-270·Zbl 1323.68379号
[22] Lakin M、Youssef S、Polo F、Emmott S、Phillips A（2011）《可视化DSD：DNA链置换系统的设计和分析工具》。生物信息学27（22）：3211-3213·doi:10.1093/bioinformatics/btr543
[23] Liu F、Heiner M、Rohr C（2012）《史努比有色Petri网手册》
[24] Pârvu O，Gilbert D（2014）使用伪三维时空模型检查对计算模型进行自动验证。BMC系统生物学8（124）：1-24
[25] Phillips A，Cardelli L（2009）可组合DNA电路的编程语言。J R Soc接口6（补充4）：S419-S436·doi:10.1098/rsif.2009.0072.focus
[26] Priese L，Wimmel H（2003）理论信息学-Petri网。柏林施普林格（德语）·Zbl 1137.68452号
[27] Rohr C（2017）有色扩展随机Petri网的模拟分析。计算机科学系BTU Cottbus博士论文（已提交）
[28] Schwarick M、Rohr C、Heiner M（2016）MARCIE手册。BTU科特布斯，CS学院
[29] Wickham S、Endo M、Katsuda Y、Hidaka K、Bath J、Sugiyama H、Turberfield A（2011）《合成分子转运体逐步运动的直接观察》。国家纳米技术6（3）：166-169·doi:10.1038/na2010.284
[30] Wickham S、Bath J、Katsuda Y、Endo M、Hidaka K、Sugiyama H、Turberfield A（2012）基于DNA的分子马达，可以导航轨道网络。国家纳米技术7（3）：169-173·doi:10.1038/nnano.2011.253
[31] Yin P，Yan H，Daniell XG，Turberfield AJ，Reif JH（2004）一种沿着轨道自主移动的单向DNA步行器。Angew Chem国际编辑43（37）：4906-4911·doi:10.1002/anie.200460522
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。