Question

我正在使用CPN Tools来建模分布式系统。 CPN Tools使用CPN ML作为SML的扩展。项目主页是：cpntools.org

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

模型是： 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

“

谢谢〜

Answer 1

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

我并不完全理解这个原因，但是当你在一个结束转换的拱门上玩时间值时，似乎会出现问题（我正在将整数值更新为当前时间，使用< EM> IntInf.toInt（时间（）））。现在，如果我在该过渡的传出拱上移动代码（即：以某个地方结束的那个），则没有错误。

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

1 个答案: