Using Formal Analysis Techniques in Business Process Redesign

View Related Documents

Journal Article
Open Access
Redesigning business processes: a methodology based on simulation and process mining techniques
Laura Măruşter and Nick R. T. P. van Beest
Knowledge and Information Systems, 2009, Volume 21, Number 3, Pages 267-297
- Download PDF (849.1 KB)
Journal Article
Open Access
Discovering colored Petri nets from event logs
A. Rozinat, R. S. Mans, M. Song and W. M. P. van der Aalst
International Journal on Software Tools for Technology Transfer (STTT), 2008, Volume 10, Number 1, Pages 57-74
- Download PDF (1.2 MB)
Book Chapter
Performance Evaluation of Workflows
Lecture Notes in Computer Science, 2003, Volume 2617, Design and Control of Workflow Processes, Pages 127-176
- Download PDF (2.0 MB)
Book Chapter
A Redesign Framework for Call Centers
M. H. Jansen-Vullers, M. Netjes, H. A. Reijers and M. J. Stegeman
Lecture Notes in Computer Science, 2006, Volume 4102, Business Process Management, Pages 306-321
- Download PDF (463.2 KB)
Book Chapter
Resource Allocation in Workflows
Lecture Notes in Computer Science, 2003, Volume 2617, Design and Control of Workflow Processes, Pages 177-206
- Download PDF (1.7 MB)
Book Chapter
Process Performance Management in Securities Operations at CREDIT SUISSE
Olaf Klein and Dirk Kogelschatz
2005, Corporate Performance Management, Teil 2:, Pages 135-152
- Download PDF (4.9 MB)
Book Chapter
Process Performance Management in Securities Operations at CREDIT SUISSE
Olaf Klein and Dirk Kogelschatz
2006, Corporate Performance Management, Part 2:, Pages 135-152
- Download PDF (4.2 MB)
Book Chapter
Facilitating Business Process Improvement through Personalized Recommendation
Mukhammad Andri Setiawan, Shazia Sadiq and Ryan Kirkman
Lecture Notes in Business Information Processing, 1, Volume 87, Business Information Systems, Part 4, Part 4, Pages 136-147
- Download PDF (292.4 KB)
Book Chapter
Trade-Offs in the Performance of Workflows – Quantifying the Impact of Best Practices
M. H. Jansen-Vullers, P. A. M. Kleingeld, M. W. N. C. Loosschilder, M. Netjes and H. A. Reijers
Lecture Notes in Computer Science, 2008, Volume 4928, Business Process Management Workshops, Pages 108-119
- Download PDF (331.1 KB)
Journal Article
Increasing the efficiency of business processes using a theory of constraints
Seung-Hyun Rhee, Nam Wook Cho and Hyerim Bae
Information Systems Frontiers, 2010, Volume 12, Number 4, Pages 443-455
- Download PDF (360.6 KB)
- View HTML

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.

Fulltext Preview

Image of the first page of the fulltext document

Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us

SpringerLink

Using Formal Analysis Techniques in Business Process Redesign

View Related Documents

Abstract

Fulltext Preview