← All work
Utrecht University BSc thesis · Grade 8.1

MASTER-X.

Advancing Prescriptive Process Monitoring: a Multi-Agent Reinforcement Learning Redesign. What happens when every person in a business process gets to decide for themselves whether to take the next task?

Title page of the thesis: Advancing Prescriptive Process Monitoring: A Multi-Agent Reinforcement Learning Redesign
Degree
BSc Information Science
University
Utrecht University
Supervisors
Dr. ir. C. Di Ciccio · Dr. ir. X. Lu
Grade
8.1 · 15 EC
Finished
April 2026

The question

How do reward design and algorithm architecture affect whether agents learn to share the work well?

  1. RQ1

    Does an immediate skill-match reward beat a delayed completion reward?

  2. RQ2

    Which architecture fits cooperative task assignment: a centralised critic (MAPPO, COMA) or value decomposition (QMIX)?

  3. RQ3

    Which properties of the coordination game decide whether an algorithm converges or fails?

The approach

One agent per person.

01

The problem

Reinforcement learning for business processes almost always assumes one decision-maker with a complete view. Real processes are run by many people, each seeing only their own corner. A single-agent formulation cannot express who should act, or what it costs when two people reach for the same task.

02

The redesign

MASTER-X builds on MASTER, a simulation where every human resource is its own agent. Each agent decides at every step whether to volunteer for the upcoming task. I redesigned the reward so it fires at assignment instead of completion, and gave the agents a skill-advantage signal and a queue-load fraction to observe.

03

The comparison

Three algorithms, because they solve credit assignment in three different ways. MAPPO uses a centralised critic with decentralised actors, QMIX uses monotonic value factorisation, and COMA uses a counterfactual baseline. COMA is my addition; the other two came with MASTER.

04

Why it is hard

It is a volunteer's dilemma. If everyone else volunteers, passing is the rational move for you, because the task gets covered anyway. That equilibrium is stable, it gets more stable as agents are added, and whether an algorithm can break it turns out to be the whole story.

Under the hood

A reward that fires at the right moment.

In MASTER, agents were rewarded when a case completed, often hundreds of steps after the decision that mattered. In MASTER-X the reward fires the moment a task is assigned, based on how fast the chosen agent usually is compared with everyone else:

R = −tanh( 2 · (median_agent − median_all) / median_all )

A much faster agent earns close to +1, an average one 0 and a much slower one close to −1. It draws on relative performance evaluation, reward shaping and robust medians.

Environment A decentralised, partially observable process (Dec-POMDP) implemented as a PettingZoo ParallelEnv. Cases become tasks; each step shows the upcoming task to all agents and advances simulated time.
Durations Sampled from distributions fitted per agent and activity, not replayed from the log, so a policy can produce outcomes the log never saw.
Action Pass or volunteer. The task goes to a random capable volunteer. If nobody volunteers, a capable agent is picked anyway and each capable non-volunteer gets a small penalty, so the process never deadlocks.
Observation The task, the agent's own mean, median and spread for it, the remaining duration, its queue and busy flag, plus a skill-advantage signal in [−1, 1] and a queue-load fraction.
Baselines Random, AlwaysVolunteer and BestMedian, an oracle that always picks the capable agent with the lowest historical median.
Output Every policy writes a synthetic event log (case, resource, activity, start, end) that opens directly in process-mining tools such as ProM, Disco or Celonis.

Data

Two event logs.

A small synthetic process to learn on, and a real one from a Dutch bank to see whether it holds. Training used 50-case episodes, at most 300 of them, with early stopping and a chronological 80/20 split.

Synthetic loan application Resources 19 Activities 12 Traces 1,000 Events 7,492
BPI Challenge 2012 (W-subprocess) Resources 52 Activities 6 Traces 8,616 Events ~150,000

Results

One works. Two fail, interestingly.

Works

MAPPO

Converges within about 15 episodes and closes 65% of the gap between random assignment and the BestMedian oracle — with a median task time of 13.4 minutes against the oracle's 15.4, and without dumping every task on one person.

Collapses

COMA

Its counterfactual baseline holds the other agents fixed, so it never breaks the free-riding equilibrium and falls into a degenerate policy. On the larger BPI 2012 log its critic diverges to around 10⁹.

Cannot generalise

QMIX

Its Q-values encode a real preference for faster agents, but it trains on 50-case episodes and is evaluated on 200. The longer episodes saturate the queues of the agents it prefers. A generalisation failure, not a learning failure.

Median task time · loan application, test split · minutes, lower is better
Random 18.2
AlwaysVolunteer 18.2
BestMedian (oracle) 15.4
MAPPO 13.4
COMA 17.3
QMIX 12.5
Exact numbers

Loan application · task processing time in minutes, test split

Random Mean 75.6 Median 18.2 Top two 27.6%
AlwaysVolunteer Mean 60.0 Median 18.2 Top two —
BestMedian (oracle) Mean 43.0 Median 15.4 Top two 100% (one agent)
MAPPO Mean 76.7 Median 13.4 Top two 61.7%
COMA Mean 81.0 Median 17.3 Top two 31.3%
QMIX Mean 43.0 Median 12.5 Top two 54.0%

QMIX's numbers look strong here, but it fails at evaluation on longer episodes; see above. On BPI 2012, MAPPO reaches a median of 1.22 minutes against 2.19 for random assignment.

Conclusion

“Reward immediacy matters more than algorithm choice.”
01

Reward timing comes first

With a delayed completion reward, all three algorithms behaved like random assignment. A reward at assignment time is a prerequisite for learning anything at all.

02

A centralised critic is necessary

Among the algorithms that do learn, only the one with a centralised critic escaped the volunteer's dilemma. It is not merely better; the cooperative structure of the game requires it.

03

Heuristics stay hard to beat

BestMedian is fast but routes everything to a handful of people: 6 of 52 resources on BPI 2012. MAPPO spreads work over four people, which makes it far more deployable.

Future work: curriculum learning with growing episode lengths for QMIX, entropy regularisation or explicit cooperation incentives against COMA's collapse, applying the new reward to the original MASTER, and testing more process shapes.

Read the thesis.

The full text, with the literature review, the research design, every result and the discussion.

  • Python
  • PyTorch
  • PettingZoo
  • Gymnasium
  • pandas
  • SciPy
  • pm4py
  • Matplotlib