Title: Modelling processes with constraints