A problem of Boolean network covering is considered and an algorithm for its solution is described. Modifications of the algorithm are suggested. Computer programs implementing the covering algorithms are described and the results of experimental investigation of the programs are given.
展开▼
