de.uni.freiburg.iig.telematik.sepia.mg.pt.PTMarkingGraphRelation Maven / Gradle / Ivy
package de.uni.freiburg.iig.telematik.sepia.mg.pt;
import de.uni.freiburg.iig.telematik.jagal.ts.Event;
import de.uni.freiburg.iig.telematik.sepia.petrinet.pt.PTMarking;
public class PTMarkingGraphRelation extends AbstractPTMarkingGraphRelation{
private static final long serialVersionUID = -2317692961792324586L;
public PTMarkingGraphRelation(PTMarkingGraphState source, PTMarkingGraphState target, Event event) {
super(source, target, event);
}
public PTMarkingGraphRelation(PTMarkingGraphState source, PTMarkingGraphState target) {
super(source, target);
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy