<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta>
      <journal-title-group>
        <journal-title>SEBD</journal-title>
      </journal-title-group>
    </journal-meta>
    <article-meta>
      <title-group>
        <article-title>Neural Networks for Explainable Next-Activity Prediction</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Vincenzo Pasquadibisceglie</string-name>
          <email>vincenzo.pasquadibisceglieds@uniba.it</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Rafaele</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Scaringi</string-name>
          <email>raffaele.scaringi@uniba.it</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Annalisa Appice</string-name>
          <email>annalisa.appice@uniba.it</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Giovanna Castellano</string-name>
          <email>giovanna.castellano@uniba.it</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Donato Malerba</string-name>
          <email>donato.malerba@uniba.it</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Consorzio Interuniversitario Nazionale per l'Informatica - CINI</institution>
          ,
          <addr-line>Bari</addr-line>
          ,
          <country country="IT">Italy</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Next-activity prediction</institution>
          ,
          <addr-line>Heterogeneous graph learning, Graph Neural Network, Multi-view Learning, eXplainable</addr-line>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>University of Bari Aldo Moro</institution>
          ,
          <addr-line>Bari</addr-line>
          ,
          <country country="IT">Italy</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2025</year>
      </pub-date>
      <volume>33</volume>
      <fpage>16</fpage>
      <lpage>19</lpage>
      <abstract>
        <p>The prediction of the next-activity in the ongoing execution (event trace) of a business process provides useful information to take smart decisions for mitigating ineficiencies, preventing undesired activities and boosting business values of enterprises. In this paper, we describe PROPHET: a deep learning approach based on heterogeneous graph neural networks, to strike a balance between accurate predictions and interpretability in the next-activity prediction task. Specifically, it represents event traces as heterogeneous graphs by using diferent node types to express diferent characteristics of several events, and diferent types of graph links to express relationships between event characteristics, as well as relationships between events. It uses heterogeneous Graph Attention Networks (GATs), to achieve good accuracy in next-activity predictions. Finally, it integrates a modified version of the GNN Explainer algorithm to disclose explainable information related to characteristics, events and relationships between events that mainly influenced the prediction. Experiments with various benchmark event logs show the accuracy of PROPHET compared to several current state-of-the-art methods and draw insights from explanations recovered through the GNN Explainer algorithm.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introduction</title>
      <p>
        Predictive Process Monitoring (PPM) is a family of predictive approaches to predict the unfolding of
ongoing executions (event traces) of a business process based on knowledge learned from historical event
logs. In particular, predicting the next-activity in an ongoing event trace is a crucial task in PPM as such
predictive information may allow analysts to intervene proactively and prevent undesired behaviors.
Notably, with the recent boom of deep learning, the PPM literature has achieved amazing results
using diferent deep learning architectures, e.g., Long Short-Term Neural Network (LSTMs) [
        <xref ref-type="bibr" rid="ref1 ref2 ref3">1, 2, 3</xref>
        ],
Convolutional Neural Networks (CNNs) [
        <xref ref-type="bibr" rid="ref4 ref5">4, 5</xref>
        ], Vision Transformers (ViTs) [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ] and Large Language
Models (LLMs) [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ], to yield accurate predictions of the next-activity in ongoing event traces. On the
other hand, multi-view learning has recently emerged as a fundamental deep learning direction for PPM
approaches. In particular, in [
        <xref ref-type="bibr" rid="ref1 ref6">1, 6</xref>
        ], the multi-view learning strategy has allowed the development of
lfexible deep neural models that gain accuracy in next-activity prediction problems thanks to their ability
to leverage the diversity of the information in the multiple characteristics of an event. Nevertheless, deep
neural models generally learn opaque models, while easier-to-explain predictive models are becoming
increasingly desirable in PPM applications [
        <xref ref-type="bibr" rid="ref2 ref6 ref8">8, 2, 6</xref>
        ]. Finally, in the last decade, graph representation
learning has recently gained prominence across various domains, attracting intense research attention in
deep learning [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ]. Accordingly, a few recent PPM studies [
        <xref ref-type="bibr" rid="ref10 ref11 ref12 ref13">10, 11, 12, 13</xref>
        ] have explored the performance
of various Graph Neural Network (GNN) architectures for graphs trained for PPM problems. However,
      </p>
      <p>CEUR
Workshop</p>
      <p>ISSN1613-0073
previous PPM studies consider homogeneous graphs to mainly represent the activity control-flow and
eventually use external data synopsis to encode the multi-view information associated with event
nodes. In addition, the priority of previous graph-based PPM studies was mainly to provide accurate
predictions of future states of ongoing event traces without paying extensive attention to explain
predictions achieved with graph representations of event traces.</p>
      <p>
        Based on the premises reported above, we describe a PPM graph-based approach, named PROPHET
(explainable Predictive heteROgeneous graPH nEural neTworks), that has been recently presented in
[
        <xref ref-type="bibr" rid="ref14">14</xref>
        ]. It trains a heterogeneous Graph Neural Network (GNN) model to predict the executing activity of
the next event in an ongoing event trace and explains which characteristics of the ongoing trace mainly
contribute to the decision. Specifically, we introduce the design of an event data engineering scheme to
map ongoing event traces recorded in an historical event log into heterogeneous graphs by embracing
the multi-view representation of event data. We illustrate a heterogeneous graph learning approach
that integrates the attention mechanism implemented in the GAT layer [
        <xref ref-type="bibr" rid="ref15">15</xref>
        ] into a heterogeneous GNN.
We describe an extension of the heterogeneous GNN Explainer algorithm [
        <xref ref-type="bibr" rid="ref16">16</xref>
        ], that is used to disclose
how specific event and trace characteristics, as well as event relationships, influence the local decisions
of the proposed predictive model. Finally, we illustrate the main results of an extensive experimentation,
which show the capability of the presented approach to achieve accuracy comparable to related deep
multi-view learning and graph learning approaches presented in the recent PPM literature, as well as
disclose useful explanations of the model behavior in terms of the most informative inputs.
      </p>
      <p>The paper is organized as follows. Section 2 reports the basics of the proposed approach. Section 3
describes the training stage of PROPHET, while Section 4 illustrate the experimental study to evaluate
the accuracy and explainability performance of PROPHET. Finally, Section 5 draws conclusions.</p>
    </sec>
    <sec id="sec-2">
      <title>2. Basics</title>
      <p>An event trace is a record of a business process that shows the stages of its execution through a sequence
of events. An event is portrayed from multiple views, where a view describes each event based on
a specific characteristic. Specifically, each event is represented in two mandatory views associated
with the activity  and the timestamp  (indicating when the activity occurred), respectively, and in 
supplementary views,   with  = 1, … ,  associated with optional event characteristics (e.g., resource
responsible for the activity or the cost involved in completing it). In addition, an event trace may be
associated with  supplementary global characteristics,  ℎ with ℎ = 1, … ,  , which describe general
trace information (e.g., the age of a patient at the time of her hospitalization). Let  be the set of activity
names,  be the set of trace identifiers,  be the set of timestamps,   with 1 ≤  ≤  be the set of
values in the  -th characteristic of an event, while  ℎ 1 ≤ ℎ ≤  be the set of values in the ℎ-th global
characteristic of an event trace. For simplicity, let us denote C = [ 1, … ,   ] – the vector of global
trace characteristics ,  =  1×, … , ×  – the domain of C, V = [,  ,  1, … ,   ] – the vector of local
characteristics and  =  ×  ×  1 × … ×   – the domain of V.</p>
      <p>Definition 1 (Event). Given the event universe ℰ =  ×  , an event  ∈ ℰ is a tuple  = (, , ,  1, … ,   )
that represents the occurrence of activity  in trace  at timestamp  with characteristics  1, … ,   .
Let us introduce the functions   ∶ ℰ ↦  such that   () =  ,   ∶ ℰ ↦  such that   () =  ,
  ∶ ℰ ↦  such that   () =  ,    ∶ ℰ ↦   such that    () =   and  = 1, … ,  .
Definition 2 (Trace). Let ℰ ∗ denote the set of all possible sequences on ℰ. A trace is a pair ( , c) ∈ ℰ ∗ ×
where:
1.  = ⟨ 1, … ,   ⟩ ∈ ℰ ∗ is an event sequence so that: (a) ∀ = 1, … , , ∃  ∈ ℰ such that   ( , ) =   and
  (  ) =  , and (b) ∀ = 1, … ,  − 1,   (  ) ≤   ( +1 ).
2. c = ( 1, … ,   ) ∈  is the vector of the values of the optional global trace characteristics.</p>
      <p>Let us introduce the function   ∶ ℰ ∗ × ℕ ↦ ℰ such that   ( , ) =   .</p>
      <sec id="sec-2-1">
        <title>Definition 3 (Event log).</title>
        <p>Given a business process , an event log ℒ   ∈ ℬ(ℰ
historical event traces recoded for a specific business process.
∗ ×  ) is a collection of</p>
      </sec>
      <sec id="sec-2-2">
        <title>Definition 4 (Prefix event sequence).</title>
        <p>Given a sequence  ∈ ℰ ∗, the prefix event sequence 
 =
⟨ 1, … ,   ⟩ is the event sub-sequence of  starting from the beginning of  , with 1 ≤  = | 
| &lt; | | .
  in  , i.e., (

) =   ( +1 ) with  +1 =   ( ,  + 1) .</p>
        <p>Notice that the activity   ( +1 ) =  +1 corresponds to the next-activity of the prefix event sequence</p>
      </sec>
      <sec id="sec-2-3">
        <title>Definition 5 (Prefix trace).</title>
        <p>Given the trace ( , c) ∈ ℰ ∗ ×  , its prefix trace with length  is the pair
(  , c) where   is the the prefix event sub-sequence of  with length equal to  , while c is the vector of
global characteristic values recorded in the trace.</p>
        <p>A graph is a smart data structure that allows the representation of entity characteristics and entity
relationships. In this study, we introduce a graph encoding strategy to transform a prefix trace into a
heterogeneous graph.</p>
      </sec>
      <sec id="sec-2-4">
        <title>Definition 6 (Graph).</title>
        <p>Let  denote the set of all graphs. A graph  ∈ 
is an ordered pair ( , ℒ
), where
 is the set of nodes, and ℒ is the set of weighted links between nodes, i.e., ℒ ⊆  ×  × ℝ
. Each node
 ∈</p>
        <p>is associated with a node type and records a value. Each link ( 1,  2,  ) ∈ ℒ is a link between nodes
 1 ∈  and  2 ∈  associated with a numerical value  ∈ ℝ , called weight.</p>
        <p>Let   be the set of distinct node types appearing in a graph  . In the heterogeneous graph  considered
in this study |  | &gt; 1. In this study, a prefix trace (  , c) is represented as an heterogeneous graph 
that reserves a distinct type of nodes for each distinct type of characteristics. Hence, values of local
event characteristics and global trace characteristics are recorded into 3 +  distinct types of nodes (i.e.,
|  | = 3 +  ). In fact, a type of nodes is associated with the vector of global trace characteristics, a type
of nodes is associated with the activity characteristic, a type of nodes is associated with the timestamp
characteristic, and a type of nodes is associated with each one of the  optional event characteristics
recorded in the event sequence of the prefix trace. Regarding links,  includes three types of links: (1)
links pertaining intra-view relationships on the same local event characteristic observed in diferent
events (i.e., links connecting two nodes belonging to the same node type); (2) links pertaining inter-view
relationships involving two diferent local event characteristics measured in the same event (i.e., links
connecting two nodes belonging to diferent node types); (3) links that establish a relationship between
the vector of the global trace characteristics and each specific local event characteristic and (i.e., links
connecting the node representing the global trace characteristics to any other node). Figure 1 shows an
example of the transformation of a prefix trace into a heterogeneous graph.</p>
        <p>Let ℒ   ∈ ℬ(ℰ
∗ ×  )
be an event log,   ⊆ ℬ(ℰ ∗ ×  ×  )
be the multiset of all heterogeneous
graphs that represent prefix traces extracted from traces recorded in
ℒ  
and labeled with the
nextactivity values recorded in the corresponding traces. Let us consider a function  ∶  ↦ 
, such that
 ()</p>
        <p>predicts the expected next-activity  +1 of the graph  . Based on these premises, we frame the
next-activity prediction task as a multi-class, heterogeneous graph classification problem. According to
this formulation  can be trained by resorting to a graph-based learning technique from the multiset
  of the labeled heterogeneous graphs representing the prefix traces extracted from the event traces
recorded in ℒ</p>
        <p>and labeled with the next-activity in the corresponding traces.</p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>3. The PROPHET approach</title>
      <p>The PROPHET approach takes an event log LOG as input to learn the next-activity predictive function
 . The learning stage is three-stepped.</p>
      <p>(a) Prefix trace
(b) Heterogenous graph</p>
      <p>In Step 1 PROPHET takes ℒ   as input and generates the multi-set of labeled prefix traces as output.</p>
      <p>
        To this purpose, it first transforms timestamp information recorded in an event into the time in
seconds passed from the beginning of the trace. Then, it converts all numerical characteristics
into categorical by applying the equal-frequency discretization algorithm as in [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ]. The number
of discretization bins of a characteristic is set equal to the average number of distinct categories
in the original categorical characteristics recorded in ℒ   . After this step, ℒ   contains all
characteristics in the categorical format. Subsequently, it uses the Continuous-Bag-of-Words
(CBOW) architecture of the Word2Vec scheme [
        <xref ref-type="bibr" rid="ref17">17</xref>
        ] to transform each categorical characteristic
of a prefix trace extracted from ℒ   into a numeric representation. CBOW is an embedding
approach that was originally formulated in the field of natural language processing and as recently
used in several PPM approaches (e.g., [
        <xref ref-type="bibr" rid="ref3 ref6">3, 6</xref>
        ]). It uses a feed-forward neural network to predict a
