automata - 生成 Promela 模型的自动机图像

Question

我正在使用 SPIN 模型检查器 GUI - iSPIN。 GUI 附带了一个很好的自动机 View 生成器，但是为了查看完整的自动机，我需要放大/缩小。如果可能的话，我还想将该自动机保存在漂亮的图像中(避免使用打印屏幕)。有没有办法保存从 SPIN 或其他工具生成的自动机图像，该工具可以基于 Promela 模型生成自动机？

PS 下面的图像显示了我想要保存的生成的自动机图像。显然我无法仅通过打印屏幕来重新创建它。

Answer 1

您可以将-D选项与pan一起使用来生成dot文件。尝试:

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

生成PS文件。