吉尔伯特,大卫;莫妮卡·海纳;克里斯蒂安·罗尔 基于Petri网的DNA步行器电路的二维设计。 (英语) Zbl 1528.68118号 自然计算。 17,第1期,161-182(2018).MSC公司:2007年第68季度 2006年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{D.Gilbert}等人,《自然计算》。17,第1号,161--182(2018;Zbl 1528.68118) 全文: 内政部
莫妮卡·海纳;马丁·施瓦里克;简·蒂埃里·韦格纳 Charlie–一个可扩展的Petri网分析工具。 (英语) Zbl 1432.68309号 Devillers,Raymond(编辑)等人,Petri网和并发的应用和理论。第36届国际会议,PETRI NETS 2015,比利时布鲁塞尔,2015年6月21日至26日,会议记录。查姆:施普林格。莱克特。注释计算。科学。9115, 200-211 (2015).MSC公司:第68季度85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Heiner}等人,Lect。注释计算。科学。9115200--211(2015;Zbl 1432.68309) 全文: 内政部