Zakharova A.G. Application of "probabilistic automaton" when modeling electricity mining equipment equipment. Vestnik Kuzbasskogo gosudarstvennogo tekhnicheskogo universiteta=Bulletin of the Kuzbass State Technical University. 2014; 4(104):123-126. (In Russ., abstract in Eng.).