Business process redesign: A Petri-net-based approach · Study