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

✍ Scribed by Chuang Lin; Yang Qu

• Publisher: John Wiley and Sons
• Year: 2004
• Tongue: English
• Weight: 198 KB
• Volume: 19
• Category: Article
• ISSN: 0884-8173
• DOI: 10.1002/int.20007

✦ Synopsis

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.