Author:
Burigana Alessandro,Gianola Alessandro,Montali Marco,Winkler Sarah
Publisher
Springer Nature Switzerland
Reference16 articles.
1. Alman, A., Maggi, F.M., Montali, M., Patrizi, F., Rivkin, A.: A framework for modeling, executing, and monitoring hybrid multi-process specifications with bounded global-local memory. Inf. Syst. 119, 102271 (2023)
2. Baldan, P., Corradini, A., Ehrig, H., Heckel, R.: Compositional semantics for open Petri nets based on deterministic processes. MSCS 15(1), 1–35 (2005)
3. Carmona, J., van Dongen, B.F., Solti, A., Weidlich, M.: Conformance Checking - Relating Processes and Models. Springer, Cham (2018)
4. Compagnucci, I., Corradini, F., Fornari, F., Re, B.: A study on the usage of the BPMN notation for designing process collaboration, choreography, and conversation models. Bus. Inf. Syst. Eng. 66(1), 43–66 (2024)
5. Lecture Notes in Computer Science;G Decker,2007