Using colored Petri nets to model and analyze workflow with separation of duty constraints · Study