Ml 为什么CPN工具不断恢复我的编辑?

Ml 为什么CPN工具不断恢复我的编辑?,ml,petri-net,Ml,Petri Net,编辑声明时,我键入更改并单击背景,它会立即还原我的文本 我没有语法问题,我可以删除声明并编写一个新的声明,它只是接受它,你知道是什么导致了这种令人沮丧的行为吗?我得出的最好(不满意)答案是运行CPN工具的java主机出现错误并关闭,CPN工具现在运行不稳定 重新启动系统时,编辑功能将恢复

编辑声明时,我键入更改并单击背景,它会立即还原我的文本

我没有语法问题,我可以删除声明并编写一个新的声明,它只是接受它,你知道是什么导致了这种令人沮丧的行为吗?

我得出的最好(不满意)答案是运行CPN工具的java主机出现错误并关闭,CPN工具现在运行不稳定

重新启动系统时,编辑功能将恢复