target value from the neighbored context. In this work, a distinct CBOW architecture is trained
for each characteristic recorded in the prefix traces.
      </p>
      <p>In Step 2 PROPHET converts each labeled prefix trace (  , c,  +1 ) into a labeled heterogeneous graph
(,  +1 ). For each event  ∈   , every event characteristic recorded in  is mapped into a graph
node that contains the embedding representation of the characteristic value The embedding is
the one computed with the corresponding CBOW model. The type of the node is that one-to-one
associated with the mapped characteristic. At the same time, the embeddings of the values the
global trace characteristics collected in c are recorded into the trace-based node of the graph.
Once the nodes of  have been generated, the links between the created nodes are produced.
Regarding inter-view links (which pertain nodes of diferent types), in this work, we generate
the inter-view links considering the graph nodes whose types are associated with each pair of
consecutive views in the vector V that represent the event characteristics recorded in ℒ   . Let
  be the the multi-set of labeled heterogeneous graphs extracted from ℒ   .</p>
      <p>
        In Step 3 PROPHET learns a GNN model equipped with  of GAT layers [
        <xref ref-type="bibr" rid="ref15">15</xref>
        ] to obtain a next-activity
prediction function  from   . The GAT learns iteratively new node representations, diferentiating
the learning process concerning the link types that are represented in the graph, and aggregating
information coming from each neighborhood.
      </p>
      <p>
        Finally, the GAT model is equipped with a variant of GNN Explainer [
        <xref ref-type="bibr" rid="ref16">16</xref>
        ] that allows us to explain the
decisions of the GAT model by extracting insights on how each node and link contribute to a decision.
The basic implementation of the GNN Explainer algorithm works as follows. Given a heterogeneous
graph  = ( , ℒ ) , the prediction  =̃  () can be equally written as  =̃  ( X, A), where X and A are
the list of data feature matrices and the list of adjacency matrices that are, respectively, associated with
 . The basic GNN Explainer algorithm explains this decision by jointly computing the following outputs:
a node feature mask X̂ = [X̂tn ∈ [
        <xref ref-type="bibr" rid="ref1">0, 1</xref>
        ]1×   , ∀  ∈   ] and a link mask Â = [Âtl ∈ [
        <xref ref-type="bibr" rid="ref1">0, 1</xref>
        ]
(  ,   ), ∀  ∈  ℒ]. The algorithm attempts to perturb the input graph  , composing a new “masked” graph
 =̂ (  , ̂ ℒ ̂) so that X = [Xtn = Xtn ⊙ X̂tn, ∀  ∈   ] is the list of data feature matrices associated
with  ̂. The higher the value of X̂tn[] , the higher the importance of the corresponding  -th piece of
information on the prediction. Notably, X̂tn[] is a unique value estimated within for the nodes of 
with type   . On the other hand, the higher the value of  ̂ [, ] , the more important the corresponding

link. So, the main issue of this basic algorithm is that it cannot identify the most important node subset
|   |×|  |
 ,   =
in the graph. For this reason, we adapted GNNExplainer to estimate the most important subgraph for a
given prediction. Specifically, we modified the shape of parameter
the rest of the algorithm unchanged comprising the element-wise multiplications to obtain the masked
graph  ̂. In this way, the higher the value estimated for X̂tn[] the more important the efect of the 
X̂tn ∈ [
        <xref ref-type="bibr" rid="ref1">0, 1</xref>
        ]|   |×1, ∀  ∈   keeping
node on the decision.
      </p>
    </sec>
    <sec id="sec-4">
      <title>4. Experimental study</title>
      <p>and explainability performance of PROPHET.</p>
      <sec id="sec-4-1">
        <title>4.1. Event logs and experimental set-up</title>
        <p>In this section, we describe some results of the experimentation conducted for evaluating the accuracy
