生成我的 Promela 模型的自动机图像

Question

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

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

Answer 1

您可以使用-D选项 withpan为dot. 尝试：

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

生成一个PS文件。