ProM 6.5
Downloads
- Windows installer with 64-bit JRE7
- EXE / 78,824 KB
- Windows installer with 32-bit JRE7
- EXE / 76,630 KB
- Windows installer without JRE7
- EXE / 32,631 KB
- TAR.GZ archive (all platforms)
- TAR.GZ / 29,408 KB
- ZIP archive (all platforms)
- ZIP / 29,413 KB
Installation of the ProM 6.5 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.5 packages
The downloads as mentioned above only contain the ProM 6.5 framework. They do not contain the ProM 6.5 packages that contain the vast majority of the plug-ins. Once the ProM 6.5 framework has been download (and installed), the packages can be installed through the ProM 6.5 Package Manager.
- Start ProM 6.5 Package Manager.
- On Windows, you can do this through the Start Menu.
- On Windows, you can do this by double-clicking the ProM65PM.bat file in the folder where you have installed ProM 6.5.
- 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 ProM65PM.sh file. On Mac OS X, please do not double click the Prom65PM.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 RunnerUp 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.5 may use in the bar at the bottom.
- Stop ProM 6.5 Package Manager.
Now all packages have been installed, and now we can start ProM 6.5 for the first time, that is, we can start the maiden run of ProM 6.5. This is a critical step in the installation procedure, as ProM 6.5 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.5.
- On Windows, you can do this by double-clicking the ProM65.bat file in the folder where you have installed ProM 6.5.
- On Windows, you could also do this through the Start Menu. However, as the maiden run of ProM 6.5 is really critical, we advice against it, and propose to start it using the ProM65.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 ProM65.sh file. On Mac OS X, please do not double click the Prom65.sh file, as this starts Xcode to edit the file instead of running it.
- Stop ProM 6.5. 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.5. It is really better to start ProM 6.5 again after having done the maiden run.
The brave and impatient may decide to skip this procedure and to just start ProM 6.5, which will start the ProM 6.5 Package Manager to download and install packages etc. However, as the maiden run of ProM 6.5 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.5 Package Manager, install and/or remove packages, and stop the ProM 6.5 Package Manager. The following start of ProM 6.5 should show the plug-ins contained in the newly installed packages, or should not show those in the removed packages.