ProM 6.10
ProM 6.10 is a release targeted at researchers. Researchers should be able to refer to this release knowing that it will not change, as any change may invalidate obtained (and published) results. If you do not need to publish any results, please consider to install the latest end-user release (ProM Lite 1.3). This end-user release contains less functionality (it will not contain the latest research prototypes that ProM 6.10 does contain), but does come with updates.
ProM 6.10 requires at least Java 8. ProM 6.10 will also run under Java 9 or later, but this has not been extensively tested yet. If possible, use Java 8.
Downloads
- Windows installer with 64-bit JRE8
- EXE / 87,059 KB
- Windows installer with 32-bit JRE8
- EXE / 82,954 KB
- Windows installer without JRE8
- EXE / 16,355 KB
- TAR.GZ archive (all platforms)
- TAR.GZ / 10,624 KB
- ZIP archive (all platforms)
- ZIP / 10,628 KB
Installation of the ProM 6.10 framework
Windows
Download one of the installers listed above, and run the installer.
Linux, Mac OS
Download one of the compressed archive listed above and unpack the archive in some folder.
Installation of the ProM 6.10 packages
The downloads as mentioned above only contain the ProM 6.10 framework. They do not contain the ProM 6.10 packages that contain the vast majority of the plug-ins. Once the ProM 6.10 framework has been download (and installed), the packages can be installed through the ProM 6.10 Package Manager.
- Start ProM 6.10 Package Manager.
- On Windows, you can do this through the Start Menu.
- On Windows, you can do this by double-clicking the ProMPM610.bat file in the folder where you have installed ProM 6.10.
- On Linux and Mac OS X, you can do this by starting a shell or terminal, going to the folder where you have unpacked the archive, and by running the ProMPM610.sh file. On Mac OS X, please do not double click the ProMPM610.sh file, as this starts Xcode to edit the file instead of running it.
- Make sure the Not installed tab is shown and that the RunnerUpPackages package is selected. This should be done by default, but better to check anyways.
- Select the Install button. As a result, a lot of packages will be downloaded and installed. At the end, either wait for the External Packages Required dialog to close by itself, or select the OK button.
- Optional: Select the amount of memory ProM 6.10 may use in the bar at the bottom.
- Stop ProM 6.10 Package Manager.
Now all packages have been installed, and now we can start ProM 6.10 for the first time, that is, we can start the maiden run of ProM 6.10. This is a critical step in the installation procedure, as ProM 6.10 will now build a cache of all plug-ins that if finds in any of the packages that have been installed, which takes some time. Please be patient.
- Start ProM 6.10.
- On Windows, you can do this by double-clicking the ProM610.bat file in the folder where you have installed ProM 6.10.
- On Windows, you could also do this through the Start Menu. However, as the maiden run of ProM 6.10 is really critical, we advice against it, and propose to start it using the ProM610.bat file.
- On Linux and Mac OS X, you can do this by starting a shell or terminal, going to the folder where you have unpacked the archive, and by running the ProM610.sh file. On Mac OS X, please do not double click the ProM610.sh file, as this starts Xcode to edit the file instead of running it.
- Stop ProM 6.10. Although not strictly necessary, this is good to do as building the cache has consumed resources that will remain claimed during the maiden run of ProM 6.10. It is really better to start ProM 6.10 again after having done the maiden run.
The brave and impatient may decide to skip this procedure and to just start ProM 6.10, which will start the ProM 6.10 Package Manager to download and install packages etc. However, as the maiden run of ProM 6.10 is critical, we advice against it, and propose to follow the procedure as mentioned above.
Later on, you may decide to add some extra packages to the set of installed packages, or to remove some. To do so, simply start the ProM 6.10 Package Manager, install and/or remove packages, and stop the ProM 6.10 Package Manager. The following start of ProM 6.10 should show the plug-ins contained in the newly installed packages, or should not show those in the removed packages.