This semester, students of the TU/e course “Executable Models of Operational Processes” will make executable models for two healthcare case studies. One case is on skin cancer treatment (regarding the logistic approach of a “one stop shop”) while the other case is on dialysis (regarding the use of home dialysis equipment, etc.). Students will analyze the effect of process redesigns on key performance indicators by means of simulations in CPNTools.