Jean-Paul彗星;汉娜·克劳代尔;圣埃芬·利奥祖 使用高级Petri网对多值遗传调控网络进行建模。 （英语） Zbl 1128.68376号 Ciardo，Gianfranco（编辑）等人，《Petri网的应用和理论》，2005年。第26届国际会议，ICATPN 2005，迈阿密，佛罗里达州，美国，2005年6月20日至25日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-26301-2/pbk）。计算机科学课堂讲稿3536208-227（2005）。 摘要：从生物化学途径到基因调控和细胞通讯过程，调控网络是所有生物功能的核心。由于交织回溯的复杂性，很难掌握整体行为，需要开发形式化方法来对抗模型中生物系统的假定特性。我们在这里回顾了R.Thomas的巨大工作，并表明其二进制方法和多值方法可以用高级Petri网统一表示。提出了一种遗传网络的紧凑模型，其中标记表示基因的表达水平，其动态行为依赖于一定数量的生物参数。这使我们能够利用高级Petri网领域的技术和工具。一个开发的原型使生物学家能够在各种假设下系统地验证系统的一致性。这些假设被转化为时序逻辑公式，模型检查技术仅用于保留行为与生物知识一致的模型。关于整个系列，请参见[Zbl 1076.68004号]. 引用于4文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 92B99型 一般数学生物学 软件：玛丽亚;洛拉 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.彗星}等人，莱克特。注释计算。科学。3536208--227（2005年；Zbl 1128.68376） 全文： 内政部