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);
}
