Сборники тезисов • Сборник тезисов докладов конгресса молодых ученых. Выпуск 1 • ИНФОРМАЦИОННЫЕ СИСТЕМЫ И ТЕХНОЛОГИИ
ПРОЕКТИРОВАНИЕ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ДЛЯ МОДЕЛИРОВАНИЯ СЕТЕЙ ПЕТРИ–МАРКОВА
УДК: 004.942
Аннотация:
Использование сетей Петри–Маркова – один из наиболее подходящих способов
моделирования систем с параллельным ходом выполнения компонентов. К системам такого
вида можно отнести:
- выполнение независимых частей программы на ЭВМ;
- строительство объектов;
- аппаратное обеспечение ЭВМ.