Sciweavers

BPM
2000
Springer
106views Business» more  BPM 2000»
13 years 9 months ago
Using Formal Analysis Techniques in Business Process Redesign
Formal analysis techniques can deliver important support during business process redesign efforts. This chapter points out the (potential) contribution of these formal analysis tec...
Kees M. van Hee, Hajo A. Reijers