Demo Conformance Checking - pm4knime/pm4knime-document GitHub Wiki

In this part, the demand to do conformance checking is shown at first. Conformance checking needs a process model and an event log as inputs. But in reality, an event log is possibly not provided directly in .xes format, instead, in CSV file. The following concrete workflow is provided as one sample to deal with this situation.

https://github.com/pm4knime/pm4knime-document/blob/master/images/demo-simple-conformance-check.PNG

One example workflow with PM4KNIME is shown below:

https://github.com/pm4knime/pm4knime-document/blob/master/images/demo-simple-conformance-check-wf.PNG

To create the workflow shown above, the following steps are required.

  1. Download the dataset. Extract the CSV file running-example.csv from the downloaded dataset.
  2. Import the CSV file into KNIME with node CSV Reader. The detail on this node can be found in the link.
  • Configure the settings like this dialog image
  • Execute the node and get the Data table. image
  1. Convert the Data table into event log with the node Table2XLog Converter.
  • In the Option Tab, we set the necessary attributes to generate an event log. image
  • In Choose attribute set Tab, we choose optional attributes for the event log. image
  • Execute the node and we get the event log.
  1. Import the Petri net which is generated from the last step.
  2. Replay the event log on Petri net
    • Connect the Alignment-Based Replayer(Default) with the event log and Petri net output.
    • Configure the node with the settings image
    • Execute the nodes and check the result in alignment image
  3. Check the fitness and precision on the Petri net and event.
    • Connect the alignment result with Fitness Checker. Here no parameter is required. image One view is provided to show the projection on Petri net. image
    • Connect the alignment result with Precision Checker, given the setting image image