@incollection{Verbeek_2000,
    doi = {10.1007/3-540-44988-4_28},
    url = {https://doi.org/10.1007%2F3-540-44988-4_28},
    year = {2000},
    publisher = {Springer Berlin Heidelberg},
    pages = {475--484},
    author = {Eric Verbeek and Wil M. P. van der Aalst},
    title = {Woflan 2.0 A Petri-Net-Based Workflow Diagnosis Tool},
    booktitle = {Lecture Notes in Computer Science}
}

@incollection{Verbeek_2000, doi = {10.1007/3-540-44988-4_28}, url = {https://doi.org/10.1007%2F3-540-44988-4_28}, year = {2000}, publisher = {Springer Berlin Heidelberg}, pages = {475--484}, author = {Eric Verbeek and Wil M. P. van der Aalst}, title = {Woflan 2.0 A Petri-Net-Based Workflow Diagnosis Tool}, booktitle = {Lecture Notes in Computer Science} }