| 
Поиск по ключевому слову "конечные автоматы"
Разработка методов верификации элементов дискретно-событийной модели
| Авторы: Горохова А.С., Завадская Л.А., Новичкова М.А. | Опубликовано: 08.10.2024 |
| Опубликовано в выпуске: #4(93)/2024 | |
| DOI: | |
| Раздел: Математика | Рубрика: Вычислительная математика | |
| Ключевые слова: дискретно-событийная система, конечные автоматы, группа роботов, сети Петри, дерево достижимости, спецификация поведения, логическая структура последовательности строк, верификация | |
Классификация методов моделирования распределенных систем обработки информации
| Авторы: Адамова И.О. | Опубликовано: 22.03.2021 |
| Опубликовано в выпуске: #2(55)/2021 | |
| DOI: 10.18698/2541-8009-2021-2-676 | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Системный анализ, управление и обработка информации, статистика | |
| Ключевые слова: распределенные системы, моделирование распределенных систем, конечные автоматы, вероятностные автоматы, сети Петри, вложенные сети Петри, алгебры процессов, агрегативная система, агентная модель, граф | |