Abstract
Time management in workflow processes is crucial in determining and controlling the life cycle of business activities. In our model, a temporal interval as an execution duration is assigned to every workflow task. While the real time taken by the task is non-deterministic and unpredictable, it may be between the bounds, thus specified. We extend Workflow nets (WF-nets) with time intervals and call the new nets Time WF-nets (TWF-nets). Extending our previous results on timed Petri nets, we show that certain behavioural properties of workflow processes modelled in TWF-nets can be verified. Using a clinical health care process as a case study, we also illustrate the modelling of shared resources available at different times.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the IEEE International Conference on Systems, Man and Cybernetics |
| Publisher | IEEE Computer Society |
| Pages | 3039-3044 |
| Number of pages | 6 |
| Volume | 4 |
| Publication status | Published - 1 Dec 2000 |
| Event | IEEE International Conference on Systems, Man and Cybernetics 2000 - Nashville, United States of America Duration: 8 Oct 2000 → 11 Oct 2000 https://ieeexplore.ieee.org/xpl/conhome/7099/proceeding?isnumber=19128 (Proceedings) |
Conference
| Conference | IEEE International Conference on Systems, Man and Cybernetics 2000 |
|---|---|
| Abbreviated title | SMC 2000 |
| Country | United States of America |
| City | Nashville |
| Period | 8/10/00 → 11/10/00 |
| Internet address |