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