J. Song, D. Xiang, G. Liu, and L. He, “Guard-Function-Constraint-Based Refinement Method to Generate Dynamic Behaviors of Workflow Net with Table”, Comput. Inform., vol. 41, no. 4, pp. 1025–1053, Nov. 2022.