the question extends from the topic http://www.jboss.com/index.html?module=bb&op=viewtopic&p=4161939#... Fork generates the childToken from the ParentToken,and the ParentToken always stays in the Fork. And the Join cannot have different Fork's Transition into it. Why refers to the Petri-Net's Token? When Fork generates the new ChildToken ,then kill the ParentToken? I just have this idea,but i don't know the feasibility! If this can ,i think this will deal with lots of complex synchronizing scenarios View the original post : http://www.jboss.com/index.html?module=bb&op=viewtopic&p=4166056#... Reply to the post : http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&a...