Analyzing Separation of Duties in Petri Net Workflows · Study