Годлевский, А.Б.; Потиенко, С.В.
(2010)
В символьном моделировании транзиционных систем аналогом их состояний являются логические формулы над множеством атрибутов. Правила переходов исходной системы служат основой для построения моделирующих правил, которые ...