6 / 11
Рис. 2. Процессные графы переходов простой (
а
) и сложной (
б
) списковых мо-
делей
некорректностей описания списковых моделей, приведенная в рабо-
те [2]. В работе [1] для формулировки условий некорректного опи-
сания этих моделей предложено сначала представить их в виде про-
цессных графов переходов, далее сформулировать условия коррект-
ности поведения этих графов как высказываний на языке временн ´ой
модальной логики, а затем получить условия некорректного описания
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2015. № 1 105