Discrete modelling frameworks of Biological networks can be divided in two distinct categories: Boolean and multivalued. Although multivalued networks are more expressive for qualifying the regulatory behaviours modelled by more than two values, the ability to automatically convert them to Boolean network with an equivalent behaviour breaks down the fundamental borders between the two approaches. Theoretically investigating the conversion process provides relevant insights into bridging the gap between them. Basically, the conversion aims at finding a Boolean network bisimulating a multivalued one. In this article, we investigate the bisimilar conversion where the Boolean integer coding is a parameter that can be freely modified. Based on this analysis, we define a computational method automatically inferring a bisimilar Boolean network from a given multivalued one.

生物网络的离散建模框架可以分为两个不同的类别：布尔型和多值型。尽管多值网络在限定由两个以上值建模的监管行为方面更具表现力，但自动将它们转换为具有等效行为的布尔网络的能力打破了两种方法之间的基本界限。从理论上研究转换过程提供了弥合它们之间差距的相关见解。基本上，转换旨在找到一个布尔网络双模拟一个多值的。在本文中，我们研究了双相似转换，其中布尔整数编码是一个可以自由修改的参数。基于此分析，我们定义了一种计算方法，可以从给定的多值网络中自动推断出双相似布尔网络。