Рассматривается способ формализованного описания алгоритмов функционирования управляющих дискретных устройств промышленной автоматики. Способ базируется на введении модели дискретного объекта и математического аппарата дилогических графов и обобщенных асинхронных событий. Проведена типизация объектов из различных отраслей промышленности. Изложены основы математического аппарата и дано его применение для описания типовых условий работы управляющих дискретных устройств.