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

Question

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

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

Answer 1

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

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

生成 PS 文件。