3Reichert M,Bauer T,et al.Enterprise-wide and crossenterprise workflow management challenges and research issues for adaptive workfiows[C]//Proc of the Informatik'99 Workshop of Enterprise Wide and Cross-Enterprise Workflow Management.Berlin:Springer,1999:56-64.
4van der Aalst Wil M P.Workflow verification:Finding control-flow errors using Petri net-based techniques[c] // Aalst W,Desel J,Oberweis A.Business Process Management.Berlin:Springer,2000:161-183.
5van der Aalst Wil M P,Hirnschall A,et al.An alternative way to analyze workflow graphs[C] //Banks Pidduck A,Mylopoulos J,et al.Proc of the 14th Int Conf of Advanced Information Systems Engineering.Berlin:Springer,2002,535-552.
6Sadiq W,Orlowaka M.Analyzing process models using graph reduction techniques[J].Information Systems,2000,25(2):117-134.
7Bi H,Zhao J.Applying propositional logic to workflow verification[J].Information Technology and Management:Special Issue on Workflow and E-business,2004,5 (3/4) 293-318.
8Choi Y,Zhao J.Matrix2 based abstraction and verification for E-Business processes[C] //Proc of the 1st Workshop on E-Business.Berlin:Springer,2002:154-165.
9van der Aalst Wil M P.Verification of workflow nets[C]// Azema P.Application and Theory of Petri Nets 1997,LNCS 1248.Berlin:Springer,1997,407-426.
10]ter Hofstede A H M,Orlowska M E,Rajapakses J.Verification problems in conceptual workflow specifications[C]//Thalheim B.Proc of the 15th lnt Conf on Conceptual ModeLing (ER'96),LNCS 1157.Berlin:Springer,1996:73-88.
