FoldA: Computing Partial-Order Alignments Using Directed Net Unfoldings

Open in new window