Bisimilar Booleanization of multivalued networks

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 n...

Full description

Saved in:
Bibliographic Details
Published inBioSystems Vol. 197; p. 104205
Main Authors Delaplace, Franck, Ivanov, Sergiu
Format Journal Article
LanguageEnglish
Published Elsevier B.V 01.11.2020
Elsevier
Subjects
Automatic booleanization
Biological network modelling
Biotechnology
Bisimulation
Boolean network
Computer Science
Logic in Computer Science
Multivalued network
Symbolic Computation
Multivalued network
Boolean network
Bisimulation
Biological network modelling
Automatic booleanization
Online AccessGet full text

Cover

More Information
Summary: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.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 23
ISSN:0303-2647
1872-8324
DOI:10.1016/j.biosystems.2020.104205