Song J, Liu G. Modeling and Analysis of Business Process Management Systems Using Timed Workflow Nets with Tables. Comput. Inform. [Internet]. 2024 Dec. 31 [cited 2025 Apr. 3];43(6):1320–1351. Available from: http://147.213.75.17/ojs/index.php/cai/article/view/2024_6_1320