@inproceedings{caetano:hal-01484688, TITLE = {{An Application of the $\psi$-Theory to the Analysis of Business Process Models}}, AUTHOR = {Caetano, Artur and Assis, Aur{\'e}lio and Borbinha, Jos{\'e} and Tribolet, Jos{\'e}}, URL = {https://inria.hal.science/hal-01484688}, NOTE = {Part 2: Short Papers}, BOOKTITLE = {{6th Conference on Research and Practical Issues in Enterprise Information Systems (CONFENIS)}}, ADDRESS = {Ghent, Belgium}, EDITOR = {Geert Poels}, PUBLISHER = {{Springer}}, SERIES = {Enterprise Information Systems of the Future}, VOLUME = {LNBIP-139}, PAGES = {258-267}, YEAR = {2012}, MONTH = Sep, DOI = {10.1007/978-3-642-36611-6\_24}, KEYWORDS = {business process modelling ; business transaction ; $\psi$-theory ; DEMO ; BPMN}, PDF = {https://inria.hal.science/hal-01484688/file/978-3-642-36611-6_24_Chapter.pdf}, HAL_ID = {hal-01484688}, HAL_VERSION = {v1}, }