Using Business Transactions to Analyse the Consistency of Business Process Models. - Artur Caetano; Aurélio Assis; José M. Tribolet (HICSS, 2012)

An Application of the ψ-Theory to the Analysis of Business Process Models. - Artur Caetano; Aurélio Assis; José Borbinha; José Tribolet (CONFENIS, 2012)