Patterns in colored petri nets door N.A. Mulyar & W.M.P. van der Aalst