Ejemplo n.º 1
0
 public boolean transitionComplete(int transitionId, Form form) {
   Transition t;
   if (null == ptnet) return false;
   if (null == scheduler) return false;
   if (null == (t = lookupTransition(transitionId))) return false;
   if (!scheduler.transitionProcess(t, new ForwardToken(tokenCount++, form))) return false;
   return true;
 }