An extended petri net for modeling workflow with critical sections

Proceedings - ICEBE 2005: IEEE International Conference on e-Business Engineering

Volumn 2005, Issue , 2005, Pages 134-141

  Kotb, Yehia Thabet ^a   Baumgart, Andre Stephan ^a  

^a UNIVERSITY OF MANNHEIM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; CONCURRENCY CONTROL; MATHEMATICAL MODELS; NUMERICAL METHODS; OPERATING ROOMS;

CRITICAL SECTIONS; SEPARABILITY; SERIALIZABILITY; THEORETICAL STRUCTURE;

PETRI NETS;

EID: 33845486104     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICEBE.2005.27     Document Type: Conference Paper

References (15)

1. W. Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21-66, 1998.
2. W. Aalst. Making Work Flow: On the Application of Petri nets to Business Process Management. In J. Esparza and C. Lakos, editors, Application and Theory of Petri Nets 2002, volume 2360 of Lecture Notes in Computer Science, pages 1-22. Springer-Verlag, Berlin, 2002.
3. W. Aalst. Challenges in Business Process Management: Verification of business processes using Petri nets. Bulletin of the EATCS, 80:174-198, 2003.
4. K. Barkaoui, P. Dechambre, and R. Hachicha. Verification and optimisation of an operating room workflow. System Sciences, 2002. HICSS. Proceedings of the 35th Annual Hawaii International Conference on, pages 2581-2590, 2002.
5. K. Knorr. Dynamic access control through petri net workflows, Oct. 09 2000.
6. Y. T. Kotb and E. Badreddin. Synchronizing among activities in a workflow using workflow petri nets. In to appear in Proceedings of IEEE CEC 2005 July 19-22, 2005, Munich, Germany, page 4, 2005.
7. E. J. Macias and M. P. de la Parte. Simulation and Optimization of Logistic and Production Systems Using Discrete and Continuous Petri Nets. SIMULATION, 80(3):143-152, 2004.
8. J. Park. Structural analysis and control of resource allocation systems using petri nets. PhD thesis, School of Industrial and Systems Engineering, Georgia Institute of Technology, 2001. Directed by Spyros A. Reveoliotis, 2000.
9. M. A. Piera, M. Narciso, A. Guasch, and D. Riera. Optimization of Logistic and Manufacturing Systems through Simulation: A Colored Petri Net-Based Methodology. SIMULATION, 80(3):121-129, 2004.
10. H. Reijers. Design and Control of Workflow Processes-Business Process Management for the Service Industry. PhD thesis, Eindhoven University of Technology, Eindhoven, The Netherlands, 2002.
11. A. Tiplea. Modular Analysis of Petri Net Models. PhD thesis, Universitatea Alexandru Ioan Cuza Iasi, Iasi, Romania, 2004.
12. W. M. van der Aalst, M. Weske, and G. Wirtz. Advanced topics in workflow management: Issues, requirements, and solutions. Journal of Integrated Design and Process Science, 7(3):40-77, 2003.
13. W. M. P. van der Aalst. Workflow verification: Finding control-flow errors using petri-net-based techniques. Lecture Notes in Computer Science, 1806, 2000.
14. W. M. P. van der Aalst and K. van Hee. Workflow Management. Models, Methods, and Systems. MIT Press, Cambridge, MA, USA, 2002.
15. E. Verbeek. Verification of WF-nets. PhD thesis, 2004.