ProM 6.x is the leading academic process mining software. It provides a vast set of process mining along with a graphical interface that users can use to perform process mining analysis.
The development of ProM 6.0 is coordinated by the TUE/NL university (official mantainer: Eric Verbeek). However, at Process and Data Science group we use ProM for our analysis and we are able to develop and showcase ProM plug-ins.
We are also supporting students in using the platform by means of producing documentation about the usage of ProM in the research.