FusionMINERFul
========================================================================
FusionMINERFul is an optimized version of Fusion Miner that contains a model checking component and the ability to learn the flexibility needed to mine an event log.
About
-----
FusionMINERFul is an extension to [Fusion Miner](http://www.processmining.be/fusionminer/), which now makes use of [MINERFul](http://github.com/cdc08x/MINERful) for discovering the declarative part of the event log. It has a built-in model checker which can also serve as a tool for determining the level of entropy that is needed to extract a useful model from the event log.
Implementation
--------------
Fusion Miner has been implemented as a [ProM 6](//www.promtools.org) plugin. The following JAR file contains the plugin:
* [Version of 2016-06-02](downloads/FusionMINERFul_020616.jar)
You will need to make sure that ProM can find the downloaded JAR in its classpath. To do so, you can create a folder `plugins` in the ProM installation directory, place the downloaded JAR file in this directory, and start ProM with the following command (Windows example):
java -classpath ./plugins/*;./lib/*;./* -Djava.util.Arrays.useLegacyMergeSort=true -Djava.library.path=./lib -ea -Xmx2g -XX:MaxPermSize=512m -XX:+UseCompressedOops org.processmining.contexts.uitopia.UI
The plugin relies on [MINERFul.jar](http://github.com/cdc08x/MINERful/blob/master/MINERful.jar), as well as [PetriNets.jar](http://svn.win.tue.nl/trac/prom/browser/Packages/RelationalXES/Trunk/packagelib/PetriNets.jar?rev=17455), [BPMN.jar](http://www.promtools.org), [automaton.jar](http://www.brics.dk/automaton/download.html), and [Fodina.jar](http://www.processmining.be/fodina/) which need to be included in the `plugins` folder as well.
Contact
-------
Contact the authors at:
* [Johannes De Smedt](mailto:johannes.desmedt@kuleuven.be) (corresponding author)
Department of Decision Sciences and Information Management, KU Leuven
Naamsestraat 69, B-3000 Leuven, Belgium
Screenshots
-----------
[
](#i01)
[
](#i02)
[
](#i03)