Я использую графический интерфейс для проверки моделей SPIN — iSPIN. Графический интерфейс поставляется с хорошим генератором представления автоматов, однако, чтобы увидеть полный автомат, мне нужно увеличивать/уменьшать масштаб. Также я хотел бы сохранить этот автомат в красивом изображении (избегайте использования экрана печати), если это возможно. Есть ли способ сохранить созданный образ автомата из SPIN или другого инструмента, который может генерировать автомат на основе модели Promela?
PS Ниже приведено изображение, показывающее созданный образ Automaton, который я хотел бы сохранить. Очевидно, я не смогу воссоздать его только с помощью экрана печати. 
