Process-oriented business performance management with Petri nets | IEEE Conference Publication | IEEE Xplore