Modeling Business Processes: A Petri Net-Oriented Approach (Information Systems)