Reference:
Behaviour Equivalence and Compatibility of Business Process Models with Complex Correspondences (Matthias Weidlich, Remco M. Dijkman, and Mathias Weske), In Comput. J., volume 55, 2012.
Bibtex Entry:
@article{DBLP:journals/cj/WeidlichDW12,
author = {Matthias Weidlich and
Remco M. Dijkman and
Mathias Weske},
title = {Behaviour Equivalence and Compatibility of Business Process Models
with Complex Correspondences},
journal = {Comput. J.},
volume = {55},
number = {11},
pages = {1398--1418},
year = {2012},
url = {https://doi.org/10.1093/comjnl/bxs014},
doi = {10.1093/comjnl/bxs014},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/WeidlichDW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
pdf = {https://www.informatik.hu-berlin.de/%7eweidlima/pubs/weidlich_comjnl_2012_behaviour_equivalence_compatibility.pdf}
}