2

我正在使用 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

"

谢谢~

4

1 回答 1

0

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

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

于 2014-10-26T09:46:07.270 回答