Abstract:
In this paper we consider the problem of stabilization of Boolean networks, namely, the question of the presence of point attractors in an asynchronous Boolean network. A criterion of stabilization is found depending on fixed components of Boolean network: graph, Boolean transition functions, initial state, order of update.