A data pattern can be regarded as one edge (in the projection on process model)
between a transition (or a log move) and a data attribute indicating
an access to a data element observed in the log.
A log move pattern can regarded as a log move transition aggregated from all identical log moves
(projected on process model) between its preset (preceding transitions) and its post set (succeeding transitions).
A POSyncMoveNode in the partially ordered graph represents a synchronized
move between the trace and the model A POSyncMoveNode node is assigned the
specific shape ShapeSyncMove
Extended class of SyncReplayResult to include information that is needed to compute
partially ordered alignment
Added: a list "indices" from a move in alignment to the corresponding index in the trace.
Added: the alignment graph of PartialOrderGraph
Added: the unfolded petrinet of POAlignmtUnfoldedNet
Added: the synchronous product of SyncProductModel
Added: the partially ordered trace PTrace
This extension provides input attributes and output attributes
for logs, traces and events
It defines two attributes:
- data:input: whose nested attributes are input attributes
read by logs, traces or events
- data:output: whose nested attributes are output attributes
written by logs, traces or events