杰森·斯格尔斯 抽象异步多值网络。 （英语） Zbl 1424.92017年 科学。Ann.计算。科学。 21，第2期，249-282（2011）. 摘要：多值网络为生物系统提供了一种简单而富有表现力的基于状态的定性建模方法。在本文中，我们为异步多值网络模型开发了一种抽象理论，该理论允许缩减模型的状态空间，同时保留模型的关键属性。因此，抽象理论为处理状态空间爆炸问题提供了一种机制，并支持多值网络的分析和比较。我们以同步多值网络的抽象理论为出发点，该理论基于表示此类模型行为的有限迹集。将此方法扩展到异步情况的问题是，我们现在可以拥有与模型关联的无限多个跟踪集，这使得简单的跟踪包含测试不可行。为了解决这个问题，我们开发了一个用于检查异步抽象的决策过程，该过程基于使用异步多值网络的有限状态图来推理其跟踪语义。我们通过一个基于色氨酸生物合成调控的多值网络模型的详细案例研究来说明提取技术大肠杆菌. 理学硕士： 92立方厘米 系统生物学、网络 92C40型 生物化学、分子生物学 关键词：多值网络;抽象技术;生物模拟;定性建模 PDF格式BibTeX公司 XML格式引用 \textit{J.Steggles}，科学。Ann.计算。科学。21，第2号，249--282（2011；Zbl 1424.92017） 全文： arXiv公司