@ARTICLE{Lam_Vitus_S.W._Foundation_2012,
 author={Lam, Vitus S.W.},
 volume={vol. 24},
 number={No 1},
 journal={Theoretical and Applied Informatics},
 pages={33-66},
 howpublished={online},
 year={2012},
 publisher={Committee of Informatics of Polish Academy of Science},
 publisher={Institute of Theoretical and Applied Informatics of Polish Academy of Science},
 abstract={Business Process Modelling Notation (BPMN) is a visual specification language without well-defined concepts for equivalences. This necessitates the establishment of fundamental notions that underpin the equivalences of BPMN processes. The main body of the paper is centered around the principle of substitutibility in which different types of equivalences of BPMN processes are formally described. Additionally, these results provide a basis for defining the behavioural equivalence of BPMN models. Our research investigation contributes to the field of business process management by developing a tight con-nection between BPMN and its associated equivalence notions.},
 type={Artykuły / Articles},
 title={Foundation for Equivalences of BPMN Models},
 URL={http://journals.pan.pl/Content/93686/mainfile.pdf},
 keywords={BPMN, process equivalence, model equivalence, equivalence classification},
}