state-machine - 在 NuSMV 2.6 版中实现并行状态机的最佳方法是什么？

Question

我正在尝试将状态机（在 中给出scxml）转换为NuSMV2.6 版，我在用户手册中遇到了这一点：

绕过它的最佳方法是什么？在没有进程的 NuSMV 中表示并行状态机的最佳方法是什么？有 flatten 方法，但是当超过 3 个状态时就很复杂了。所以我寻求更好的方法。

谢谢！