Analysis and control of boolean networks : A Semi-tensor product approach.