7[1]Van der Aalst W M P,van Hee K M,Houben G J.Modelling and analysis workflow using a Petri_net based approach.Journal of Intelligent Information Systems,1998; 10 (2):131-158
8[3]Van der Aalst W M P.The application if Petri nets to Workflow management.The Journal of Circuits,Systems and Computer,1998;8(1):21-66
9[4]Van der Aslst W M P.Verification of workflow nets.In:editors Zema P A,Balbo G.Application and theory of Petri nets 1997,Volume 1248 of Lecture Notes in Computer Science,Berlin:Springer-Verlag,1997:407-426