Analyzing Workflow Based on Restraints Using TLA

In this paper, a method for analyzing workflow based on the restriction of limited resources is presented, which is expressed by Temporal Logic Action, after a brief review of TLA Keywords-temporal logic; TLA fomulas; style; workflow model analysis

[1]  Yuan Wang,et al.  Using temporal logics for modeling and analysis of workflows , 2004, IEEE International Conference on E-Commerce Technology for Dynamic E-Business.

[2]  Abbas K. Zaidi,et al.  On temporal logic programming using Petri nets , 1999, IEEE Trans. Syst. Man Cybern. Part A.

[3]  Leslie Lamport,et al.  The temporal logic of actions , 1994, TOPL.

[4]  Keith Baker.  Specifying the system , 1980, Microprocess. Microsystems.