This is an old revision of the document!


A PCRE internal error occured. This might be caused by a faulty plugin

====== ProM 6.8 ====== ~~NOTOC~~ {{ ::prom68.png?direct |}} ProM 6.8 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 ([[promlite12|ProM Lite 1.2]]). This end-user release contains less functionality (it will not contain the latest research prototypes that ProM 6.8 does contain), but does come with updates. ProM 6.8 requires Java 8 because some packages require Java 8. The framework itself will run under Java 7, and many packages will also run under Java, but some packages will not. Therefore, we advice users to use Java 8. ProM 6.8 will also run under Java 9 or Java 10, but this has not been extensively tested yet. If possible, use Java 8. ===== Downloads ===== <html> <dl> <dt><a onClick="_gaq.push(['_trackEvent', 'Download', 'ProM 6.8', 'Windows installer with 64-bit JRE8']);" href="prom6/downloads/prom-6.8-jre8-installer.exe">Windows installer with 64-bit JRE8</a></dt><dd>EXE / 109,410 KB</dd> <dt><a onClick="_gaq.push(['_trackEvent', 'Download', 'ProM 6.8', 'Windows installer with 32-bit JRE8']);" href="prom6/downloads/prom-6.8-jre8x86-installer.exe">Windows installer with 32-bit JRE8</a></dt><dd>EXE / 105,305 KB</dd> <dt><a onClick="_gaq.push(['_trackEvent', 'Download', 'ProM 6.8', 'Windows installer without JRE8']);" href="prom6/downloads/prom-6.8-installer.exe">Windows installer without JRE8</a></dt><dd>EXE / 38,698 KB</dd> <dt><a onClick="_gaq.push(['_trackEvent', 'Download', 'ProM 6.8', 'Mac with 64-bit JRE8 and bundle app']);" href="prom6/downloads/prom-68-jre8-mac.zip">Mac with 64-bit JRE8 and bundle app</a></dt><dd>ZIP / 87,466 KB</dd> <dt><a onClick="_gaq.push(['_trackEvent', 'Download', 'ProM 6.8', 'Tar archive']);" href="prom6/downloads/prom-6.8-all-platforms.tar.gz">TAR.GZ archive (all platforms)</a><dt><dd>TAR.GZ / 31,375 KB</dd> <dt><a onClick="_gaq.push(['_trackEvent', 'Download', 'ProM 6.8', 'Zip archive']);" href="prom6/downloads/prom-6.8-all-platforms.zip">ZIP archive (all platforms)</a><dt><dd>ZIP / 31,380 KB</dd> </html> ===== Installation of the ProM 6.8 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.8 packages ===== The downloads as mentioned above only contain the ProM 6.8 framework. They do not contain the ProM 6.8 packages that contain the vast majority of the plug-ins. Once the ProM 6.8 framework has been download (and installed), the packages can be installed through the **ProM 6.8 Package Manager**. - Start **ProM 6.8 Package Manager**. * On Windows, you can do this through the **Start Menu**. * On Windows, you can do this by double-clicking the **ProMPM68.bat** file in the folder where you have installed ProM 6.8. * 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 **ProMPM68.sh** file. On Mac OS X, please do not double click the **ProMPM68.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 **RunnerUpPackages** 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.8 may use in the bar at the bottom. - Stop **ProM 6.8 Package Manager**. Now all packages have been installed, and now we can start **ProM 6.8** for the first time, that is, we can start the maiden run of ProM 6.8. This is a critical step in the installation procedure, as ProM 6.8 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.8**. * On Windows, you can do this by double-clicking the **ProM68.bat** file in the folder where you have installed ProM 6.8. * On Windows, you could also do this through the Start Menu. However, as the maiden run of ProM 6.8 is really critical, we advice against it, and propose to start it using the **ProM68.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 **ProM68.sh** file. On Mac OS X, please do not double click the **Prom68.sh** file, as this starts **Xcode** to edit the file instead of running it. - Stop **ProM 6.8**. 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.8. It is really better to start ProM 6.8 again after having done the maiden run. The **brave and impatient** may decide to skip this procedure and to just start **ProM 6.8**, which will start the **ProM 6.8 Package Manager** to download and install packages etc. However, as the maiden run of ProM 6.8 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.8 Package Manager**, install and/or remove packages, and stop the **ProM 6.8 Package Manager**. The following start of **ProM 6.8** 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 ==== * [[prom67|ProM 6.7]] * [[prom66|ProM 6.6]] * [[prom651a|ProM 6.5.1a]] * [[prom651|ProM 6.5.1]] * [[prom65|ProM 6.5]] * [[prom641|ProM 6.4.1]] * [[prom64|ProM 6.4]] * [[prom63|ProM 6.3]] * [[prom62|ProM 6.2]] * [[prom61|ProM 6.1]] * [[prom60|ProM 6.0]] ==== ProM Lite ==== * [[promlite12|ProM Lite 1.2]] * [[promlite11|ProM Lite 1.1]] * [[promlite|ProM Lite 1.0]] ===== Links ===== * [[troubleshooting:start|Troubleshooting]] * [[https://svn.win.tue.nl/trac/prom/wiki/ProM68/ReleaseNotes|Release notes]] * [[https://svn.win.tue.nl/trac/prom/wiki/ProM68/ChangeLogs|Change logs]]