一、安装ProM framework
安装任意版本的都可
二、安装ProM packages
上述所提下载链接只包含了ProM的框架下载包,并未包含ProM插件包的下载。下载ProM框架后,可以通过ProM的包管理器下载插件。
下载插件的步骤如下所示:
1.启动ProM包管理器
在Windows上:
方式一:可以通过开始菜单;
方式二:可以通过双击ProMPM69.bat文件。
2.确保选择的是“Not installed”菜单下的“RunnerUpPackages”下拉选项。一般来说,应该是默认选择的,但最好还是确认一下。
3.单击“install”按钮,然后就会跳转页面并进行安装。安装的时候页面不会显示进度条,耐心等待直到“OK”按钮变成可选的状态。
4.可选项:选择ProM框架可能会用到的最大内存。
5.关闭ProM包管理器。
所有的包都已经安装了,然后我们可以第一次启动ProM框架了。这是安装的关键步骤,因为ProM将会为所安装的插件加载一些缓存文件。这可能需要一点时间,耐心等待哦。