Synchronization among activities in a workflow using extended workflow Petri nets

Proceedings - Seventh IEEE International Conference on E-Commerce Technology, CEC 2005

Volumn 2005, Issue , 2005, Pages 548-551

  Kotb, Yehia Thabet ^a   Badreddin, Essameddin ^a  

^a UNIVERSITY OF MANNHEIM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENCY CONTROL; CONSTRAINT THEORY; MATHEMATICAL MODELS; REAL TIME SYSTEMS; SET THEORY; SYNCHRONIZATION;

EXTENDED WORKFIOW PETRI NET MODEL; REAL TIME CONSTRAINTS; WORKFIOW SYSTEMS;

PETRI NETS;

EID: 33749042348     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICECT.2005.89     Document Type: Conference Paper

References (7)

1. K. Knorr. Dynamic access control through petri net work-fbws. Proceedings of the 16th Annual Computer Security Applications Conference, page 159, 2000.
2. K. Knorr. Verifi cation and optimization of an operating room workfbw. the 35th Annual Hawaii International Conference on system science, 2002.
3. A. van der. The application of petri nets to workfbw management. The journal of circuits systems and computers, 8(1):2166, January 1998.
4. van der Aalst, M. Weske, , and G. Wirtz. Advanced topics in workfbw management: Issues, requirements and solutions. Transactions of the SDPS, 7(1):49-77, March 2003.
5. W. M. P. van der Aalst. Making Work Flow: On the Application of Petri Nets to Business Process Management. 2002.
6. W. M. P. van der Aalst, T. Basten, H. M. W. Verbeek, P. A. C. Verkoulen, and M. Voorhoeve. Adaptive workfbw: On the interplay between ftxibility and support. 2:353-360, march 1999.
7. W. M. P. van der Aalst, J. Desel, and A. Oberweis, editors. Business Process Management, Models, Techniques, and Empirical Studies, volume 1806 of Lecture Notes in Computer Science. Springer, 2000.