Compensation in workflow nets

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

Volumn 4024 LNCS, Issue , 2006, Pages 65-83

  Acu, Baver ^a   Reisig, Wolfgang ^a  

^a HUMBOLDT UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; COMPUTER SYSTEM RECOVERY; FORMAL LOGIC; MATHEMATICAL MODELS;

ACYCLIC WORK FLOW; FORMAL MODEL; WORKFLOW NETS;

PETRI NETS;

EID: 33746038993     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11767589_5     Document Type: Conference Paper

References (8)

1. Aalst, W.M.P. van der: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):2166, 1998.
2. Aalst, W.M.P. van der, Hofstede, A.H.M. ter: Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Languages. In K. Jensen, editor, Proceedings of the Fourth Workshop on the Practical Use of Coloured Petri Nets andCPN Tools (CPN 2002), volume 560 of DAIMI, pages 1-20, Aarhus, Denmark, August 2002.
3. Du, W., Davis, J., Shan, M.C.: Flexible specification of workflow compensation scopes. GROUP 1997: 309-316.
4. Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann, 1993.
5. Garcia-Molina, H., Salem, K.: Sagas. In SIGMOD 87: Proceedings of the 1987 ACM SIGMOD international conference on Management of data, pages 249-259, ACM Press, 1987.
6. Ley mann, F.: Supporting Business Transactions Via Partial Backward Recovery In Workflow Management Systems. BTW 1995: 51-70
7. Reisig, W.: Elements of Distributed Algorithms; Modelling and Analysis with Petri Nets. Springer-Verlag, Berlin, Heidelberg, 1998.
8. WFMC: Workflow Management Coalition, The Workflow Reference Model (TC00-1003). Technical Report, Workflow Management Coalition, Hempshire, UK, 1995.