Reduction Rules for Colored Workflow Nets.

Javier Esparza, Philipp Hoffmann

Browse the full FASE paper archive.