An important shortcoming in the Business Process Redesign (BPR) literature is the lack of concrete guidance on how to improve an existing business process. Our earlier work has aim...
Monique H. Jansen-Vullers, Mariska Netjes, Hajo A....
Formal analysis techniques can deliver important support during business process redesign efforts. This chapter points out the (potential) contribution of these formal analysis tec...