Analyzing Data Dependence Based on Workflow Net
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007
Hi-index | 0.00 |
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.