Промышленные АСУ и контроллеры Аннотация к статье << Назад Моделирование логических систем управления на основе трансформационных сетей (Т-сетей) Мацнев А.П. Статья посвящена построению адекватной модели сложной дискретной системы. Проведенный анализ позволяет исследовать наиболее важные свойства системы и может дать информацию о причинах неудовлетворительного функционирования. В статье предлагается метод моделирования сложных логических систем управления с использованием математического аппарата трансформационных сетей. Доказано, что предлагаемый метод абстрактного моделирования дискретных систем на основе математического аппарата трансформационных сетей может гарантировать надежную работу всей сложной информационной системы. Проведенный анализ показал, что затраты на математическое моделирование сложной дискретной системы сказываются существенно меньше, чем потери, связанные с неудовлетворительным функционированием информационной системы, наличием тупиков в работе системы и восстановлением ее работоспособности. Ключевые слова: трансформационная сеть (Т-сеть); сеть Петри; предикатная сеть; абстрактное моделирование. Контактная информация: E-mail: matsnev_it@mail.ru Стр. 35-38.