Using Formal Analysis Techniques in Business Process Redesign

Authors:
Kees M. van Hee;Hajo A. Reijers
Affiliations:
-;-
Venue:
Business Process Management, Models, Techniques, and Empirical Studies
Year:
2000

Citing 2
Cited 3

Introduction to algorithms

Introduction to algorithms
Information systems engineering: a formal approach

Information systems engineering: a formal approach

Performance Equivalent Analysis of Workflow Systems Based on Stochastic Petri Net Models

EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Redesigning business processes: a methodology based on simulation and process mining techniques

Knowledge and Information Systems
Workflow performance analysis and simulation based on multidimensional workflow net

Computers in Industry

Quantified Score

Hi-index	0.00

Visualization

Abstract

Formal analysis techniques can deliver important support during business process redesign efforts. This chapter points out the (potential) contribution of these formal analysis techniques by giving an outline on the subject first. Next, a specific, newly developed formal technique is discussed.