@SuppressWarnings("unused")
private void addArc(CustomedTransition t, CustomedPlace p) {
TransitionToPlace arc = new TransitionToPlace();
arc.p = p;
arc.t = t;
this.ttpList.put(String.valueOf(t.getId()) + "," + String.valueOf(p.getId()), arc);
}
private void addArc(CustomedTransition t, CustomedPlace p, CustomedCondition c) {
TransitionToPlace arc = new TransitionToPlace();
arc.con = c;
arc.p = p;
arc.t = t;
p.addInArc(arc);
this.ttpList.put(String.valueOf(t.getId()) + "," + String.valueOf(p.getId()), arc);
}