抽象异步多值网络：初步研究

多值网络为生物系统提供了一种简单而富有表现力的基于定性状态建模方法。本文为异步多值网络模型发展了一种抽象理论，该理论允许在保留模型关键属性的同时缩减模型的状态空间。因此，该抽象理论提供了一种应对状态空间爆炸问题的机制，并支持多值网络的分析与比较。我们以基于有限迹集（代表此类模型行为）的同步多值网络抽象理论为出发点。将该方法扩展到异步情况的问题在于，现在模型可能关联无限迹集，使得简单的迹包含测试不可行。为解决此问题，我们开发了一种基于异步多值网络有限状态图来推理其迹语义的决策过程，用于检查异步抽象。我们通过考虑一个基于大肠杆菌色氨酸生物合成调控的多值网络模型的详细案例研究，来阐述所发展的抽象技术。