Song, J.; Liu, G. Modeling and Analysis of Business Process Management Systems Using Timed Workflow Nets With Tables. Comput. Inform. 2024, 43, 1320–1351.