SPIN モデル チェッカー GUI - iSPIN を使用しています。GUI には便利なオートマトン ビュー ジェネレーターが付属していますが、完全なオートマトンを表示するにはズームイン/ズームアウトする必要があります。また、可能であれば、そのオートマトンを素敵な画像で保存したいと思います（印刷画面の使用は避けてください）。Promela モデルに基づいて、SPIN またはオートマトンを生成できる別のツールから生成されたオートマトン イメージを保存する方法はありますか?
PS 以下は、保存したい生成された Automaton 画像を示す画像です。もちろん、プリントスクリーンだけでは再現できません。
