J. Song and G. Liu, “Modeling and Analysis of Business Process Management Systems Using Timed Workflow Nets with Tables”, Comput. Inform., vol. 43, no. 6, pp. 1320–1351, Dec. 2024.