de.uni.freiburg.iig.telematik.sepia.mg.cpn.CPNMarkingGraph Maven / Gradle / Ivy

Go to download
package de.uni.freiburg.iig.telematik.sepia.mg.cpn;

import de.uni.freiburg.iig.telematik.jagal.ts.Event;
import de.uni.freiburg.iig.telematik.sepia.petrinet.cpn.CPNMarking;

public class CPNMarkingGraph extends AbstractCPNMarkingGraph {

	private static final long serialVersionUID = 6659179547649096076L;

	public CPNMarkingGraph() {
		super();
	}

	public CPNMarkingGraph(String name) {
		super(name);
	}

	@Override
	protected Event createNewEvent(String name, String label) {
		return new Event(name, label);
	}

	@Override
	public CPNMarkingGraph createNewInstance() {
		return new CPNMarkingGraph();
	}

	@Override
	protected CPNMarkingGraphState createNewState(String name, CPNMarking element) {
		return new CPNMarkingGraphState(name, element);
	}

	@Override
	public CPNMarkingGraphRelation createNewTransitionRelation(CPNMarkingGraphState sourceState, CPNMarkingGraphState targetState) {
		return new CPNMarkingGraphRelation(sourceState, targetState);
	}
	
	@Override
	protected CPNMarkingGraphRelation createNewTransitionRelation(String sourceStateName, String targetStateName, String eventName) throws Exception {
		validateVertex(sourceStateName);
		validateVertex(targetStateName);
		validateEvent(eventName);
		return new CPNMarkingGraphRelation(getState(sourceStateName), getState(targetStateName), getEvent(eventName));
	}

}