I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Reduction Rules for Colored Workflow Nets


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

Suggested BibTeX entry:

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

PDF (358 kB)