Song, Jian, and Guanjun Liu. “Modeling and Analysis of Business Process Management Systems Using Timed Workflow Nets With Tables”. Computing and Informatics 43, no. 6 (December 31, 2024): 1320–1351. Accessed April 3, 2025. http://147.213.75.17/ojs/index.php/cai/article/view/2024_6_1320.