Towards approximate equivalences of workflow processes

yongzhi cao,guoqing chen
DOI: https://doi.org/10.2991/icebi.2010.51
2010-01-01
Abstract:Well-known notions of equivalence such as trace equivalence and bisimulation have been used to compare workflow processes; they describe the equivalence of processes whose activities are identical in each step. Possessing exactly the same activity in each step is quite rigorous, and sometimes we may meet processes which fail to fit this condition but which have quite similar behavior. To characterize this kind of looser equivalences, we introduce an approximate version of trace equivalence and bisimulation in this paper.
What problem does this paper attempt to address?