Автоматизация, метро Петровско-Разумовская