public class PartitioningUtils
extends java.lang.Object
Constructor and Description |
---|
PartitioningUtils() |
Modifier and Type | Method and Description |
---|---|
static java.util.List<PetriNetRPSTNode> |
partitioning(PetriNetRPST rpst,
int maxSize,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> unsplittables)
Return a set of RPST Nodes with the largest number of arcs below a given
threshold, such that the set represents a partition over the edges of the
original Petri net (if the RPST has not been modified), i.e., all edges of
the petri net belong to one node, and only one.
|
public static java.util.List<PetriNetRPSTNode> partitioning(PetriNetRPST rpst, int maxSize, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> unsplittables)
rpst
- RPSTmaxSize
- The nodes returned have a number of arcs assigned at most as large as the given threshold.