Перевод диаграмм потоков работ (перспектив потока управления и перспективы ресурсов) в PROMELA для последующей верификации в SPIN.