public bool removePlace(Scr_Place target) { if (placeList.Contains(target)) { placeList.Remove(target); return(true); } else { return(false); } }
public void execCycle() { for (int i = 0; i < placeList.Count; i++) { Scr_Place p = placeList[i]; p.checkReady(); } for (int i = 0; i < transitionList.Count; i++) { Scr_Transition t = transitionList[i]; t.checkReady(); } for (int i = 0; i < transitionList.Count; i++) { Scr_Transition t = transitionList[i]; if (t.isReady()) { t.fire(); } } }
//places public void insertPlace(Scr_Place p) { placeList.Add(p); }