Query nets: Interacting workflow modules that ensure global termination

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2678, Issue , 2003, Pages 184-199

  Van Glabbeek, Rob J ^a   Stork, David G ^a  

^a Ricoh Innovations Inc   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; ENTERPRISE RESOURCE MANAGEMENT; MANAGEMENT SCIENCE; PETRI NETS;

BUSINESS RULES; CROSS-ORGANIZATIONAL; WORK-FLOWS; WORKFLOW MODULES;

QUERY PROCESSING;

EID: 35048853529     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44895-0_13     Document Type: Article

References (8)

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.
2. WIL M. P. VAN DER AALST & KEES M. VAN HEE (2002): Workflow Management: Models, Methods, and Systems. MIT Press.
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.
4. (11), pp. 15-27.
5. ∼kjensen/papers.books/rex.pdf.
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.
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.
8. WORKFLOW MANAGEMENT COALITION (1995): The Workflow Reference Model. Available from http://www.wfmc.org/.