法滕·纳布利;马丁内斯,蒂埃里;弗朗索瓦·法赫斯;西尔万·索利曼 关于使用CLP和SAT解算器枚举Petri网中的最小信标:理论和实践复杂性。 (英语) Zbl 1336.92031号 约束条件 21,第2期,251-276(2016).MSC公司:92立方厘米 05C90年 PDF格式BibTeX公司 XML格式引用 \textit{F.Nabli}等人,约束21,No.2,251--276(2016;Zbl 1336.92031) 全文: 内政部 哈尔
J.基尔巴萨。;博特菲尔德,R。;舒斯特,S。;科赫,I。 使用Petri网对人类细胞中U1-snRNP组装途径在选择性剪接中的建模。 (英语) Zbl 1158.92016年9月 计算。生物化学。 33,第1号,46-61(2009).MSC公司:92C40型 68问题85 05C90年 PDF格式BibTeX公司 XML格式引用 \textit{J.Kielbassa}等人,计算。生物化学。33,第1号,46-61(2009;Zbl 1158.92016) 全文: 内政部