Alignment-Based Replayer

This node implements the alignment-based replayer, which accepts an event log and a Petri net as input and outputs the optimal alignments of the traces after replaying the event log on the Petri net. Alignment-based replay is the state-of-the-art technique in conformance checking. Alignments provide a robust and detailed view on the deviations between the log and the model. Three types of moves are considered while constructing the alignments:

• Sync Move:
  The classification of the current event corresponds to the firing transitions in Petri net. In this case, during replaying, both the trace and the process model move to next comparison.
• Log Move:
  The classification of the current event doesn't have any corresponding firing transitions in Petri net. During replaying, the trace moves forward but the state of process model doesn't change.
• Model Move:
  The firing transitions in Petri net have no corresponding event in the trace. During replaying, the model moves forwards but the state of the event log doesn't change.

Options

Case ID

The column that contains the case/trace identifiers.

Activity

The column that contains the activity/event identifiers.

Timestamp

The column that contains the timestamps.

Replay Strategy

The replay strategy to be applied. The following options are available:

• ILP Replayer: this repalyer calculates the optimal alignment based on ILP.
• Non-ILP Replayer.
• A*-ILP Based Manifest Replayer: this replayer is reserved for performance checking. It generates the Manifest to wrap the alignments.

Log Move Cost

The default cost for a log move in a non-negative integer. By default, it is 1.

Enable Custom Log Move Costs

Enable to assign custom costs for single log moves, overriding the default log move cost.

Custom Log Move Costs

Assign custom costs for single log moves, overriding the default log move cost.

Model Move Cost

The default cost for a model move in a non-negative integer. By default, it is 1.

Enable Custom Model Move Costs

Enable to assign custom costs for single model moves, overriding the default model move cost.

Custom Model Move Costs

Assign custom costs for single model moves, overriding the default model move cost.

Synchronous Move Cost

The default cost for a Synchronous move in a non-negative integer. By default, it is 0.

Enable Custom Synchronous Move Costs

Enable to assign custom costs for single synchronous moves, overriding the default synchronous move cost.

Custom Synchronous Move Costs

Assign custom costs for single synchronous moves, overriding the default synchronous move cost.

Views

This node has no views

Workflows

• Fine ManagementKNIME Hub
• PM4PyKNIME Hub
• Ticketing ManagementKNIME Hub

Links

• No links available

Developers