Skip to main content

Web Supported Enactment of Petri-Net Based Workflows with XRL/Flower

  • Conference paper
Applications and Theory of Petri Nets 2004 (ICATPN 2004)

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

Included in the following conference series:

Abstract

This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XRL/flower uses XML technology and is implemented in Java on top of the Petri-net Kernel PNK. Standard XML tools can be deployed to parse, check, and handle XRL documents. The XRL enactment application is complemented with a Web server, allowing actors to interact with the system through the internet. A database allows the enactment engine and the Web server to exchange information with each other. Since XRL is instance based, a modelled workflow serves as a template that needs to be copied and may be possibly refined for enactment. For that purpose XRL constructs are automatically translated into Petri-net constructs. As a result, the system is easy to extend: For supporting a new control flow primitive, the engine itself does not need to change. Furthermore, the Petri net representation can be analyzed using state-of-the-art analysis techniques and tools.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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.: Structural Characterizations of Sound Workflow Nets. Computing Science Reports 96/23, Eindhoven University of Technology, Eindhoven (1996)

    Google Scholar 

  2. van der Aalst, W.M.P.: The Application of Petri Nets toWorkflow Management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)

    Article  Google Scholar 

  3. van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns Home Page, http://www.tm.tue.nl/it/research/patterns/

  4. van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Advanced Workflow Patterns. In: Scheuermann, P., Etzion, O. (eds.) CoopIS 2000. LNCS, vol. 1901, pp. 18–29. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  5. van der Aalst, W.M.P., Kumar, A.: Xml based schema definition for support of interorganizational workflow. Information Systems Research 14(1), 23–47 (2003)

    Article  Google Scholar 

  6. van der Aalst, W.M.P., Verbeek, H.M.W., Kumar, A.: XRL/Woflan: Verification of an XML/Petri-net based language for inter-organizational workflows (Best paper award). In: Altinkemer, K., Chari, K. (eds.) Proceedings of the 6th Informs Conference on Information Systems and Technology (CIST 2001), pp. 30–45. Informs, Linthicum (2001)

    Google Scholar 

  7. BEA Systems, Intalio, SAP AG , Sun Microsystems. Web Service Choreography Interface (WSCI) 1.0 Specification (2003), http://wwws.sun.com/software/xml/developers/wsci/

  8. Berglund, A., Boag, S., Chamberlin, D., et al.: XML Path Language (XPath) 2.0 (2003), http://www.w3.org/TR/2003/WD-xpath20-20030822

  9. BPML.org. Business Process Modeling Language (BPML) version 1.0. (2003), Accessed August 2003 from www.bpmi.org

  10. Workflow Management Coalition. XML Process Definition Language (2002), http://www.wfmc.org/standards/docs/TC-1025_10_xpdl_102502.pdf

  11. Curbera, F., Goland, Y., Klein, J., Leymann, F., Roller, D., Thatte, S., Weerawarana, S.: Business Process Execution Language for Web-Services (2003), http://www-106.ibm.com/developerworks/library/ws-bpel/

  12. IBM. Web Service Flow Language (WSFL) 1.0 Specification (2003), http://www-3.ibm.com/software/solutions/webservices/pdf/WSFL.pdf

  13. Kiepuszewski, B.: Expressiveness and Suitability of Languages for Control Flow Modelling in Workflows. PhD thesis, Queensland University of Technology, Queensland University of Technology, Brisbane, Australia (2002)

    Google Scholar 

  14. Kiepuszewski, B., ter Hofstede, A.H.M., van der Aalst, W.M.P.: Fundamentals of Control Flow in Workflows. Acta Informatica 39(3), 143–209 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  15. Kindler, E., Billington, J., Christensen, S., et al.: The petri net markup language: Concepts, technology, and tools. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 483–505. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  16. Kindler, E., Weber, M., et al.: Petri Net Kernel (PNK) Home Page (2003), http://www.informatik.hu-berlin.de/top/pnk/

  17. Kindler, E., Weber, M., et al.: Petri Net Markup Language (PNML) Home Page (2003), http://www.informatik.hu-berlin.de/top/pnml/

  18. Kindler, E., Weber, M.: The petri net kernel - an infrastructure for building petri net tools. International Journal on Software Tools for Technology Transfer 3(4), 486–497 (2001)

    MATH  Google Scholar 

  19. Norta, A.: XRL Home Page, http://www.tm.tue.nl/it/research/xrl/

  20. Norta, A.: XRL/flower Home Page, http://www.tm.tue.nl/it/research/xrl/flower

  21. Thatte, S.: XLANG: Web Service for Business Process Design (2003)

    Google Scholar 

  22. Verbeek, H.M.W., van der Aalst, W.M.P.: Woflan Home Page, Eindhoven University of Technology, Eindhoven, The Netherlands, http://www.tm.tue.nl/it/woflan

  23. Verbeek, H.M.W., van der Aalst, W.M.P.: Woflan 2.0: A Petri-net-based Workflow Diagnosis Tool. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol. 1825, pp. 475–484. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  24. Verbeek, H.M.W., Basten, T., van der Aalst, W.M.P.: Diagnosing Workflow Processes Using Woflan. The Computer Journal, British Computer Society 44(4), 246–279 (2001)

    MATH  Google Scholar 

  25. Verbeek, H.M.W., Hirnschall, A., van der Aalst, W.M.P.: XRL/Flower: Supporting interorganizational workflows using XML/Petri-net technology. In: Bussler, C.J., McIlraith, S.A., Orlowska, M.E., Pernici, B., Yang, J. (eds.) CAiSE 2002 and WES 2002. LNCS, vol. 2512, pp. 93–109. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  26. Weber, M., Kindler, E.: The petri net markup language. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, p. 455. Springer, Heidelberg (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Norta, A. (2004). Web Supported Enactment of Petri-Net Based Workflows with XRL/Flower. In: Cortadella, J., Reisig, W. (eds) Applications and Theory of Petri Nets 2004. ICATPN 2004. Lecture Notes in Computer Science, vol 3099. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27793-4_30

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-27793-4_30

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22236-1

  • Online ISBN: 978-3-540-27793-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics