Modifier and Type | Method and Description |
---|---|
PetriNetRPST |
GenerateRPSTFromPetriNetAlgorithm.apply(org.processmining.framework.plugin.PluginContext context,
org.processmining.acceptingpetrinet.models.AcceptingPetriNet apn,
GenerateRPSTFromPetriNetParameters parameters) |
Constructor and Description |
---|
GenerateRPSTFromAcceptingPetriNetConnection(org.processmining.acceptingpetrinet.models.AcceptingPetriNet net,
PetriNetRPST rpst,
GenerateRPSTFromPetriNetParameters parameters) |
Modifier and Type | Method and Description |
---|---|
PetriNetRPST |
GenerateRPSTFromPetriNetPlugin.run(org.processmining.framework.plugin.PluginContext context,
org.processmining.acceptingpetrinet.models.AcceptingPetriNet apn,
GenerateRPSTFromPetriNetParameters parameters) |
PetriNetRPST |
GenerateRPSTFromPetriNetPlugin.runDefault(org.processmining.framework.plugin.PluginContext context,
org.processmining.acceptingpetrinet.models.AcceptingPetriNet net) |
Modifier and Type | Method and Description |
---|---|
static java.util.List<PetriNetRPSTNode> |
PartitioningUtils.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.
|
Modifier and Type | Method and Description |
---|---|
static PetriNetRPST |
PetriNetRPSTUtils.cloneRPST(PetriNetRPST rpst) |
Modifier and Type | Method and Description |
---|---|
static PetriNetRPST |
PetriNetRPSTUtils.cloneRPST(PetriNetRPST rpst) |