ProM Lite 1.4

ProM Lite 1.4 is a release for end users. ProM Lite only contains the most typical packages, it will only show the most typical plug-ins, and it allows to user to select whether to install new packages and/or updates when starting.

In contrast with the regular releases, updates to the packages of the ProM Lite release are possible (as are new packages, if need be). As a result, ProM Lite should not be used to refer to in any publication. ProM Lite is a moving target, and any update may invalidate scientific results obtained using it. If you need to refer to ProM from any publication, refer to the latest regular release (in this case, ProM 6.13).

Some packages of ProM Lite 1.4 are incompatible with earlier versions of ProM Lite. As a result, using the ProM Lite 1.4 packages in these earlier versions will not work properly. If you need to use the ProM Lite 1.4 packages, use ProM Lite 1.4.

ProM Lite 1.4 is identical to ProM Lite 1.3 except for the fact that the support for Google Analytics has been removed. As a result, the supporting and vulnerable Log4J library is not included in ProM Lite 1.4.

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.

ProM Lite 1.4 Windows with 64-bit JRE8
ProM Lite 1.4 Windows with 64-bit JRE8

Contains JRE 1.8.0_161.

Size: 90.8 MB
Version: ProM Lite 1.4
ProM Lite 1.4 Windows with 32-bit JRE8
ProM Lite 1.4 Windows with 32-bit JRE8

Contains JRE 1.8.0_161.

Size: 79.0 MB
Version: ProM Lite 1.4
ProM Lite 1.4 Windows without JRE
ProM Lite 1.4 Windows without JRE
Size: 14.0 MB
Version: ProM Lite 1.4
ProM Lite 1.4 All platforms (tar.gz)
ProM Lite 1.4 All platforms (tar.gz)
Size: 9.50 MB
Version: ProM Lite 1.4
ProM Lite 1.4 All platforms (zip)
ProM Lite 1.4 All platforms (zip)
Size: 9.50 MB
Version: ProM Lite 1.4

Installation of the ProM Lite framework

Windows

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

Linux, MacOS

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

Installing the ProM Lite 1.4 packages

Run ProM Lite 1.4 when you have access to the internet. All required packages will be downloaded installed automatically, Afterwards, ProM needs to check all downloaded packages for plug-ins. This may take some time, please be patient.

Installing new packages, or updates to packages

Run ProM Lite 1.4 when you have access to the internet. When starting, ProM will check whether there are any new packages and/or updates. If so, it will ask whether to install them. If yes, it will install them, after which it needs to check the new downloaded packages for plug-ins. This may take some time, please be patient.

Running ProM Lite 1.4

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

Other versions of ProM

ProM

ProM Lite