Blog Posts

ProM Tips — How to Split up an Event Log?

Wolfgang asked me the following question today:

Is there a log filter in ProM that splits an event log in two logs? The first log should contain all instances that executed a specific activity ‘X’. The second log contains all the other instances, i.e., those that did not execute activity ‘X’.

Because I get the same question more often, I figured that I share it here with you so that more people can benefit from it.

The answer is that there is no log filter that does that. Instead the LTL Checker plug-in can be used. Here is a step-by-step description:

  1. Open the log and select the LTL Checker from the Analysis menu

  2. Then select formula ‘eventually_activity_A’

  3. Provide the name of the activity as parameter A (so that would be ‘X’)

  4. Press the button Check formula

  5. Choose Export -> Correct instances -> Efficient MXML.GZ Export from the menu to export the log with all process instances that contain ‘X’

  6. Use Export -> Incorrect instances -> Efficient MXML.GZ Export to export those process instances that do not contain ‘X’

Here is a screenshot, where I export a log that contains only cases for which activity ‘Inbound Email’ was performed at some point in time.

There are a whole lot more ways to split up the event log. Check out the LTL Checker manual, which is located in the documentation folder of your ProM installation!

Leave a Comment

Get the BPI Web Feed

Using the HTML code below, you can display this Business Process Incubator page content with the current filter and sorting inside your web site for FREE.

Copy/Paste this code in your website html code:

<iframe src="" frameborder="0" scrolling="auto" width="100%" height="700">

Customizing your BPI Web Feed

You can click on the Get the BPI Web Feed link on any of our page to create the best possible feed for your site. Here are a few tips to customize your BPI Web Feed.

Customizing the Content Filter
On any page, you can add filter criteria using the MORE FILTERS interface:

Customizing the Content Filter

Customizing the Content Sorting
Clicking on the sorting options will also change the way your BPI Web Feed will be ordered on your site:

Get the BPI Web Feed

Some integration examples