Weighted Soundness for Workflow Nets.

Piotr Hofman, Krzysztof Makuracki, Filip Mazowiecki

Browse the full CAV paper archive.