C Flavio, M Andrea, P Andrea, R Barbara… - LOGICAL METHODS IN …, 2020 - flore.unifi.it
The BPMN 2.0 standard is a widely used semi-formal notation to model distributed
information systems from different perspectives. The standard makes available a set of …