Ejemplo n.º 1
0
 public boolean tokenArrivePlace(int placeId, Token token) {
   Place p;
   if (null == ptnet) return false;
   if (null == scheduler) return false;
   if (null == (p = lookupPlace(placeId))) return false;
   if (!scheduler.tokenArrivePlace(p, token)) {
     return false;
   }
   return true;
 }