Java PTNetMemory.addPlace Examples

Example #1

File: Process.java Project: blacklensama/1709

 public void addPlace(CustomedPlace fp) {
   if (ptnet.addPlace(fp)) {
     if (null == pTNetMem) return;
     else pTNetMem.addPlace(fp);
   }
 }