Formal semantics for knowledge representation and automated reasoning in BPMN process models

Angelo Casciani, Simone Agostinelli, Yves LespƩrance, Andrea Marrella, Sebastian SardiƱa. Formal semantics for knowledge representation and automated reasoning in BPMN process models. Inf. Syst., 140:102718, 2026. [doi]

Abstract

Abstract is missing.