Temporal inference of workflow systems based on time petri nets: Quantitative and qualitative analysis

Authors:
Chuang Lin;Yang Qu
Affiliations:
Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China;Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China
Venue:
International Journal of Intelligent Systems
Year:
2004

Citing 0
Cited 2

A method for estimating the cycle time of business processes with many-to-many relationships among the resources and activities based on individual worklists

Computers and Industrial Engineering
Workflow performance analysis and simulation based on multidimensional workflow net

Computers in Industry

Quantified Score

Hi-index	0.00

Visualization

Abstract

Recently, a significant body of research has been dedicated to the analysis and verification of workflows without taking into account the temporal dimension of activities involved. Workflow also has a strong temporal aspect: activity sequencing, deadlines, routing conditions, and scheduling all involve the element of time. Once the temporal aspects of the activities in a process description are taken into account, various types of synchronization anomalies and other undesirable behavior may be detected. In this article, we address both the quantitative temporal aspect and the qualitative temporal aspect of workflow systems. On one hand, based on time Petri net (TPN), we introduce a set of linear inference algorithms to solve some quantitative inference problems of temporal constraints of workflows. On the other hand, based on extended interval temporal logic (EITL), we propose temporal logic workflow models to qualitatively infer temporal relations among tasks of workflow systems. © 2004 Wiley Periodicals, Inc.