A Petri Net Approach for Business Process Modeling and Simulation · Study