鼹鼠

Mole-一个Petri网展开器。该程序实现了底层Petri网的Esparza/Römer/Vogler展开算法。它被设计为与PEP项目中的工具和模型检查工具包兼容——它的输入是PEP的ll网络格式的低级Petri网,其输出是在PEP工具中也使用的mci格式的结果展开。这个工具代表了Stefan Römer的ERVunfold工具的一个改进(反过来,它是PEP中可用的EVunfold工具的增强)。而ERV的展开速度通常比这个工具要小得多。更多信息可以在自述文件中找到。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换