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 |