Discrete modelling frameworks of Biological networks can be divided in two distinct categories: Boolean and Multi-valued. Although Multi-valued 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 Multi-valued 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 Multi-valued one.

中文翻译：

---

多值网络到布尔网络的双相似转换

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