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. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1109/ICEBE.2005.27 | ICEBE |
Keywords | Field | DocType |
extended workflow petri,critical sections,detailed model,proposed theoretical structure,operation theater,activity flow,modeling workflow,critical section,non empty set,petri net,concurrency control,petri nets | Workflow technology,Serializability,Petri net,Concurrency,Computer science,Critical section,Process architecture,Workflow management system,Workflow,Distributed computing | Conference |
ISBN | Citations | PageRank |
0-7695-2430-3 | 4 | 0.47 |
References | Authors | |
8 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yehia Thabet Kotb | 1 | 41 | 4.09 |
Andre Stephan Baumgart | 2 | 4 | 0.47 |