Stav dette: Modeling business processes: a Petri net-oriented approach