异步多值网络抽象的初步研究
Abstracting Asynchronous Multi-Valued Networks: An Initial Investigation
摘要：
多值网络为生物系统提供了一种简单而富有表现力的基于定性状态的建模方法。在本文中，我们开发了一个异步多值网络模型的抽象理论，允许模型的状态空间被减少，同时保持模型的关键属性。因此，抽象理论提供了一种机制，以应对状态空间爆炸问题，并支持多值网络的分析和比较。我们把同步多值网络的抽象理论作为我们的出发点，它是基于代表这样一个模型的行为的迹的有限集合。将这种方法扩展到异步情况的问题是，我们现在可以拥有与模型相关联的无限跟踪集，这使得简单的跟踪包含测试变得不可行。为了解决这个问题，我们开发了一个决策过程，检查异步抽象的基础上使用的有限状态图的异步多值网络的原因，其跟踪语义。我们说明了开发的抽象技术，考虑一个详细的案例研究的基础上，在大肠杆菌中色氨酸生物合成的调节的多值网络模型。
英文摘要：
Multi-valued networks provide a simple yet expressive qualitative state based modelling approach for biological systems. In this paper we develop an abstraction theory for asynchronous multi-valued network models that allows the state space of a model to be reduced while preserving key properties of the model. The abstraction theory therefore provides a mechanism for coping with the state space explosion problem and supports the analysis and comparison of multi-valued networks. We take as our starting point the abstraction theory for synchronous multi-valued networks which is based on the finite set of traces that represent the behaviour of such a model. The problem with extending this approach to the asynchronous case is that we can now have an infinite set of traces associated with a model making a simple trace inclusion test infeasible. To address this we develop a decision procedure for checking asynchronous abstractions based on using the finite state graph of an asynchronous multi-valued network to reason about its trace semantics. We illustrate the abstraction techniques developed by considering a detailed case study based on a multi-valued network model of the regulation of tryptophan biosynthesis in Escherichia coli.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
