ProM 6.5.1a

ProM 6.5.1a is a service release for ProM 6.5.1 that only fixes some bugs in some packages (see the Change Logs for ProM 6.5.1a for details). The framework for ProM 6.5.1a is the same as the framework for ProM 6.5.1, only some packages have changed. To install ProM 6.5.1a, one first installs ProM 6.5.1, and then updates the ProM.ini file that comes with ProM 6.5.1 into the one that matches ProM 6.5.1a.

ProM 6.5.1a 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). This end-user release contains less functionality (it will not contain the latest research prototypes that ProM 6.5.1a does contain), but does come with updates.

Windows installer with 64-bit JRE7

EXE / 81,257 KB

Windows installer with 32-bit JRE7

EXE / 79,063 KB

Windows installer without JRE7

EXE / 35,057 KB

Mac with 64-bit JRE7 and bundle app

ZIP / 81,885 KB

Mac with bundle app

ZIP / 30,506 KB

TAR.GZ archive (all platforms)

TAR.GZ / 30,217 KB

ZIP archive (all platforms)

ZIP / 30,751 KB

Download one of the installers listed above, and run the installer.

Download one of the compressed archive listed above and unpack the archive in some folder.

The downloads as mentioned above only contain the ProM 6.5.1 framework. They do not contain the ProM 6.5.1 packages that contain the vast majority of the plug-ins. Once the ProM 6.5.1 framework has been download (and installed), the packages can be installed through the ProM 6.5.1 Package Manager.

1. Download ProM.ini file for ProM 6.5.1a.
2. Copy the downloaded file over the ProM.ini file of ProM 6.5.1 (in the folder where you have installed ProM 6.5.1).
3. Start ProM 6.5.1 Package Manager.
   • On Windows, you can do this through the Start Menu.
   • On Windows, you can do this by double-clicking the ProM651PM.bat file in the folder where you have installed ProM 6.5.1.
   • 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 ProM651PM.sh file. On Mac OS X, please do not double click the Prom651PM.sh file, as this starts Xcode to edit the file instead of running it.
4. 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.
5. 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.
6. Optional: Select the amount of memory ProM 6.5.1 may use in the bar at the bottom.
7. Stop ProM 6.5.1 Package Manager.

Experienced users can also change the ProM.ini file from ProM 6.5.1 into the ProM.ini file from ProM 6.5.1a, by opening it in a text editor and changing the URL_REPOSITORY on line 16. For ProM 6.5.1, this line reads:

PACKAGE_URL = http://www.promtools.org/prom6/packages651/packages.xml

whereas for ProM 6.5.1a this line should read:

PACKAGE_URL = http://www.promtools.org/prom6/packages651a/packages.xml

(the only change is that “651” has been replaced by “651a”).

Now all packages have been installed, and now we can start ProM 6.5.1 for the first time, that is, we can start the maiden run of ProM 6.5.1. This is a critical step in the installation procedure, as ProM 6.5.1 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.

1. Start ProM 6.5.1.
   • On Windows, you can do this by double-clicking the ProM651.bat file in the folder where you have installed ProM 6.5.1.
   • On Windows, you could also do this through the Start Menu. However, as the maiden run of ProM 6.5.1 is really critical, we advice against it, and propose to start it using the ProM651.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 ProM651.sh file. On Mac OS X, please do not double click the Prom651.sh file, as this starts Xcode to edit the file instead of running it.
2. Stop ProM 6.5.1. 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.1. It is really better to start ProM 6.5.1 again after having done the maiden run.

The brave and impatient may decide to skip this procedure and to just start ProM 6.5.1, which will start the ProM 6.5.1 Package Manager to download and install packages etc. However, as the maiden run of ProM 6.5.1 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.1 Package Manager, install and/or remove packages, and stop the ProM 6.5.1 Package Manager. The following start of ProM 6.5.1 should show the plug-ins contained in the newly installed packages, or should not show those in the removed packages.

1. Download ProM.ini file for ProM 6.5.1a.
2. Copy the downloaded file over the ProM.ini file of ProM 6.5.1 (in the folder where you have installed ProM 6.5.1).
3. Start ProM 6.5.1 Package Manager.
   • On Windows, you can do this through the Start Menu.
   • On Windows, you can do this by double-clicking the ProM651PM.bat file in the folder where you have installed ProM 6.5.1.
   • 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 ProM651PM.sh file. On Mac OS X, please do not double click the Prom651PM.sh file, as this starts Xcode to edit the file instead of running it.
4. Select the Out of date tab. The updated packages should show here.
5. Select all packages. On Windows, you can do this by first selecting one package, and then press CTRL+A.
6. Select the Update button. As a result, the updated packages will be downloaded and installed.
7. Stop ProM 6.5.1 Package Manager.

• On Windows, you can do this through the Start Menu.
• On WIndows, you can do this by double-clicking the ProM651.bat file in the folder where you have installed ProM 6.5.1.
• 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 ProM651.sh file. On Mac OS X, please do not double click the Prom651.sh file, as this starts Xcode to edit the file instead of running it.

• Troubleshooting
• Release notes
• Change logs
• ProM 6.5.1
• ProM 6.5
• ProM 6.4.1
• ProM 6.4
• ProM 6.3
• ProM 6.2
• ProM 6.1
• ProM 6.0