Issue No. 03 - May-June (2013 vol. 10)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TCBB.2013.79
To model biological systems using networks, it is desirable to allow more than two levels of expression for the nodes and to allow the introduction of parameters. Various modeling and simulation methods addressing these needs using Boolean models, both synchronous and asynchronous, have been proposed in the literature. However, analytical study of these more general Boolean networks models is lagging. This paper aims to develop a concise theory for these different Boolean logic-based modeling methods. Boolean models for networks where each node can have more than two levels of expression and Boolean models with parameters are defined algebraically with examples provided. Certain classes of random asynchronous Boolean networks and deterministic moduli asynchronous Boolean networks are investigated in detail using the setting introduced in this paper. The derived theorems provide a clear picture for the attractor structures of these asynchronous Boolean networks.
random processes, bioinformatics, Boolean algebra, physiological models,biological system model, deterministic moduli asynchronous Boolean network, random asynchronous Boolean network, Boolean algebra, Boolean logic-based modeling method, simulation method, node multiexpression level,Limit-cycles, Biological system modeling, Analytical models, Computational modeling, Biological systems, Vectors, Mathematical model,Boolean networks, gene regulatory networks, multistate, asynchronous, bioinformatics, computational biology,
"Boolean Networks with Multiexpressions and Parameters", IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol. 10, no. , pp. 584-592, May-June 2013, doi:10.1109/TCBB.2013.79