Reference:

Javier Esparza and Philipp Hoffmann. Reduction rules for colored workflow nets. In FASE, pages 342–358. Springer, 2016.

Suggested BibTeX entry:

@inproceedings{DBLP:conffaseEsparzaH16,
    author = {Javier Esparza and Philipp Hoffmann},
    booktitle = {FASE},
    pages = {342--358},
    publisher = {Springer},
    title = {Reduction Rules for Colored Workflow Nets},
    year = {2016}
}