ProM 6.13

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

ProM 6.13 requires at least Java 8. ProM 6.13 will also run under Java 9 or later, but this has not been extensively tested yet. If possible, use Java 8.

Downloads

On November 16, 2023, the bundled Open JRE has been replaced by an Oracle JRE, as the Open JRE lacked support for JavaFX, which is required by some plug-ins.

Installation of the ProM 6.13 framework

Windows

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

Linux, Mac OS

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

Installation of the ProM 6.13 packages

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

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

Now all packages have been installed, and now we can start ProM 6.13 for the first time, that is, we can start the maiden run of ProM 6.13. This is a critical step in the installation procedure, as ProM 6.13 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.13.
   • On Windows, you can do this by double-clicking the ProM613.bat file in the folder where you have installed ProM 6.13.
   • On Windows, you could also do this through the Start Menu. However, as the maiden run of ProM 6.13 is really critical, we advice against it, and propose to start it using the ProM613.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 ProM613.sh file. On Mac OS X, please do not double click the ProM613.sh file, as this starts Xcode to edit the file instead of running it.
2. Stop ProM 6.13. 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.13. It is really better to start ProM 6.13 again after having done the maiden run.

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

Other versions of ProM

ProM

• ProM 6.12
• ProM 6.11
• ProM 6.10
• ProM 6.9
• ProM 6.8
• ProM 6.7
• ProM 6.6
• ProM 6.5.1a
• 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

ProM Lite

• ProM Lite 1.4
• ProM Lite 1.3
• ProM Lite 1.2
• ProM Lite 1.1
• ProM Lite 1.0

Links

• Troubleshooting