Skip to main content
SpringerLink
Log in

Compensation in Workflow Nets

  • Conference paper
Petri Nets and Other Models of Concurrency - ICATPN 2006 (ICATPN 2006)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4024))

Included in the following conference series:

Abstract

We present a formal model to specify compensation of workflows: Each acyclic workflow net W (as defined by v.d. Aalst) is canonically extended to a net W  + , representing the potential occurrence of failures, and the compensation of so-far executed actions. We show that the construction is compositional and correct, i.e. meets the expected properties.

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. van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)

    Article  Google Scholar 

  2. van der Aalst, W.M.P., ter Hofstede, A.H.M.: Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Languages. In: Jensen, K. (ed.) Proceedings of the Fourth Workshop on the Practical Use of Coloured Petri Nets andCPN Tools (CPN 2002), DAIMI, Aarhus, Denmark, August 2002, vol. 560, pp. 1–20 (2002)

    Google Scholar 

  3. Du, W., Davis, J., Shan, M.C.: Flexible specification of workflow compensation scopes. In: GROUP 1997, pp. 309–316 (1997)

    Google Scholar 

  4. Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann, San Francisco (1993)

    MATH  Google Scholar 

  5. Garcia-Molina, H., Salem, K.: Sagas. In: SIGMOD 1987. Proceedings of the 1987 ACM SIGMOD international conference on Management of data, pp. 249–259. ACM Press, New York (1987)

    Chapter  Google Scholar 

  6. Leymann, F.: Supporting Business Transactions Via Partial Backward Recovery In Workflow Management Systems. In: BTW 1995, pp. 51–70 (1995)

    Google Scholar 

  7. Reisig, W.: Elements of Distributed Algorithms: Modelling and Analysis with Petri Nets. Springer, Heidelberg (1998)

    MATH  Google Scholar 

  8. WFMC: Workflow Management Coalition, The Workflow Reference Model (TC00–1003). Technical Report, Workflow Management Coalition, Hempshire, UK (1995)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Humboldt-Universität zu Berlin, Unter den Linden 6, D-10099, Berlin

    Baver Acu & Wolfgang Reisig

Authors
  1. Baver Acu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Wolfgang Reisig
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Informatica, Università di Torino, 10149, Torino, Italy

    Susanna Donatelli

  2. School of Computing, National University of Singapore,  

    P. S. Thiagarajan

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Acu, B., Reisig, W. (2006). Compensation in Workflow Nets. In: Donatelli, S., Thiagarajan, P.S. (eds) Petri Nets and Other Models of Concurrency - ICATPN 2006. ICATPN 2006. Lecture Notes in Computer Science, vol 4024. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11767589_5

Download citation

  • DOI: https://doi.org/10.1007/11767589_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-34699-9

  • Online ISBN: 978-3-540-34700-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation