4Van der Aalst W M P. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computer, 1998, 8(I): 21-26.
5Van dcr Aalst W M P. Verification of Workflow Nets. Application and Theory of Petri Nets. Berlin: Lecture Notes in Computer Science,Springer-verlag, 1997, (1248), 407-426.