Improving the Evolutionary Tree Miner

The Evolutionary Tree Miner (ETM) is a genetic process discovery algorithm that works on process trees, a specific process modelling formalism. Recently work has started on an interactive process discovery algorithm where the user is guided to modify a free-choice Petri net in such a way that the Petri net is always sound.

The master project would consist initially of ‘connecting’ the ETM to this interactive process discovery approach, hence replacing the human. The main benefit would be that the ETM does not solely work on process trees any more (which can be somewhat restrictive), but directly on Petri nets in such a way that they are guaranteed to remain sound.

After this initial step several other improvement steps can be applied to the ETM such as extending the work in deriving alignments, estimating quality of a process model, smarter mutations, smarter application of mutations, starting from solutions created by other algorithms, etc. etc.

Therefore an important part is the implementation of these ideas in the ETM which is implemented in our toolset ProM. Good programming skills in Java are therefore important, no matter if you are a BIS or a CSE student.


For more information, contact Joos Buijs.