Return to Article Details Guard-Function-Constraint-Based Refinement Method to Generate Dynamic Behaviors of Workflow Net with Table Download Download PDF