TY  - RPRT
TI  - Reduction Rules for Colored Workflow Nets
AU  - Javier Esparza
AU  - Philipp Hoffmann
PY  - 2016
UR  - https://arxiv.org/abs/1601.01928
ID  - 1601.01928
ER  -