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 |
MARC
| LEADER | 00000caa a22000002c 4500 | ||
|---|---|---|---|
| 001 | 1685626327 | ||
| 003 | DE-627 | ||
| 005 | 20220817185002.0 | ||
| 007 | cr uuu---uuuuu | ||
| 008 | 191216s2005 xx |||||o 00| ||eng c | ||
| 024 | 7 | |a 10.1109/ICEBE.2005.27 |2 doi | |
| 035 | |a (DE-627)1685626327 | ||
| 035 | |a (DE-599)KXP1685626327 | ||
| 035 | |a (OCoLC)1341282132 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rda | ||
| 041 | |a eng | ||
| 084 | |a 28 |2 sdnb | ||
| 100 | 1 | |a Kotb, Yehia |d 1973- |e VerfasserIn |0 (DE-588)1201599156 |0 (DE-627)1685626696 |4 aut | |
| 245 | 1 | 3 | |a An extended Petri net for modeling workflow with critical sections |c Y.T. Kotb, A.S. Baumgart |
| 264 | 1 | |c 12 December 2005 | |
| 300 | |a 8 | ||
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a Computermedien |b c |2 rdamedia | ||
| 338 | |a Online-Ressource |b cr |2 rdacarrier | ||
| 500 | |a Gesehen am 16.12.2019 | ||
| 520 | |a 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. | ||
| 700 | 1 | |a Baumgart, André |d 1974- |e VerfasserIn |0 (DE-588)1012533514 |0 (DE-627)66183316X |0 (DE-576)345550773 |4 aut | |
| 773 | 0 | 8 | |i Enthalten in |a International Conference on E-Business Engineering (2005 : Peking) |t IEEE International Conference on e-Business Engineering, 2005 |d Los Alamitos, Calif. [u.a.] : IEEE Computer Society, 2005 |g (2005), Seite 134-141 |h Online-Ressource (XXIII, 771 S.) |w (DE-627)504709682 |w (DE-576)9504709680 |z 0769524303 |7 nnam |
| 773 | 1 | 8 | |g year:2005 |g pages:134-141 |g extent:8 |a An extended Petri net for modeling workflow with critical sections |
| 856 | 4 | 0 | |u https://dx.doi.org/10.1109/ICEBE.2005.27 |x Verlag |z kostenfrei registrierungspflichtig |3 Volltext |
| 951 | |a AR | ||
| 992 | |a 20191216 | ||
| 993 | |a ConferencePaper | ||
| 994 | |a 2005 | ||
| 998 | |g 1012533514 |a Baumgart, André |m 1012533514:Baumgart, André |p 2 |y j | ||
| 998 | |g 1201599156 |a Kotb, Yehia |m 1201599156:Kotb, Yehia |p 1 |x j | ||
| 999 | |a KXP-PPN1685626327 |e 3565312084 | ||
| BIB | |a Y | ||
| JSO | |a {"physDesc":[{"extent":"8 S."}],"relHost":[{"disp":"International Conference on E-Business Engineering (2005 : Peking)IEEE International Conference on e-Business Engineering, 2005","type":{"media":"Online-Ressource","bibl":"book"},"note":["Tagungsdaten auch irrtümlich angegeben als: 12 - 18 Oct. 2005 bzw. 18 - 12 October 2005","Parallel als Buch-Ausg. erschienen"],"language":["eng"],"corporate":[{"display":"International Conference on E-Business Engineering (2005, Peking)","role":"aut"},{"role":"oth","display":"IEEE Computer Society"}],"recId":"504709682","part":{"year":"2005","pages":"134-141","text":"(2005), Seite 134-141","extent":"8"},"title":[{"title_sort":"IEEE International Conference on e-Business Engineering, 2005","subtitle":"ICEBE 2005 ; 18 - 21 October 2005, [Beijing, China ; proceedings]","title":"IEEE International Conference on e-Business Engineering, 2005"}],"physDesc":[{"extent":"Online-Ressource (XXIII, 771 S.)"}],"name":{"displayForm":["[sponsored by IEEE Computer Society, Technical Committee on Electronic Commerce (TCEC) ...]"]},"origin":[{"publisherPlace":"Los Alamitos, Calif. [u.a.]","publisher":"IEEE Computer Society","dateIssuedKey":"2005","dateIssuedDisp":"2005"}],"id":{"eki":["504709682"],"isbn":["0769524303"]}}],"origin":[{"dateIssuedDisp":"12 December 2005","dateIssuedKey":"2005"}],"id":{"eki":["1685626327"],"doi":["10.1109/ICEBE.2005.27"]},"name":{"displayForm":["Y.T. Kotb, A.S. Baumgart"]},"note":["Gesehen am 16.12.2019"],"type":{"bibl":"chapter","media":"Online-Ressource"},"recId":"1685626327","language":["eng"],"title":[{"title_sort":"extended Petri net for modeling workflow with critical sections","title":"An extended Petri net for modeling workflow with critical sections"}],"person":[{"role":"aut","display":"Kotb, Yehia","roleDisplay":"VerfasserIn","given":"Yehia","family":"Kotb"},{"given":"André","family":"Baumgart","role":"aut","display":"Baumgart, André","roleDisplay":"VerfasserIn"}]} | ||
| SRT | |a KOTBYEHIABEXTENDEDPE1220 | ||