Monash University
Browse
- No file added yet -

A concept of time in workflow modelling and analysis

Download (112.61 kB)
report
posted on 2022-08-31, 02:23 authored by S Ling, H Schmidt
Time management in workflow processes is crucial in determining and controlling the life cycle of business activities. By assigning deterministic execution durations to individual tasks, workflows have been analysed for the correctness and efficiency of business processes. In our model, we assign a temporal interval to every workflow task. While the real time taken by the task is non-deterministic or unpredictable, it may be between the bounds, thus specified. An interval timed extension of Workflow nets (WF-nets) is then used to specify the workflow with such time constraints. Using our previous results on timed Petri net modelling and analysis, we show that certain behavioural properties of the workflow process can be verified.

History

Technical report number

2000/72

Year of publication

2000

Usage metrics

    Monash Information Technology Technical Reports

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC