Time Petri nets for workflow modelling and analysis

Sea Ling, Heinz Schmidt

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    100 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
    Title of host publicationProceedings of the IEEE International Conference on Systems, Man and Cybernetics
    PublisherIEEE Computer Society
    Number of pages6
    Publication statusPublished - 1 Dec 2000
    EventIEEE International Conference on Systems, Man and Cybernetics 2000 - Nashville, United States of America
    Duration: 8 Oct 200011 Oct 2000
    https://ieeexplore.ieee.org/xpl/conhome/7099/proceeding?isnumber=19128 (Proceedings)


    ConferenceIEEE International Conference on Systems, Man and Cybernetics 2000
    Abbreviated titleSMC 2000
    CountryUnited States of America
    Internet address

    Cite this