Using formal analysis techniques in busines process redesign

H.A. Reijers, K.M. Hee, van

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Downloads (Pure)


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.
Original languageEnglish
Title of host publicationBusiness Process Management : Models, Techniques, and Empirical Studies
EditorsW.M.P. Aalst, van der, A. Oberweis
Place of PublicationBerlin
Number of pages19
ISBN (Print)3-540-67454-3
Publication statusPublished - 2000

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Dive into the research topics of 'Using formal analysis techniques in busines process redesign'. Together they form a unique fingerprint.

Cite this