双关语

PUNF-Petri网展开器。PUNF构造了一个安全Petri网的有限完备前缀。它既可以作为单独的实用程序使用,也可以作为PEP工具的一部分使用。PUNF生成的前缀可以作为输入传递给CLP模型检查器。