尼古拉斯·塞德马杰尔;迪迪埃·布克斯;史蒂夫·霍斯特特勒;阿尔班·利纳德;埃德蒙多·洛佩斯·博贝达;亚历克西斯·马雷查尔 基因调控机制分析的领域特定语言方法。 （英语） Zbl 1377.92033号 Jensen，Kurt（编辑）等人，《Petri网和其他并发模型上的事务》。VI、 柏林：施普林格出版社（ISBN 978-3-642-35178-5/pbk）。计算机科学7400课堂讲稿。《期刊副刊》，123-145（2012）。MSC公司：92C40型 PDF格式BibTeX公司 XML格式引用 \textit{N.Sedlmajer}等人，Lect。注释计算。科学。7400，123--145（2012；Zbl 1377.92033） 全文： 内政部
特夫霍斯特特勒;亚历克西斯·马雷查尔;阿尔班·利纳德;马蒂奥·里索尔迪;迪迪埃·布克斯 使用AlPiNA进行高级Petri网模型检查。 （英语） Zbl 1248.68332号 芬丹。通知。 113，编号3-4，229-264（2011）. 审核人：克里斯特尔·拜尔（德累斯顿） MSC公司：60年第68季度 68号30 68问题85 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{T.Hostettler}等人，Fundam。通知。113，第3-4、229--264号（2011；Zbl 1248.68332） 全文： 链接