IEEE International Conference on e-Business Engineering (ICEBE'05) An Extended Petri net for Modeling Workflow with Critical Sections Beijing, China October 12-October 18 ISBN: 0-7695-2430-3
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICEBE.2005.27
This work presents an extended workflow petri net which synchronizes activity flow in the critical sections of the process. A critical section is a non empty set of tasks that cannot serve more than one activity at a time. The structure of the proposed net is introduced and a theorem is proposed and proved for the properties of separability and serializability. A fully detailed model for the operation theater in a hospital is presented using the proposed theoretical structure to control concurrency between activities in the critical sections.
Citation:
Yehia Thabet Kotb, Andre Stephan Baumgart, "An Extended Petri net for Modeling Workflow with Critical Sections," icebe, pp.134-141, IEEE International Conference on e-Business Engineering (ICEBE'05), 2005 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb