Sml CPN工具中的定时索引颜色集导致未处理的异常错误

我正在使用CPN工具对分布式系统进行建模。CPN工具使用CPN ML作为SML的扩展。项目主页为：cpntools.org

我从一个简单的模型开始，当我试图使一个特定的索引颜色集计时时，我得到一个“内部错误”。在我的Petri网模型中还有另一个索引颜色集，它是定时的并且工作正常。我不知道如何排除故障，因为我不理解错误消息。你能帮我解释一下错误信息，或者给我一些提示，说明我可能做错了什么吗

模型是：

模型的声明如下：

错误消息是：

Internal error: Compile error when generating code. Caught error.../compiler/TopLevel/interact/evalloop.sml:296.17-296.20../compiler/TopLevel/interact/evalloop.sml:44.55../compiler/TopLevel/interact/evalloop.sml:66.19-66.27

structure CPN`TransitionID1413873858 = struct ... end (* see simulator debug info for full code *)

simglue.sml:884.12-884.43

"

---

谢谢~

我知道这是一个老问题，但我遇到了同样的问题，在这个问题上浪费了太多时间，所以也许这会在将来帮助其他人

我不知道这到底是什么原因，但当你在一个以转换结束的拱门上玩时间值时，问题似乎就出现了（我正在使用IntInf.toInt（time（））将一个整数值更新到当前时间）。现在，如果我移动该转换的传出拱门上的代码（即：在某个位置结束的拱门）没有错误