All Downloads are FREE. Search and download functionalities are using the official Maven repository.

de.uni.freiburg.iig.telematik.sepia.mg.pt.AbstractPTMarkingGraph Maven / Gradle / Ivy

package de.uni.freiburg.iig.telematik.sepia.mg.pt;

import java.util.Collection;

import de.uni.freiburg.iig.telematik.sepia.mg.abstr.AbstractMarkingGraph;
import de.uni.freiburg.iig.telematik.sepia.petrinet.pt.abstr.AbstractPTMarking;

public abstract class AbstractPTMarkingGraph, 
											 R extends AbstractPTMarkingGraphRelation> 

											   extends AbstractMarkingGraph {

	private static final long serialVersionUID = 5037378617375529917L;

	public AbstractPTMarkingGraph() {
		super();
	}

	public AbstractPTMarkingGraph(Collection states, Collection events) {
		super(states, events);
	}

	public AbstractPTMarkingGraph(Collection states) {
		super(states);
	}

	public AbstractPTMarkingGraph(String name, Collection states, Collection events) {
		super(name, states, events);
	}

	public AbstractPTMarkingGraph(String name, Collection states) {
		super(name, states);
	}

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

}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy