Synchronization among activities in a workflow using extended workflow Petri nets
To maximize throughput in workflow systems concurrency is required. On the other hand concurrency must be controlled especially in systems in which a set of tasks can not serve more than one activity at a time constituting a critical section. This paper introduces an extended workflow Petri net mode...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Chapter/Article Conference Paper |
| Language: | English |
| Published: |
31 October 2005
|
| In: |
Seventh IEEE International Conference on E-Commerce Technology workshops 2005
Year: 2005, Pages: 548-551 |
| DOI: | 10.1109/ICECT.2005.89 |
| Online Access: | Verlag, kostenfrei registrierungspflichtig, Volltext: https://dx.doi.org/10.1109/ICECT.2005.89
|
| Author Notes: | Y.T. Kotb, E. Badreddin |
| Summary: | To maximize throughput in workflow systems concurrency is required. On the other hand concurrency must be controlled especially in systems in which a set of tasks can not serve more than one activity at a time constituting a critical section. This paper introduces an extended workflow Petri net model to deal with synchronization among activities in workflows which include critical sections and which the validity of resource tokens is subject to real time constraints. The paper also addresses the soundness property of the proposed extended workflow Petri net. |
|---|---|
| Item Description: | Gesehen am 16.12.2019 |
| Physical Description: | Online Resource |
| ISBN: | 0769523846 |
| DOI: | 10.1109/ICECT.2005.89 |