CONFORMANCE
Applies to: CELONIS 4.2 CELONIS 4.3 CELONIS 4.4 CELONIS 4.5 CELONIS 4.6
CONFORMANCE flags activities whether they are conformant with the given model. READABLE returns violation descriptions in English. To use the model from the conformance checker sheet, the CONFORMANCE query can be written to a variable.
Conformance Description
This operator matches cases against a Petri net. It flags activities which are violating the Petri net defined behavior. This is achieved with a Petri net based token replay with backtracking and error repair. This allows to use the same activity multiple times as places in the Petri net.
A common use case is to generate the Petri net from a BPMN model and use it as input for the conformance checker.
Syntax
CONFORMANCE ( activity_table.string_column, [ places ], [ transitions ], [ edges ], [ mapping ], [ start_places ], [ end_places ] )
activity_column: The activity column of the activity table.
places: List of places in the Petri net.
transitions: List of transitions in the Petri net.
edges: List of edges from places to transitions and transitions to places.
mapping: Mapping of activity names to transitions.
start places: List of start places of the Petri net.
end_places: List of end places of the Petri net.
Return values
Integer column fitting to the activity column. Flags violations:
R = 0: Activity matches the Petri net.
R < 0: Activity is not mapped to a transition. Violating transitions are always determined based on existing activities, e.g. undesired activities are not taken into account in this violation type.
R > 0: A positive result number describes which activity step violates the Petri net. The 32 most significant bits of the result value describe the source activity and the other 32 bits the target activity of the violating step.
R = 2147483647: Case ended before reaching an end place.
R = 2147483646: Could not evaluate the case because the model requires too much computation power. In most cases, such models can be transferred into equivalent, simpler models.
READABLE Description
This operator converts the integer values of the CONFORMANCE operator into meaningful strings. (Since: CELONIS 4.6)
Syntax
READABLE ( conformance_query )
Return values
conformance_query: The CONFORMANCE query (see above). Can also be retrieved from the model in the conformance checker sheet using a variable.
Conforms: Activity matches the Petri net.
X is an undesired activity: Activity is not mapped to a transition.
X is followed by Y: The transition is not found in the specified Petri net. Violating transitions are always determined based on existing activities, e.g. undesired activities are not taken into account in this violation type.
X is executed as start activity: Case starts with the false activity.
Incomplete: Case ended before reaching an end place.
Too complex: Could not evaluate the case because the model requires too much computation power. In most cases, such models can be transferred into equivalent, simpler models.
Examples
[1] In this simple example the case fully matches the Petri net.  | ||
| ||
[2] In this simple example a non matched activity (C) is part of the case. | ||
| ||
[3] In this simple example the second A activity violates the Petri net. | ||
| ||
[4] In this simple example the case doesn't violate the Petri net but stops in the middle of the case. | ||
| ||
[5] In this simple example the case doesn't violate the Petri net but stops in the middle of the case. | ||
| ||
[6] In this simple example the start activity B violates the Petri net: | ||
| ||
[7] In this example, activity C is not mapped to any transition on this Petri Net: Therefore it is marked as undesired and ignored by the conformance algorithm. After ignoring C, the variant becomes | ||
| ||