Skip to main content
SpringerLink
Log in

A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling

  • Conference paper
  • First Online:
Business Process Management (BPM 2003)

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

Included in the following conference series:

Abstract

A top-down approach for workflow design is proposed in the framework of Petri net theory. Simple but powerful refinement rules are proposed that guarantee soundness of the resulting workflow nets. The refinement process supports the definition of regions, which are parts of the workflow that correspond to logistically related items. Exception handlers can be associated to regions. Defining regions helps determining the impact areas of the unexpected events during workflow execution.

This work is partially supported by an ARC SPIRT grant “Managing Changes in Dynamic Workflow Environments” between UNSW, QUT, and Justwin Technologies and by an internal research grant No. BW/ALG/01/2002 of PJWSTK financially supported by KBN in Poland.

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 99.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 129.00
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. Georgakopoulos, D., Hornick, M., Sheth, A.: An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure. Distributed and Parallel Databases 3 (1995)

    Google Scholar 

  2. WfMC: Workflow Management Coalition, Terminology and Glossary, Document Number WFMC-TC-1011. (1999) http://www.wfmc.org/standards/docs.htm/.

  3. Chrzastowski-Wachtel, P.: Recovery Nets: Model for Dynamic Workflows. In: Proceedings of the 13th Workshop on Concurrency, Specification, and Programming, Humboldt University Report, Berlin, Germany (2002)

    Google Scholar 

  4. Aalst, W.v.d., Hee, K.v.: Workflow Management. Models, Methods and Systems. MIT Press, Cambridge, Massachusetts (2002)

    Google Scholar 

  5. Aalst, W.v.d., Hofstede, A.t., Kiepuszewski, B., Barros, A.: Workflow Patterns. Technical Report FIT-TR-2002-02, Queensland University of Technology, Brisbane, Australia (2002)

    Google Scholar 

  6. Aalst, W.v.d.: Verification of Workflow Nets. In Azema, P., Balbo, G., eds.: Proceedings of the Application and Theory of Petri Nets’97, Toulouse, France (1997)

    Google Scholar 

  7. Aalst, W.v.d.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8 (1998) 21–66

    Article  Google Scholar 

  8. Desel, J., Esparza, J.: Free Choice Petri Nets. Volume 40 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, Cambridge, UK (1995)

    MATH  Google Scholar 

  9. Benatallah, B., Chrzastowski-Wachtel, P., Hamadi, R., O’Dell, M., Susanto, A.: HiWorD: A Petri Net-based Hierarchical Workflow Designer. In: Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD’03), Guimaraes, Portugal, IEEE Computer Society Press (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Informatics, Warsaw University, Banacha 2, PL 02-097, Warszawa, Poland

    Piotr Chrzastowski-Wachtel

  2. Schoolof Computer Science and Engineering, The University of New South Wales, Sydney, NSW, 2052, Australia

    Piotr Chrzastowski-Wachtel

  3. Justwin Technologies Pty Ltd, 7-9 West Street Suite I.20, Level 1, North Sydney, NSW, 2060, Australia

    Boualem Benatallah, Rachid Hamadi & Adi Susanto

  4. Polish-Japanese Institute of Information Technology, Koszykowa 86, PL 02-008, Warszawa, Poland

    Milton O’Dell

Authors
  1. Piotr Chrzastowski-Wachtel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Boualem Benatallah
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Rachid Hamadi
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Milton O’Dell
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Adi Susanto
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

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

    Wil M. P. van der Aalst

  2. Hasso Plattner Institute for Software Systems Engineering, Potsdam University, Prof.-Dr.-Helmert-Str. 2-3, 14482, Potsdam, Germany

    Mathias Weske

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chrzastowski-Wachtel, P., Benatallah, B., Hamadi, R., O’Dell, M., Susanto, A. (2003). A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling. In: van der Aalst, W.M.P., Weske, M. (eds) Business Process Management. BPM 2003. Lecture Notes in Computer Science, vol 2678. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44895-0_23

Download citation

  • DOI: https://doi.org/10.1007/3-540-44895-0_23

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40318-0

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation