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...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Dokumenttyp: | Kapitel/Artikel Konferenzschrift |
| Sprache: | Englisch |
| Veröffentlicht: |
12 December 2005
|
| In: |
IEEE International Conference on e-Business Engineering, 2005
Year: 2005, Pages: 134-141 |
| DOI: | 10.1109/ICEBE.2005.27 |
| Online-Zugang: | Verlag, kostenfrei registrierungspflichtig, Volltext: https://dx.doi.org/10.1109/ICEBE.2005.27
|
| Verfasserangaben: | Y.T. Kotb, A.S. Baumgart |
| Zusammenfassung: | 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. |
|---|---|
| Beschreibung: | Gesehen am 16.12.2019 |
| Beschreibung: | Online Resource |
| ISBN: | 0769524303 |
| DOI: | 10.1109/ICEBE.2005.27 |