克劳迪娜·朝义亚;伊丽莎白·雷米;保罗·吕特;丹尼斯·蒂夫里 遗传网络的定性建模：从逻辑调控图到标准Petri网。 （英语） Zbl 1094.68581号 Cortadella，Jordi（编辑）等人，《Petri网的应用和理论》，2004年。2004年6月21日至25日，第25届国际会议，意大利博洛尼亚ICATPN 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22236-7/pbk）。计算机科学课堂讲稿3099137-156（2004）。 摘要：本文提出了一种基于标准Petri网模型的逻辑遗传调控图的系统重写方法。我们表明，在布尔情况下，将逻辑方法与标准Petri网框架相结合，可以分析孤立的调节电路，从而确定其最基本的动力学特性。此外，还介绍了两个更现实的应用，第一个用于控制发育中的苍蝇的早期细胞周期，第二个用于处理花的形态发生。逻辑和Petri网形式主义的结合为描述复杂调节系统的反馈结构和动力学特性之间的特定关系开辟了新的前景。此外，这种方法应该简化包括各种相互作用的网络综合模型的定义：遗传或代谢调节、信号转导级联。。。关于整个系列，请参见[Zbl 1052.68002号]. 引用于11文件 理学硕士： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 92D10型 遗传学和表观遗传学 PDF格式BibTeX公司 XML格式引用 \textit{C.Chaouiya}等人，Lect。注释计算。科学。3099、137--156（2004年；Zbl 1094.68581） 全文： 内政部