structural semantics
1.Advanced components such as multiple instances task,cancel task,and task with transfer transition were provided by DWF_net,which could directly support complicated patterns. Every advanced component was mapped onto specific structural DWF_net with formal semantics.
