Analysis and Control of Boolean Networks presents a systematic new approach to the investigation of Boolean control networks. The fundamental tool in this approach is a novel matrix product called the
A generalization of Conventional Matrix Product (CMP), called the Semi-Tensor Product (STP), is proposed. It extends the CMP to two arbitrary matrices and maintains all fundamental properties of CMP.