Query Nets: Interacting Workflow Modules That Ensure Global Termination

  • Rob J. van Glabbeek
  • David G. Stork
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2678)


We address cross-organizational workflows, such as document work-flows, which consist of multiple workflow modules each of which can interact with others by sending and receiving messages. Our goal is to guarantee that the global workflow network has properties such as termination while merely requiring properties that can be checked locally in individual modules. The resulting query nets are based on predicate/transition Petri nets and implement formal constructs for business rules, thereby ensuring such global termination. Our method does not require the notion of a global specification, as employed by Kindler, Martens and Reisig.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Wil M. P. van der Aalst (1999): Interorganizational Workflows: An Approach Based on Message Sequence Charts and Petri Nets. Systems Analysis—Modelling—Simulation 34(3), pp. 335–367.MATHGoogle Scholar
  2. 2.
    Wil M. P. van der Aalst & Kees M. van Hee (2002): Workflow Management: Models, Methods, and Systems. MIT Press.Google Scholar
  3. 3.
    Hartmann J. Genrich (1987): Predicate/Transition nets. In Wilfried Brauer, Wolfgang Reisig & Grzegorz Rozenberg, editors: Petri nets: Central Models and Their Properties, Advances in Petri nets 1986, Part I, LNCS 254, Springer, pp. 207–247.CrossRefGoogle Scholar
  4. 4.
    K. Gostellow, V. Cerf, G. Estrin & S. Volansky (1972): Proper Termination of Flow-of-control in Programs Involving Concurrent Processes. ACM Sigplan 7(11), pp. 15–27.CrossRefGoogle Scholar
  5. 5.
    Kurt Jensen (1994): An Introduction to the Theoretical Aspects of Coloured Petri Nets. In Jaco W. de Bakker, Willem-Paul de Roever & Grzegorz Rozenberg, editors: A Decade of Concurrency, LNCS 803, Springer, pp. 230–272. Available from http://www.daimi.au.dk/~kjensen/papers_books/rex.pdf.Google Scholar
  6. 6.
    Ekkart Kindler, Axel Martens & Wolfgang Reisig (2000): Inter-operability of Workflow Applications: Local Criteria for Global Soundness. In Wil van der Aalst et al., editor: Business Process Management, LNCS 1806, Springer, pp. 235–253.CrossRefGoogle Scholar
  7. 7.
    Einar Smith (1998): Principles of High-level Petri Nets. In Wolfgang Reisig & Grzegorz Rozenberg, editors: Lectures on Petri nets I: Basic models, Advances in Petri nets, LNCS 1491, Springer, pp. 174–210.Google Scholar
  8. 8.
    Workflow Management Coalition (1995): The Workflow Reference Model. Available from http://www.wfmc.org/.

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Rob J. van Glabbeek
    • 1
  • David G. Stork
    • 1
  1. 1.Ricoh InnovationsMenlo ParkUSA

Personalised recommendations