Skip to main content
SpringerLink
Log in

Pattern Based Workflow Design Using Reference Nets

  • 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

The development of workflow applications requires satisfactory concepts and tools. Workflow patterns cover the conceptual part. To base the patterns on high-level Petri nets allows for the tight integration of the modelling editor with the actual execution engine. The development process of workflow applications gains from this.

We propose to use Reference nets as the modelling technique, Renew as the basic execution engine, and our workflow modelling tool for the design of workflows. The latter is a plug-in for the Renew editor, which is based on the use of workflow patterns. The development process is based on prototyping.

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. Workflow management coalition homepage. URL: http://www.wfmc.org/, 2003.

  2. Workflow pattern homepage. URL: http://tmitwww.tm.tue.nl/research/patterns/, 2003.

  3. Workflow reference model. URL: http://www.wfmc.org/standards/docs/tc003v11.pdf, 2003.

  4. Wil M.P. van der Aalst. Verification of workflow nets. Number 1248 of Lecture Notes in Computer Science, pages 407–426, Springer Verlag, Berlin, 1997.

    Google Scholar 

  5. Wil M.P. van der Aalst. WOFLAN: A Petri-net-based workflow analyser. In International Conference on Application and Theory of Petri Nets in Lisbon 1998, number 1420 in Lecture Notes in Computer Science, Springer Verlag, Berlin, 1998.

    Google Scholar 

  6. Wil M.P. van der Aalst, Jörg Desel, and Andreas Oberweis (Eds.). Business Process Management: Models, Techniques, and Empirical Studies. Number 1806 in Lecture Notes in Computer Science. Springer Verlag, Berlin, 2000.

    Google Scholar 

  7. Wil M.P. van der Aalst, Daniel Moldt, Rüdiger Valk, and Frank Wienberg. Enacting Interorganizational Workflows Using Nets in Nets. In J. Becker, M. zur Mühlen, and M. Rosemann (Eds.), Proceedings of the 1999 Workflow Management Conference Workflow-based Applications, Working Paper Series of the Department of Information Systems, pages 117–136, University of Münster, Department of Information Systems, Münster, 1999. Working Paper No. 70.

    Google Scholar 

  8. Wil M.P. van der Aalst and Arthur H.M. ter Hofstede. Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Languages. In Kurt Jensen (Ed.), Proceedings of the Fourth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2002), volume 560 of DAIMI, pages 1–20, Aarhus, Denmark, August 2002. University of Aarhus.

    Google Scholar 

  9. Wil M.P. van der Aalst and Arthur H.M. ter Hofstede. YAWL: Yet Another Workflow Language. QUT Technical report, FIT-TR-2002-06, Queensland University of Technology, Brisbane, 2002.

    Google Scholar 

  10. Søren Christensen and Niels Damgaard Hansen. Coloured Petri nets extended with channels for synchronous communication. In Robert Valette (Ed.), Application and Theory of Petri Nets 1994, Proc. of 15th Intern. Conf. Zaragoza, Spain, June 1994, LNCS, pages 159–178, Springer Verlag, Berlin, June 1994.

    Google Scholar 

  11. Thomas Jacob, Olaf Kummer, and Daniel Moldt. Persistent Petri Net Execution. Petri Net Newsletter, 61:18–26, October 2001.

    Google Scholar 

  12. Thomas Jacob, Olaf Kummer, Daniel Moldt, and Ulrich Ultes-Nitsche. Implementation of Workflow Systems using Reference Nets — Security and Operability Aspects. pages 139–154, Ny Munkegade, Building 540, DK-8000 Aarhus C, Denmark, 2002. Computer Science Department, University of Aarhus. see also: http://www.daimi.au.dk/CPnets/workshop02/cpn/papers/.

  13. Kurt Jensen. Coloured Petri Nets: Volume 1; Basic Concepts, Analysis Methods and Practical Use. EATCS Monographs on Theoretical Computer Science. Springer Verlag, Berlin, 1992.

    MATH  Google Scholar 

  14. Eike Jessen and Rüdiger Valk. Rechensysteme; Grundlagen der Modellbildung. Springer Verlag, Berlin, 1987.

    Google Scholar 

  15. Michael Köhler and Heiko Rölke. Mobile object net systems: Concurrency and mobility. In H.-D. Burkhard, L. Czaja, G. Lindemann, A. Skowron, and P. Starke (Eds.), Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2002), 2002.

    Google Scholar 

  16. Olaf Kummer. Simulating synchronous channels and net instances. In J. Desel, P. Kemper, E. Kindler, and A. Oberweis (Eds.), Forschungsbericht Nr. 694: 5. Workshop Algorithmen und Werkzeuge für Petrinetze, pages 73–78. University of Dortmund, Computer Science Department, 1998.

    Google Scholar 

  17. Olaf Kummer. Referenznetze. Dissertation, University of Hamburg, Computer Science Department, Vogt-Kölln Str. 30, 22527 Hamburg, Germany, 2002.

    Google Scholar 

  18. Olaf Kummer, Frank Wienberg, and Michael Duvigneau. Renew-User Guide. University of Hamburg, Computer Science Department, Vogt-Kölln Str. 30, 22527 Hamburg, Germany, 1.6 edition, 2002.

    Google Scholar 

  19. Stefan Müller-Wilken. Mobile Geräte in verteilten Anwendungsumgebungen: Ein Integrationsansatz zwischen Abstraktion und Migration. Dissertation, University of Hamburg, Computer Science Department, Vogt-Kölln Str. 30, 22527 Hamburg, Germany, 2002.

    Google Scholar 

  20. Stefan Müller-Wilken, Frank Wienberg, and Wilfried Lamersdorf. On integrating mobile devices into a workflow management scenario.In A. Al-Zobaidie, A. M. Tjoa, and R. R. Wagner (Eds.), Proc. 11th International Workshop on Database and Expert Systems Applications (DEXA 2000), pages 186–192, Hamburg, October 2000. IEEE Computer Society.

    Google Scholar 

  21. Daniel Moldt. Using workflows to structure systems based on object-oriented coloured Petri nets. In J. Desel, A. Oberweis, W. Reisig, and G. Rozenberg (Eds.), Petri Nets and Business Process Management, number 217 in Dagstuhl Seminar-Report, Saarbrücken, 1998.

    Google Scholar 

  22. Wolfgang Reisig. Petri Nets: An Introduction. Springer Verlag, Berlin, 1985.

    MATH  Google Scholar 

  23. Wolfgang Reisig. Petri nets and algebraic specifications. Theoretical Computer Science, 80(1–2):1–34, 1991.

    Article  MATH  MathSciNet  Google Scholar 

  24. Renew homepage. URL: http://www.renew.de, University of Hamburg, Department for Computer Science, Vogt-Köolln Str. 30, 22527 Hamburg, Germany, 2003.

  25. Rüdiger Valk. Concurrency in communicating object Petri nets. In G. Agha, F. De Cindio, and G. Rozenberg (Eds.), Concurrent Object-Oriented Programming and Petri Nets, number 2001 of Lecture Notes in Computer Science, Springer Verlag, Berlin, 2001.

    Chapter  Google Scholar 

  26. Rüdiger Valk. Petri Nets as Token Objects: An Introduction to Elementary Object Nets. In Jörg Desel (Ed.), 19th International Conference on Application and Theory of Petri nets, number 1420 of Lecture Notes in Computer Science, Springer Verlag, Berlin, 1998.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, University of Hamburg, Vogt-Kölln-Str. 30, D-22527, Hamburg

    Daniel Moldt & Heiko Rölke

Authors
  1. Daniel Moldt
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Heiko Rölke
    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

Moldt, D., Rölke, H. (2003). Pattern Based Workflow Design Using Reference Nets. 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_17

Download citation

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

  • 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