title: Symbolic approach to verification and control of deterministic/probabilistic Boolean networks.
abstract: A Boolean network (BN) is well known as one of the models of biological networks such as gene regulatory networks, and has been extensively studied. In this study, for a BN, the verification/control problems are discussed. First, a probabilistic model including both synchronous and asynchronous Boolean dynamics is derived. This model can be generalised as a probabilistic BN. Next, a solution method of the verification/control problems is proposed, based on a probabilistic model checker PRISM. Finally, the PRISM-based method is applied to an apoptosis network and a WNT5A network. The proposed approach provides us an easy and convenient tool for analysis and control of biological networks.
authors.affiliation: School of Information Science, Japan Advanced Institute of Science and Technology, Ishikawa 923-1292, Japan.
authors.forename: K
authors.initials: K
authors.lastname: Kobayashi
authors.forename: K
authors.initials: K
authors.lastname: Hiraishi
mesh_terms: D000818:Animals; D017209:Apoptosis / Q000502:physiology; D004331:Drosophila melanogaster / Q000235:genetics; D053263:Gene Regulatory Networks; D006801:Humans; D008954:Models, Biological; D008957:Models, Genetic; D015233:Models, Statistical; D049490:Systems Biology / Q000379:methods*; D051153:Wnt Proteins / Q000235:genetics
chemical_list: D051153:Wnt Proteins