org.processmining.exporting.log
Classes
GroupPIsBasedEventNameEventType
GroupPIsBasedOnFollowsRelation
LogFilterExportPlugin
XMLLogExport