Single-Entry Single-Exit decomposed conformance checking

Single-Entry Single-Exit decomposed conformance checking