Motivation: In systems biology, modelling strategies aim to decode how molecular components interact to generate dynamical behaviour. Boolean modelling is more and more used, but the description of the dynamics from two-levels components may be too limited to capture certain dynamical properties. %However, in Boolean models, the description of the dynamics may be too limited to capture certain dynamical properties. Multivalued logical models can overcome this limitation by allowing more than two levels for each component. However, multivaluing a Boolean model is challenging. Results: We present MRBM, a method for efficiently identifying the components of a Boolean model to be multivalued in order to capture specific fixed-point reachabilities in the asynchronous dynamics. To this goal, we defined a new updating scheme locating reachability properties in the most permissive dynamics. MRBM is supported by mathematical demonstrations and illustrated on a toy model and on two models of stem cell differentiation.

翻译：动机：在系统生物学中，建模策略旨在解码分子组分如何相互作用以产生动力学行为。布尔建模的应用日益广泛，但基于二值组分的动力学描述可能过于局限，无法捕捉某些动力学特性。多值逻辑模型通过允许每个组分具有两个以上的取值水平，可以克服这一限制。然而，将布尔模型多值化具有挑战性。结果：我们提出了MRBM方法，用于高效识别布尔模型中需要多值化的组分，以捕捉异步动力学中特定的不动点可达性。为此，我们定义了一种新的更新方案，将可达性性质定位于最大允许动力学中。MRBM方法得到了数学证明的支持，并在一组玩具模型和两个干细胞分化模型上进行了示例验证。