VAN DER AALST W M P. The application of Petri nets to workflow management[J]. Journal of Circuits, Systems, and Computers,1998,8(1):21-66.
[2]
VAN DER AALST W M P, VAN HEE K M, TER HOFSTEDE A H M, et al. Soundness of workflow nets:classification, decidability,and analysis[J]. Formal Aspects of Computing,2011,23(3):333-363.
