Создание автоматического изображения моей модели Promela

Question

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

PS Ниже приведено изображение, демонстрирующее изображение Automaton, которое я хотел бы сохранить. Очевидно, я не смогу воссоздать его только на экране печати.

Answer 1

Ты можешь использовать -D вариант с pan создать файл для dot, Пытаться:

./pan -D > pan.dot
dot -Tps pan.dot -o pan.ps

создать файл PS.