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