Carolina Chiao, Lucinéia Thom, Cirano Iochpe, and Manfred Reichert. 2008. Verifying Existence and Composition of Workflow Activity Patterns in Real Process Models. In Anais do IV Simpósio Brasileiro de Sistemas de Informação, abril 07, 2008, Rio de Janeiro, Brasil. SBC, Porto Alegre, Brasil, 164-175. DOI: https://doi.org/10.5753/sbsi.2008.5926.