Time Petri nets for workflow modelling and analysis

Sea Ling, Heinz Schmidt

    Research output: Contribution to journalConference articleResearchpeer-review

    98 Citations (Scopus)


    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 languageEnglish
    Pages (from-to)3039-3044
    Number of pages6
    JournalProceedings of the IEEE International Conference on Systems, Man and Cybernetics
    Publication statusPublished - 1 Dec 2000
    Event2000 IEEE International Conference on Systems, Man and Cybernetics - Nashville, TN, USA
    Duration: 8 Oct 200011 Oct 2000

    Cite this