Reduction of Workflow Nets for Generalised Soundness Verification.

Hadrien Bride, Olga Kouchnarenko, Fabien Peureux

Browse the full VMCAI paper archive.