Modeling Business Processes (A Petri Net-Oriented Approach)