An extended Petri net for modeling workflow with critical sections
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...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Chapter/Article Conference Paper |
| Language: | English |
| Published: |
12 December 2005
|
| In: |
IEEE International Conference on e-Business Engineering, 2005
Year: 2005, Pages: 134-141 |
| DOI: | 10.1109/ICEBE.2005.27 |
| Online Access: | Verlag, kostenfrei registrierungspflichtig, Volltext: https://dx.doi.org/10.1109/ICEBE.2005.27
|
| Author Notes: | Y.T. Kotb, A.S. Baumgart |
| Summary: | 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. |
|---|---|
| Item Description: | Gesehen am 16.12.2019 |
| Physical Description: | Online Resource |
| ISBN: | 0769524303 |
| DOI: | 10.1109/ICEBE.2005.27 |