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

【问题标题】：Timed Indexed Color sets in CPN Tools that results in Unhandled Exception ErrorCPN 工具中的定时索引颜色集导致未处理的异常错误
【发布时间】：2013-09-15 21:45:23
【问题描述】：

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

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

型号是： http://imgur.com/JUjPRHK

模型的声明是： http://imgur.com/DvvpyvH

错误信息是：

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

谢谢~

【问题讨论】：

标签： sml ml petri-net

【解决方案1】：

我知道这是一个老问题，但是我遇到了同样的问题并且在这方面浪费了太多时间，所以也许它会在未来对其他人有所帮助。

我不明白这是什么原因，但是当您在结束过渡的拱门上使用时间值时似乎会出现问题（我正在使用 将整数值更新为当前时间IntInf.toInt(time()))。现在，如果我将代码移到该过渡的传出拱门（即：以某个地方结束的拱门）上，则不会出现错误。

【讨论】：