Return to Article Details Application of algebra of events and states to the synthesis of mine automation schemes Download Download PDF