ProM Plugin: Filter Event Log
Filter event log (Create new filter)
Filter event log using existing event filter
launches the Event Filter on Event Log Visualizer
with the given filter stack pre-loaded; loading the notebook can take a while depending on the size of the event log and the notebook.
edit the filter stack and re-export