Ejemplo n.º 1
0
 public boolean tokenArrive(int placeId, Form form) {
   if (null == ptnet) return false;
   if (null == scheduler) return false;
   scheduler.start();
   status = Status.RUNNING;
   if (!scheduler.initializePlace(lookupPlace(placeId), new ForwardToken(tokenCount++, form)))
     return false;
   return true;
 }