Event log description: domain (F– Finance, M – Maintenance, A – Administration, C – Customer Service,
H – Healthcare) of the business process, number of traces (♯Trace), number of events (♯Event), number of
activities (♯Activities), mean length of traces (Avg length), number of global trace characteristics (# Trace
characteristics) and number of local event characteristics (# Event characteristics)</p>
        <p>Domain #Trace #Events #Activities Avg length #Trace characteristics #Event characteristics
F
F
M
F
A
C
F
H
C
13087
9658
819
42995
6886
3804
5123
1897
23906
60849
72413
2351
193849
36796
13710
62740
6973
178078
10
6
5
8
19
9
25
10
13
5
7
3
5
5
4
4
7
12
1
1
3
5
3
0
5
4
3
3
3
6
4
4
2
3
3
2</p>
        <p>We used nine real-life event logs that are all available on the 4TU Centre for Research 1, except for
SP2020 that is available on Zenodo2. A summary of the characteristics of the event logs considered in
the evaluation is reported in Table 1. For each event log, a temporal split was done to divide the log into
training and testing traces. Specifically, we sorted the event traces of each event log by their starting
timestamps. The first two-thirds of the sorted traces were chosen for training the predictive model,
while the remaining one-third was reserved for evaluating the model’s performance on unseen data.
The implementation of PROPHET is available online. 3</p>
      </sec>
      <sec id="sec-4-2">
        <title>4.2. Accuracy performance analysis</title>
        <p>
          We evaluated the accuracy performance of both PROPHET and several state-of-the art deep neural
methods formulated in the PPM field for the next-activity prediction task. The related methods
considered in the evaluation study train: a LSTM model in [
          <xref ref-type="bibr" rid="ref1">1</xref>
          ], a BiLSTM model in [
          <xref ref-type="bibr" rid="ref18">18</xref>
          ], a Transformer
model in [
          <xref ref-type="bibr" rid="ref19">19</xref>
          ], a ViT model [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ], a CNN with Inception model in [
          <xref ref-type="bibr" rid="ref4">4</xref>
          ], a GCN model in [
          <xref ref-type="bibr" rid="ref12">12</xref>
          ] and GRNN
model concatenated with a LSTM model in [
          <xref ref-type="bibr" rid="ref13">13</xref>
          ]. The methods described in [
          <xref ref-type="bibr" rid="ref1">1</xref>
          ], [
          <xref ref-type="bibr" rid="ref18">18</xref>
          ] and [
          <xref ref-type="bibr" rid="ref19">19</xref>
          ] adopt a
sequence representation of prefix traces. The methods described in [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ] and [
          <xref ref-type="bibr" rid="ref4">4</xref>
          ] adopt a color image
representation of prefix traces. The method described in [
          <xref ref-type="bibr" rid="ref12">12</xref>
          ] adopts homogeneous instance graphs to
represent prefix traces, while the method described in [
          <xref ref-type="bibr" rid="ref13">13</xref>
          ] handles homogeneous graphs extracted by
replaying prefix traces on a Petri Net discovered from the event log and event-related temporal data
extracted from the remaining views recorded in the event log. All related methods, except for [
          <xref ref-type="bibr" rid="ref18">18</xref>
          ]
and [
          <xref ref-type="bibr" rid="ref19">19</xref>
          ], were originally formulated within the multi-view learning schema. However, to provide a
fair comparison, we ran all related methods by accounting for all views recorded in the considered
event logs. For each event log, for each PPM method, we measured the accuracy of each next-activity
predictive function through the macro FScore. computed as    =
 , where  is the
number of distinct activities recorded in the event log. This multi-class accuracy metric was selected as
it is commonly measured in imbalanced domains. Figure 2 shows the macro FScore measured for both
PROPHET and the related methods. These results show that PROPHET commonly outperforms the
related methods having [
          <xref ref-type="bibr" rid="ref13">13</xref>
          ] as runner-up. In particular, the method described in [
          <xref ref-type="bibr" rid="ref13">13</xref>
          ] performs better
than PROPHET in BPIC20R only, by training a GRNN model followed by an LSTM model. In any case,
PROPHET is the runner-up of the comparative analysis in this event log also.

=1

1 ∑
        </p>
      </sec>
      <sec id="sec-4-3">
        <title>4.3. Explanation performance analysis</title>
        <p>In this section, we illustrate some examples of the decision explanations produced by PROPHET. Figures
3a and 3b show the heterogeneous graphs of two prefix traces recorded in the testing set of the event log
(a) ”ME”
(b) ”CS”</p>
        <p>Invoice and enriched with the explanations obtained with the extension of GNN Explainer algorithm.
PROPHET correctly predicts ”ME” – ”Manual enter the order number-Entered” and ”CS” – ”Compare
of Sums missing” as the next activity of the two ongoing traces, respectively. Both prefix traces share
the same ”SM - PSM - SC - CO” activity prefix, where: ”SM” – ”Start Missing”, ”PSM” – ”Process Start
Missing”, ”SC” – ”Status Change to being approved missing” and ”CO” – ”Check Order number missing”.
However, the two prefix traces represent ongoing executions of the Invoice business process, which
will proceed with executing two diferent activities in the future. Therefore, this example shows a
case where the control flow of activities does not provide enough information to correctly predict the
two diferent next activities for the two prefix traces. Instead, PROPHET is able to yield the correct
next-activity decision for both prefix traces by leveraging the multi-view information recorded in
the event log. In addition, the explanation of the decisions highlights which characteristics already
recorded for the ongoing trace helps PROPHET model to disentangle the next-activity ”ME” from the
next-activity ”CS” in the considered prefix traces. In particular, the produced explanations show that,
although the activities executed in the two prefix traces are all performed by the resource ”S” (Server),
some diferences occur in their time cycle by highlighting which information of each time cycle is
actually relevant for predicting the correct next activity in the two cases. Notably, activities ”SM” and
”PSM” have been executed before 0.5 seconds passed from the beginning of the trace. However, in
Figure 3a, activities ”SC” and ”CO” have been executed in the time interval that goes from 0.5 to 1.5
seconds passed from the beginning of the trace with the timestamp of ”CO” that has high relevance
(greater than 0.5) on the correct decision ”ME” as the next-activity of the prefix trace. In Figure 3b,
activities ”SC” and ”CO” have been executed in the time intervals that go from 1.5 to 2.5 seconds and 2.5
to 4.5 seconds passed, respectively, from the beginning of the trace. Notably, the timestamps of ”PSM”,
”SC” and ”CO” have all high relevance (greater than 0.5) on the correct decision ”CS” as the next activity
of the prefix trace. Hence, the decision is explained as follows: the longer the time passed from the
beginning of the ongoing trace before the execution of activities ”SC” and ”CO”, the more important
the symptoms indicating ”CS” as the upcoming activity of the ongoing trace. This information can be
used at the process management level to plan the work requested to better manage the execution, as
well as the consequences of the execution of activity ”CS” on the current process execution.</p>
      </sec>
    </sec>
    <sec id="sec-5">
      <title>5. Conclusion</title>
      <p>In this work, we present a PPM approach that represents ongoing traces of a business process as
heterogeneous graph and learns GAT model for the next-activity prediction task. In addition, it resorts
to an extended version of the GNN Explainer algorithm to equip GAT’s decisions with explanations
regarding trace characteristics mainly afecting the decision An extensive experimentation shows the
accuracy of the proposed approach also compared to several related PPM methods. In addition, it
provides some examples of the produced explanations. As future work, we plan to explore how concept
drift detection may be integrated in the proposed graph-based approach, in order to keep the model
accurate over time. In addition, we intend to start the investigation of how next-activity decision
explanations disclosed with the proposed approach may be leveraged in a prescriptive PPM perspective.</p>
    </sec>
    <sec id="sec-6">
      <title>Declaration on Generative AI</title>
      <p>The authors have not employed any Generative AI tools.</p>
    </sec>
    <sec id="sec-7">
      <title>Acknowledgments</title>
      <p>Vincenzo Pasquadibisceglie and Giovanna Castellano are partially supported by the project FAIR
Future AI Research (PE00000013), Spoke 6 - Symbiotic AI, under the NRRP MUR program funded by the
NextGenerationEU. Rafaele Scaringi is funded by a Ph.D. fellowship within the framework of the Italian
“D.M. n. 352, April 9, 2022” - under the NRRP, co-supported by “Exprivia S.p.A.” (CUP H91I22000410007).
The work of Donato Malerba is in partial fulfillment of the project MAD - The Additive Metamorphosis
of Design (ARS01_00717) funded by MUR.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>V.</given-names>
            <surname>Pasquadibisceglie</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Appice</surname>
          </string-name>
          ,
          <string-name>
            <given-names>G.</given-names>
            <surname>Castellano</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Malerba</surname>
          </string-name>
          ,
          <article-title>A multi-view deep learning approach for predictive business process monitoring</article-title>
          ,
          <source>IEEE Trans. Serv. Comput</source>
          .
          <volume>15</volume>
          (
          <year>2022</year>
          )
          <fpage>2382</fpage>
          -
          <lpage>2395</lpage>
          . doi:
          <volume>10</volume>
          .1109/TSC.
          <year>2021</year>
          .
          <volume>3051771</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>L.</given-names>
            <surname>Aversano</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M. L.</given-names>
            <surname>Bernardi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Cimitile</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Iammarino</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Verdone</surname>
          </string-name>
          ,
          <article-title>A data-aware explainable deep learning approach for next activity prediction</article-title>
          ,
          <source>Eng. App. of Artif. Intell</source>
          .
          <volume>126</volume>
          (
          <year>2023</year>
          )
          <article-title>106758</article-title>
          . doi:https://doi.org/10.1016/j.engappai.
          <year>2023</year>
          .
          <volume>106758</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>V.</given-names>
            <surname>Pasquadibisceglie</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Appice</surname>
          </string-name>
          ,
          <string-name>
            <given-names>G.</given-names>
            <surname>Castellano</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Malerba</surname>
          </string-name>
          ,
          <string-name>
            <surname>DARWIN :</surname>
          </string-name>
          <article-title>An online deep learning approach to handle concept drifts in predictive process monitoring</article-title>
          ,
          <source>Eng. Appl. Artif. Intell</source>
          .
          <volume>123</volume>
          (
          <year>2023</year>
          )
          <article-title>106461</article-title>
          . doi:
          <volume>10</volume>
          .1016/J.ENGAPPAI.
          <year>2023</year>
          .
          <volume>106461</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>V.</given-names>
            <surname>Pasquadibisceglie</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Appice</surname>
          </string-name>
          ,
          <string-name>
            <given-names>G.</given-names>
            <surname>Castellano</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Malerba</surname>
          </string-name>
          ,
          <article-title>Predictive process mining meets computer vision</article-title>
          ,
          <source>in: BPM Forum</source>
          <year>2020</year>
          , volume
          <volume>392</volume>
          <source>of LNBIP</source>
          , Springer,
          <year>2020</year>
          , pp.
          <fpage>176</fpage>
          -
          <lpage>192</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>H.</given-names>
            <surname>Weytjens</surname>
          </string-name>
          , J. De Weerdt,
          <article-title>Process outcome prediction: Cnn vs. lstm (with attention)</article-title>
          ,
          <source>in: BPM 2020 International Workshops</source>
          , Springer,
          <year>2020</year>
          , pp.
          <fpage>321</fpage>
          -
          <lpage>333</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>V.</given-names>
            <surname>Pasquadibisceglie</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Appice</surname>
          </string-name>
          ,
          <string-name>
            <given-names>G.</given-names>
            <surname>Castellano</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Malerba</surname>
          </string-name>
          , JARVIS:
          <article-title>Joining adversarial training with vision transformers in next-activity prediction</article-title>
          ,
          <source>IEEE Trans. Serv. Comput</source>
          . (
          <year>2023</year>
          )
          <fpage>1</fpage>
          -
          <lpage>14</lpage>
          . doi:
          <volume>10</volume>
          .1109/TSC.
          <year>2023</year>
          .
          <volume>3331020</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>V.</given-names>
            <surname>Pasquadibisceglie</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Appice</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Malerba</surname>
          </string-name>
          ,
          <article-title>LUPIN: A LLM approach for activity sufix prediction in business process event logs</article-title>
          ,
          <source>in: 6th International Conference on Process Mining, ICPM</source>
          <year>2024</year>
          , IEEE,
          <year>2024</year>
          , pp.
          <fpage>1</fpage>
          -
          <lpage>8</lpage>
          . doi:
          <volume>10</volume>
          .1109/ICPM63005.
          <year>2024</year>
          .
          <volume>10680620</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>R.</given-names>
            <surname>Galanti</surname>
          </string-name>
          , M. de Leoni,
          <string-name>
            <given-names>M.</given-names>
            <surname>Monaro</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.</given-names>
            <surname>Navarin</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Marazzi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B. Di</given-names>
            <surname>Stasi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Maldera</surname>
          </string-name>
          ,
          <article-title>An explainable decision support system for predictive process analytics</article-title>
          ,
          <source>Eng. App. of Artif. Intell</source>
          .
          <volume>120</volume>
          (
          <year>2023</year>
          )
          <article-title>105904</article-title>
          . doi:https://doi.org/10.1016/j.engappai.
          <year>2023</year>
          .
          <volume>105904</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>M.</given-names>
            <surname>Li</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Micheli</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y. G.</given-names>
            <surname>Wang</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Pan</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P.</given-names>
            <surname>Lió</surname>
          </string-name>
          ,
          <string-name>
            <given-names>G. S.</given-names>
            <surname>Gnecco</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Sanguineti</surname>
          </string-name>
          , Guest editorial:
          <article-title>Deep neural networks for graphs: Theory, models, algorithms, and applications</article-title>
          ,
          <source>IEEE Trans. Neural Networks Learn. Syst</source>
          .
          <volume>35</volume>
          (
          <year>2024</year>
          )
          <fpage>4367</fpage>
          -
          <lpage>4372</lpage>
          . doi:
          <volume>10</volume>
          .1109/TNNLS.
          <year>2024</year>
          .
          <volume>3371592</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>S.</given-names>
            <surname>Weinzierl</surname>
          </string-name>
          ,
          <article-title>Exploring gated graph sequence neural networks for predicting next process activities</article-title>
          , in: BPM 2022 International Workshops, Springer,
          <year>2022</year>
          , pp.
          <fpage>30</fpage>
          -
          <lpage>42</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <given-names>I.</given-names>
            <surname>Venugopal</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Töllich</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Fairbank</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Scherp</surname>
          </string-name>
          ,
          <article-title>A comparison of deep-learning methods for analysing and predicting business processes</article-title>
          ,
          <source>in: IJCNN</source>
          <year>2021</year>
          , IEEE,
          <year>2021</year>
          , pp.
          <fpage>1</fpage>
          -
          <lpage>8</lpage>
          . doi:
          <volume>10</volume>
          .1109/ IJCNN52387.
          <year>2021</year>
          .
          <volume>9533742</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [12]
          <string-name>
            <given-names>A.</given-names>
            <surname>Chiorrini</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Diamantini</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Genga</surname>
          </string-name>
          ,
          <string-name>
            <surname>D.</surname>
          </string-name>
          <article-title>Potena, Multi-perspective enriched instance graphs for next activity prediction through graph neural network</article-title>
          ,
          <source>J. Intell. Inf. Syst</source>
          . (
          <year>2023</year>
          )
          <fpage>1</fpage>
          -
          <lpage>21</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [13]
          <string-name>
            <given-names>E.</given-names>
            <surname>Rama-Maneiro</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J. C.</given-names>
            <surname>Vidal</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Lama</surname>
          </string-name>
          ,
          <article-title>Embedding graph convolutional networks in recurrent neural networks for predictive monitoring</article-title>
          ,
          <source>IEEE Trans. Knowl. Data Eng</source>
          .
          <volume>36</volume>
          (
          <year>2024</year>
          )
          <fpage>137</fpage>
          -
          <lpage>151</lpage>
          . doi:
          <volume>10</volume>
          .1109/TKDE.
          <year>2023</year>
          .
          <volume>3286017</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [14]
          <string-name>
            <given-names>V.</given-names>
            <surname>Pasquadibisceglie</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Scaringi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Appice</surname>
          </string-name>
          ,
          <string-name>
            <given-names>G.</given-names>
            <surname>Castellano</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Malerba</surname>
          </string-name>
          , PROPHET:
          <article-title>Explainable predictive process monitoring with heterogeneous graph neural networks</article-title>
          ,
          <source>IEEE Trans. Serv. Comput</source>
          .
          <volume>17</volume>
          (
          <year>2024</year>
          )
          <fpage>4111</fpage>
          -
          <lpage>4124</lpage>
          . doi:
          <volume>10</volume>
          .1109/TSC.
          <year>2024</year>
          .
          <volume>3463487</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          [15]
          <string-name>
            <given-names>S.</given-names>
            <surname>Brody</surname>
          </string-name>
          ,
          <string-name>
            <given-names>U.</given-names>
            <surname>Alon</surname>
          </string-name>
          , E. Yahav,
          <article-title>How attentive are graph attention networks?</article-title>
          ,
          <source>in: ICLR</source>
          <year>2022</year>
          ,
          <year>2022</year>
          , pp.
          <fpage>1</fpage>
          -
          <lpage>26</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          [16]
          <string-name>
            <given-names>Z.</given-names>
            <surname>Ying</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Bourgeois</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>You</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Zitnik</surname>
          </string-name>
          ,
          <string-name>
            <surname>J. Leskovec,</surname>
          </string-name>
          <article-title>GNNExplainer: Generating explanations for graph neural networks</article-title>
          ,
          <source>in: NeurIPS</source>
          <year>2019</year>
          ,
          <year>2019</year>
          , pp.
          <fpage>9240</fpage>
          -
          <lpage>9251</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          [17]
          <string-name>
            <given-names>T.</given-names>
            <surname>Mikolov</surname>
          </string-name>
          ,
          <string-name>
            <given-names>K.</given-names>
            <surname>Chen</surname>
          </string-name>
          , G. Corrado,
          <string-name>
            <given-names>J.</given-names>
            <surname>Dean</surname>
          </string-name>
          ,
          <article-title>Eficient estimation of word representations in vector space</article-title>
          ,
          <source>in: ICLR</source>
          <year>2013</year>
          ,
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          [18]
          <string-name>
            <given-names>B.</given-names>
            <surname>Wickramanayake</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Z.</given-names>
            <surname>He</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Ouyang</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Moreira</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y.</given-names>
            <surname>Xu</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Sindhgatta</surname>
          </string-name>
          ,
          <article-title>Building interpretable models for business process prediction using shared and specialised attention mechanisms</article-title>
          ,
          <source>KnowledgeBased Systems</source>
          <volume>248</volume>
          (
          <year>2022</year>
          )
          <fpage>1</fpage>
          -
          <lpage>22</lpage>
          . doi:https://doi.org/10.1016/j.knosys.
          <year>2022</year>
          .
          <volume>108773</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          [19]
          <string-name>
            <given-names>Z. A.</given-names>
            <surname>Bukhsh</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Saeed</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R. M.</given-names>
            <surname>Dijkman</surname>
          </string-name>
          , Processtransformer:
          <article-title>Predictive business process monitoring with transformer network</article-title>
          ,
          <source>CoRR abs/2104</source>
          .00721 (
          <year>2021</year>
          ).
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>