Abstract: Refinement operation of workflow nets is provided in this paper for modeling and analyzing complex workflow, and then net language properties of refined workflow nets are discussed in this paper. Our results indicates that a refined workflow net is behavi

Key words: Workflow, Petri nets, Refinement, Net language