Linear Temporal Inference of Workflow Management Systems Based on Timed Petri Nets Models

In recent years 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. 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 paper, we use a timed Petri nets to represent workflows and introduce a set of linear inference algorithms for the quantitative analysis of temporal constraints of workflows. We apply our models to the analysis of several workflow patterns.

[1]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

[2]  Y. Yao,et al.  A Petri Net Model for Temporal Knowledge Representation and Reasoning , 1994, IEEE Trans. Syst. Man Cybern. Syst..

[3]  Michael D. Zisman,et al.  Representation, specification and automation of office procedures , 1977 .

[4]  Jan Verelst,et al.  Techniques for Modeling Workflows and Their Support of Reuse , 2000, Business Process Management.

[5]  Wil M. P. van der Aalst,et al.  Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques , 2000, Business Process Management.

[6]  Wil M. P. van der Aalst,et al.  Verification Of Workflow Task Structures: A Petri-net-baset Approach , 2000, Inf. Syst..

[7]  Wil M. P. van der Aalst,et al.  Advanced Workflow Patterns , 2000, CoopIS.

[8]  Vijayalakshmi Atluri,et al.  Modeling and Analysis of Workflows Using Petri Nets , 1998, Journal of Intelligent Information Systems.

[9]  Dan C. Marinescu.  Internet Based Workflow Management: Towards a Semantic Web , 2002 .

[10]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[11]  Giampio Bracchi,et al.  The design requirements of office systems , 1984, TOIS.

[12]  Yi Zhou,et al.  Fuzzy-timing Petri net model for distributed multimedia synchronization , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[13]  Thomas Schael,et al.  Workflow Management Systems for Process Organisations , 1998, Lecture Notes in Computer Science.

[14]  Clarence A. Ellis,et al.  Modeling and Enactment of Workflow Systems , 1993, Application and Theory of Petri Nets.

[15]  Wil M.P. van der Aalst,et al.  Three good reasons for using a Petri-net-based workflow management system , 1996 .