Bernardi, Simona Requeno Jarabo, José Ignacio Joubert, Christophe Romeu, Alberto A systematic approach for performance evaluation using process mining: the POSIDONIA Operations case study 10.1145/2945408.2945413a Model-driven transformation; process mining; trace and log analysis; performance; Generalized Stochastic Petri Nets (GSPN); Unified Modeling Language (UML); data-intensive application 2016 2016