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

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

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

import java.util.Collection;

import de.invation.code.toval.types.Multiset;
import de.uni.freiburg.iig.telematik.sepia.mg.abstr.AbstractMarkingGraph;
import de.uni.freiburg.iig.telematik.sepia.petrinet.cpn.abstr.AbstractCPNMarking;

public abstract class AbstractCPNMarkingGraph, 
											  Y extends AbstractCPNMarkingGraphRelation> 

												extends AbstractMarkingGraph,X,Y> {
	
	private static final long serialVersionUID = -33599899300156648L;

	public AbstractCPNMarkingGraph() {
		super();
	}

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

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

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

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

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

}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy