004.415.28
Организация базы знаний о переходах системы с атрибутами перечислимых типов / С. В. Потиенко //
УСиМ: Управляющие системы и машины : междунар. науч. журн. - . - N 6. - С. 49-52. - Библиогр. в конце ст. - ISSN 0130-5395.
(Шифр в БД У481695/2012/6)
УДК
004.415.28
004.415.52

Ключові слова: модели многокомпонентных систем -- моделі багатокомпонентних систем -- методика инсерционного моделирования -- методика інсерційного моделювання -- базовые протоколы -- базові протоколи --
Анотація:
Предложен метод построения базы знаний о переходах моделируемой системы для решения проблемы определения допустимости переходов в символьном моделировании.
Запропоновано метод побудови бази знань про переходи модельованої системи для вирішення проблеми визначення допустимості переходів в символьному моделюванні.