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 |
|---|---|
| Pages (from-to) | 3039-3044 |
| Number of pages | 6 |
| Journal | Proceedings of the IEEE International Conference on Systems, Man and Cybernetics |
| Volume | 4 |
| Publication status | Published - 1 Dec 2000 |
| Event | 2000 IEEE International Conference on Systems, Man and Cybernetics - Nashville, TN, USA Duration: 8 Oct 2000 → 11 Oct 2000 |
Cite this
Ling, S., & Schmidt, H. (2000). Time Petri nets for workflow modelling and analysis. Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 4, 3039-3044.