Framework for business process redesign

A framework based on high-level Petri nets is used to model and analyse business processes. This framework is a powerful tool to support business process reengineering efforts. The "What, how and by whom?" approach is introduced to guide the application of this Petri net based framework.