Soundness-preserving reduction rules for reset workflow nets
scientific article; zbMATH DE number 5531324