This is an old revision of the document!


ProM Lite 1.2

Description

ProM Lite 1.2 is a release for end users (see the Release Notes for details). 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 ot refer to ProM from any publication, refer to the latest regular release (in this case, ProM 6.7).

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

Downloads

Installation of the ProM Lite 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.

Installing the ProM Lite 1.2 packages

Run ProM Lite 1.1 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.2 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.2

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

Other versions of ProM

ProM

ProM Lite