Premium
Temporal inference of workflow systems based on time petri nets: Quantitative and qualitative analysis
Author(s) -
Lin Chuang,
Qu Yang
Publication year - 2004
Publication title -
international journal of intelligent systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.291
H-Index - 87
eISSN - 1098-111X
pISSN - 0884-8173
DOI - 10.1002/int.20007
Subject(s) - petri net , workflow , computer science , inference , temporal logic , temporal database , scheduling (production processes) , interval temporal logic , workflow management system , data mining , set (abstract data type) , process architecture , artificial intelligence , theoretical computer science , distributed computing , programming language , database , mathematics , mathematical optimization
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.