Validation of process models by construction of process nets (2000)

by J Desel
Venue:In: BPM. Volume 1806 of LNCS