ФОРМАЛИЗАЦИЯ ПРОЦЕССОВ ЭЛЕКТРОННОГО ДОКУМЕНТООБОРОТА ТЕХНИЧЕСКОЙ ДОКУМЕНТАЦИИ С ПОМОЩЬЮ СЕТЕЙ ПЕТРИ
МОДЕЛИРОВАНИЕ ПРОЦЕССОВ ЭЛЕКТРОННОГО ДОКУМЕНТООБОРОТА ТЕХНИЧЕСКОЙ ДОКУМЕНТАЦИИ С ПОМОЩЬЮ СЕТЕЙ ПЕТРИ
МОДЕЛИРОВАНИЕ И ОЦЕНКА ВРЕМЕНИ ПОИСКА И УСТРАНЕНИЯ ОТКАЗОВ СИСТЕМ ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ И ТЕЛЕМЕХАНИКИ С ПОМОЩЬЮ СЕТЕЙ ПЕТРИ
МОДЕЛИРОВАНИЕ И ОЦЕНКА ВРЕМЕНИ ПОИСКА НЕИСПРАВНОСТЕЙ В СИСТЕМАХ ИНТЕРВАЛЬНОГО РЕГУЛИРОВАНИЯ ДВИЖЕНИЯ ПОЕЗДОВ НА БАЗЕ ИЕРАРХИЧЕСКИХ ЦВЕТНЫХ СЕТЕЙ ПЕТРИ