A Transformation Approach from Workflow Net to PERT Diagram Based on Invariants (1.State Key Laboratory for Novel Software Technology ,Department of Computer Science and Technology, Nanjing University,Nanjing,Jiangsu 210093,China; 2.Software Institute,Nanjing University,Nanjing,Jiangsu 210093,China)