@inproceedings{contreras:hal-03848350, TITLE = {{WEASY: A Tool for Modelling Optimised BPMN Processes}}, AUTHOR = {Contreras, Angel and Falcone, Yli{\`e}s and Sala{\"u}n, Gwen and Zuo, Ahang}, URL = {https://inria.hal.science/hal-03848350}, BOOKTITLE = {{FACS 2022 - 18th International Conference on Formal Aspects of Component Software}}, ADDRESS = {Oslo / Online, Norway}, YEAR = {2022}, MONTH = Nov, DOI = {10.1007/978-3-031-20872-0\_7}, PDF = {https://inria.hal.science/hal-03848350/file/WEASY%20A%20Tool%20for%20Modelling%20Optimised%20BPMN.pdf}, HAL_ID = {hal-03848350}, HAL_VERSION = {v1}, }