Modeling business processes : : a Petri net-oriented approach (Cooperative information systems, 2011)