From Workflow Design Patterns to Logical Specifications. Automatyka/Automatics, [S. l.], v. 17, n. 1, p. 59, 2015. DOI: 10.7494/automat.2013.17.1.59. Disponível em: https://journals.agh.edu.pl/automat/article/view/1623. Acesso em: 14 mar. 2025.