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