Skip to main content
SpringerLink
Log in

Using Formal Analysis Techniques in Business Process Redesign

  • Chapter
  • First Online:
Business Process Management

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1806))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Cormen, T. H., Leiseron, C.E., Rivest, R.L.: Introduction to Algorithms. The MIT Press, Cambridge (1990).

    Google Scholar 

  2. Hee, van, K.M.: Information Systems Engineering: a Formal Approach. Cambridge University Press (1994).

    Google Scholar 

  3. Hee, van, K.M., Aalst, van der, W.M.P.: Workflow Managament: Modellen, Methoden en Systemen. Academic Service, Schoonhoven (1997) [In Dutch]

    Google Scholar 

  4. Hee, van, K.M., Reijers, H.A.: An Analytical Method for Computing Throughput Times in Stochastic Workflow Nets. Proceedings of the 7th Analytical and Numerical Modelling Techniques Conference (1999) [Forthcoming]

    Google Scholar 

  5. Jensen, K: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, Vol. 1, Basic Concepts. Springer-Verlag, Berlin (1992).

    Google Scholar 

  6. Levin, R., Kirkpatrick, C.: Planning and control with PERT/CPM. McGraw-Hill, New York (1966).

    Google Scholar 

  7. Neuman, K., Steinhardt, U.: GERT Networks, vol. 172 of Lecture Notes in Economic and Mathematical Systems. Springer-Verlag, Berlin (1979).

    Google Scholar 

  8. Thomasian, A.J.: The structure of Probability Theory with Applications. McGraw-Hill Book Company, New York (1969).

    MATH  Google Scholar 

  9. Tijms, H. C.: Stochastic Models: an Algorithmic Approach. John Wiley & Sons, New York (1994).

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB, Eindhoven, The Netherlands

    Kees M. van Hee & Hajo A. Reijers

Authors
  1. Kees M. van Hee
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hajo A. Reijers
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Technology and Management, Department of Information and Technology, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands

    Wil van der Aalst

  2. Mathematisch-Geographische Fakultät, Lehrstuhl für Angewandte Informatik, Katholische Universität Eichstätt, Ostenstraße 28, 85072, Eichstätt, Germany

    Jörg Desel

  3. Institut für Wirtschaftsinformatik, Lehrstuhl für Wirtschaftsinformatik II, J.W. Goethe-Universität Frankfurt am Main, Postfach 111932, 60054, Frankfurt am Main, Germany

    Andreas Oberweis

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

van Hee, K.M., Reijers, H.A. (2000). Using Formal Analysis Techniques in Business Process Redesign. In: van der Aalst, W., Desel, J., Oberweis, A. (eds) Business Process Management. Lecture Notes in Computer Science, vol 1806. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45594-9_10

Download citation

  • DOI: https://doi.org/10.1007/3-540-45594-9_10

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67454-2

  • Online ISBN: 978-3-540-45594-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation