Alignments for Trace Fragments
摘要
Alignments, as introduced in Section 3.5, are usually defined for complete traces, i.e., traces that span the process from start to completion.