Exercise 1

The event log we will start to analyse contains the following three traces:

1x Case1 A B C D
1x Case2 A C B D
1x Case3 A E D

These traces are recorded in exercise1.xes. Please answer the following questions for this event log:

  1. Import the event log from the file exercise1.xes.

  2. Inspect the contents of exercise1.xes using the log visualization option in ProM and answer the following questions:

    1. In what timeframe do the events in exercise1.xes occur?
    2. When did the event “B” occur for “case2.0” and who executed it?
    3. What is the relative occurrence and what is the frequency of the event “E”?
    4. Inspect the contents of exercise1.xes using a text editor. Can you distinguish between the 'header' of the file and the actual traces and events? What does the header include?
  3. Construct a transition system using the Transition System Miner in ProM 6. Be sure to set the “key classifier collection” type to “list” and the “collection size” to “no limit” in the second wizard screen. Accept all default settings in all the other wizard screens.

  4. Try to construct a Petri net by hand which can replay the traces recorded in exercise1.xes. Use 5 transitions that represent the actions A through E. Try to allow as little extra behavior as possible (e.g. no 'flower'-nets).

  5. Create a Petri net from the transition system using the “Transition System to Petrinet” plug-in in ProM. Hint: with the result of the Transition System Miner open, press the “play”-button on the top right.

Solutions

  1. See the ProM tutorial for an explanation on how to import event logs into ProM.


    1. On the right hand side of the log visualization dashboard, as shown in the figure below, the start and end date of the event log is provided. The answer is from 9 December 2008 8:20:01 CET until 9 December 2008 8:23:01 CET, or in a timeframe of 3 minutes.
    2. By inspecting case2.0 we can look up the occurrence of event B and we can see that this event occurred on 9 December 2008 8:22:01.527 CET and that is was executed by UNDEFINED, as is shown in the figure below.
    3. The relative occurrence can be found in the log summary and indicates of all events, how many are of E. In our case 9% of the events in the event log is E, as is shown in the top figure below. The frequency of event E can be found by going to the explorer mode in the inspector. As we can see in the bottom figure below the frequency of E is 33.3% which means that event E occurs at least once in one third of the traces in the event log.
    4. If you open exercise1.xes in a text editor with XML syntax highlighting you get something like the figure below.
  2. See the result of the Transition System Miner in the figure below.

  3. The top figure below shows how to start the Transition System Miner, the correct settings are shown in the mdidle figure below. The expected result is shown in the bottom figure below.

  4. The resulting Petri net is shown in the figure below.