• Home
• de.uni.freiburg.iig.telematik
• SEPIA
• 1.0.1
• source code
• PNTraverserFactory.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

de.uni.freiburg.iig.telematik.sepia.traversal.PNTraverserFactory Maven / Gradle / Ivy

package de.uni.freiburg.iig.telematik.sepia.traversal;

import de.uni.freiburg.iig.telematik.sepia.petrinet.abstr.AbstractFlowRelation;
import de.uni.freiburg.iig.telematik.sepia.petrinet.abstr.AbstractMarking;
import de.uni.freiburg.iig.telematik.sepia.petrinet.abstr.AbstractPetriNet;
import de.uni.freiburg.iig.telematik.sepia.petrinet.abstr.AbstractPlace;
import de.uni.freiburg.iig.telematik.sepia.petrinet.abstr.AbstractTransition;

public class PNTraverserFactory {
	
	public static 
, 
	   			   T extends AbstractTransition, 
	   			   F extends AbstractFlowRelation, 
	   			   M extends AbstractMarking, 
	   			   S extends Object>
	
	RandomPNTraverser createDefaultTraverser(AbstractPetriNet net){
		
		return new RandomPNTraverser(net);
	}
	
	public static 
, 
	   			   T extends AbstractTransition, 
	   			   F extends AbstractFlowRelation, 
	   			   M extends AbstractMarking, 
	   			   S extends Object>
	
	StochasticPNTraverser createStochasticTraverser(AbstractPetriNet net){
		
		return new StochasticPNTraverser(net);
	}
	

}