“…This denotes a shift in the target audience of these methods, from data scientists to practitioners, such as business analysts and decision managers. Other technical languages employed, besides Petri nets, include Causal nets, State machines and simple Directed Acyclic Graphs, Maggi et al [26] 2012 [27], [28], [29], [30], [31], [32] Declarative Declare ProM MINERful Di Ciccio, Mecella [33] 2013 [34], [35], [36], [37] Declarative Declare ProM, Standalone Inductive Miner -Infrequent Leemans et al [38] 2013 [39], [40], [41], [42], [43], [44], [ Ferilli [56] 2014 [57], [58], [59], [60], [ while Declare is the most commonly-used language when producing declarative models.…”