Modifier and Type | Method and Description |
---|---|
org.processmining.models.graphbased.directed.petrinet.Petrinet |
ConvertRPSTNodeToPetriNetAlgorithm.apply(org.processmining.framework.plugin.PluginContext context,
PetriNetRPSTNode node,
ConvertRPSTNodeToPetriNetParameters parameters) |
Constructor and Description |
---|
ConvertRPSTNodeToPetriNetConnection(PetriNetRPSTNode node,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
ConvertRPSTNodeToPetriNetParameters parameters) |
Modifier and Type | Method and Description |
---|---|
PetriNetRPSTNode |
PetriNetRPST.getRoot() |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<PetriNetRPSTNode> |
PetriNetRPST.getChildren(PetriNetRPSTNode parent) |
java.util.Collection<PetriNetRPSTNode> |
PetriNetRPST.getNodes() |
edu.uci.ics.jung.graph.DirectedGraph<PetriNetRPSTNode,java.lang.String> |
PetriNetRPST.getTree() |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<PetriNetRPSTNode> |
PetriNetRPST.getChildren(PetriNetRPSTNode parent) |
void |
PetriNetRPST.setRoot(PetriNetRPSTNode root) |
Modifier and Type | Method and Description |
---|---|
void |
PetriNetRPST.setTree(edu.uci.ics.jung.graph.DirectedGraph<PetriNetRPSTNode,java.lang.String> tree) |
Constructor and Description |
---|
PetriNetRPST(java.lang.String name,
org.processmining.acceptingpetrinet.models.AcceptingPetriNet net,
edu.uci.ics.jung.graph.DirectedGraph<PetriNetRPSTNode,java.lang.String> tree,
PetriNetRPSTNode root) |
Constructor and Description |
---|
PetriNetRPST(java.lang.String name,
org.processmining.acceptingpetrinet.models.AcceptingPetriNet net,
edu.uci.ics.jung.graph.DirectedGraph<PetriNetRPSTNode,java.lang.String> tree,
PetriNetRPSTNode root) |
Modifier and Type | Method and Description |
---|---|
org.processmining.models.graphbased.directed.petrinet.Petrinet |
ConvertRPSTNodeToPetriNetPlugin.run(org.processmining.framework.plugin.PluginContext context,
PetriNetRPSTNode node,
ConvertRPSTNodeToPetriNetParameters parameters) |
org.processmining.models.graphbased.directed.petrinet.Petrinet |
ConvertRPSTNodeToPetriNetPlugin.runDefault(org.processmining.framework.plugin.PluginContext context,
PetriNetRPSTNode node) |
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 java.util.List<java.util.Collection<org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<?,?>>> |
BridgingUtils.bridging(java.util.List<PetriNetRPSTNode> nodes,
org.processmining.acceptingpetrinet.models.AcceptingPetriNet apn) |
Modifier and Type | Method and Description |
---|---|
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
PetriNetRPSTUtils.getEntryPlaces(java.util.List<PetriNetRPSTNode> nodes) |
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
PetriNetRPSTUtils.getExitPlaces(java.util.List<PetriNetRPSTNode> nodes) |