public class PetriNetRPSTUtils
extends java.lang.Object
Constructor and Description |
---|
PetriNetRPSTUtils() |
Modifier and Type | Method and Description |
---|---|
static PetriNetRPST |
cloneRPST(PetriNetRPST rpst) |
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getEntryPlaces(java.util.List<PetriNetRPSTNode> nodes) |
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getExitPlaces(java.util.List<PetriNetRPSTNode> nodes) |
public static PetriNetRPST cloneRPST(PetriNetRPST rpst)
public static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> getEntryPlaces(java.util.List<PetriNetRPSTNode> nodes)
public static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> getExitPlaces(java.util.List<PetriNetRPSTNode> nodes)