In: IEEE International Conference on e-Business Engineering (ICEBE'05), 2005, pages 134-141. 2005. URL: http://doi.ieeecomputersociety.org/10.1109/ICEBE.2005.27,.
Abstract: 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.