An Efficient Simulator for Boolean Network Models