Song, J.; Xiang, D.; Liu, G.; He, L. Guard-Function-Constraint-Based Refinement Method to Generate Dynamic Behaviors of Workflow Net With Table. Comput. Inform. 2022, 41, 1025–1053.