c.add(a[i]);
}
p.setActivities(c);
List tr = new ArrayList();
TransitionDefinitionLocal[] t = new TransitionDefinitionLocal[12];
t[0]= new TransitionDefinitionLocal
(p.key(),"0","0",0,a[0],a[1],Transition.COND_TYPE_CONDITION,null);
t[1]= new TransitionDefinitionLocal
(p.key(),"1","1",0,a[0],a[2],Transition.COND_TYPE_CONDITION,null);
t[2]= new TransitionDefinitionLocal
(p.key(),"2","2",0,a[1],a[3],Transition.COND_TYPE_CONDITION,null);
t[3]= new TransitionDefinitionLocal
(p.key(),"3","3",0,a[1],a[4],Transition.COND_TYPE_CONDITION,null);
t[4]= new TransitionDefinitionLocal
(p.key(),"4","4",0,a[2],a[4],Transition.COND_TYPE_CONDITION,null);
t[5]= new TransitionDefinitionLocal
(p.key(),"5","5",0,a[2],a[5],Transition.COND_TYPE_CONDITION,null);
t[6]= new TransitionDefinitionLocal
(p.key(),"6","6",0,a[3],a[6],Transition.COND_TYPE_CONDITION,null);
t[7]= new TransitionDefinitionLocal
(p.key(),"7","7",0,a[4],a[6],Transition.COND_TYPE_CONDITION,null);
t[8]= new TransitionDefinitionLocal
(p.key(),"8","8",0,a[4],a[7],Transition.COND_TYPE_CONDITION,null);
t[9]= new TransitionDefinitionLocal
(p.key(),"9","9",0,a[5],a[7],Transition.COND_TYPE_CONDITION,null);
t[10]= new TransitionDefinitionLocal
(p.key(),"10","10",0,a[6],a[8],Transition.COND_TYPE_CONDITION,null);
t[11]= new TransitionDefinitionLocal
(p.key(),"11","11",0,a[7],a[8],Transition.COND_TYPE_CONDITION,null);
for (int i = 0; i <12; i++) {
p.createTransition (t[i].id(), t[i].group(), t[i].order(),
t[i].from(), t[i].to());
}