In this paper, using semi-tensor product and the vector form of Boolean logical variables, the asynchronous Boolean networks under different update schemes are converted into probabilistic discrete ...