Bisimilar Conversion of Multi-valued Networks to Boolean Networks

01/21/2020
by   Franck Delaplace, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/03/2023

Coevolving Boolean and Multi-Valued Regulatory Networks

Random Boolean networks have been used widely to explore aspects of gene...
research
09/08/2020

TaBooN – Boolean Network Synthesis Based on Tabu Search

Recent developments in Omics-technologies revolutionized the investigati...
research
04/23/2019

A formalization of forcing and the unprovability of the continuum hypothesis

We describe a formalization of forcing using Boolean-valued models in th...
research
07/27/2017

Non-Count Symmetries in Boolean & Multi-Valued Prob. Graphical Models

Lifted inference algorithms commonly exploit symmetries in a probabilist...
research
12/12/2021

Interpreting Lambda Calculus in Domain-Valued Random Variables

We develop Boolean-valued domain theory and show how the lambda-calculus...
research
09/05/2021

Steady state distributions in generalized exclusion processes

The asymmetric simple exclusion process (ASEP) is a model of particle tr...
research
07/26/2023

Reliability Analysis of a Multi-State Truly-Threshold System Using a Multi-Valued Karnaugh Map

This paper deals with the Boolean-based analysis of a prominent class of...

Please sign up or login with your details

Forgot password? Click here to reset