org.processmining.workflownetanalyzer.plugins

Class WorkflowNetAnalyzerUtils

java.lang.Object

org.processmining.workflownetanalyzer.plugins.WorkflowNetAnalyzerUtils

public class WorkflowNetAnalyzerUtils
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
WorkflowNetAnalyzerUtils()

Method Summary

Modifier and Type	Method and Description
static java.util.List<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>	extractPredecessors(org.processmining.models.graphbased.directed.petrinet.Petrinet input_net, org.processmining.models.graphbased.directed.DirectedGraphNode t) Returns the predecessors of the given node in the petri net, i.e.
static java.util.List<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>	extractSuccessors(org.processmining.models.graphbased.directed.petrinet.Petrinet input_net, org.processmining.models.graphbased.directed.DirectedGraphNode t) Returns the successors of the given node in the petri net, i.e.
static java.util.Map<org.processmining.workflownetanalyzer.plugins.WorkflowNetAnalyzer.Timestamp,WorkflowNetAnalyzerResult>	getExpectedDurationsForMarkings(org.processmining.models.graphbased.directed.petrinet.StochasticNet input_net, java.util.Collection<org.processmining.models.semantics.petrinet.Marking> initialMarkings)
static org.processmining.models.graphbased.directed.petrinet.StochasticNet	importStochasticNetFromFilePath(java.lang.String filepath)
static java.util.Optional<java.util.ArrayDeque<org.processmining.models.graphbased.directed.DirectedGraphNode>>	topologicalSort(org.processmining.models.graphbased.directed.petrinet.Petrinet input_net) Returns the topological ordering of the underlying graph of the given petrinet, where transitions and places are both graph nodes
static java.util.Optional<java.util.ArrayDeque<org.processmining.models.graphbased.directed.DirectedGraphNode>>	topologicalSort(org.processmining.models.graphbased.directed.petrinet.Petrinet input_net, org.processmining.models.graphbased.directed.DirectedGraphNode start_place) Returns the topological ordering of the underlying graph of the given petrinet, where transitions and places are both graph nodes

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

WorkflowNetAnalyzerUtils

public WorkflowNetAnalyzerUtils()

Method Detail

importStochasticNetFromFilePath

public static org.processmining.models.graphbased.directed.petrinet.StochasticNet importStochasticNetFromFilePath(java.lang.String filepath)
                                                                                                           throws java.lang.Exception

Throws:

java.lang.Exception

topologicalSort

public static java.util.Optional<java.util.ArrayDeque<org.processmining.models.graphbased.directed.DirectedGraphNode>> topologicalSort(org.processmining.models.graphbased.directed.petrinet.Petrinet input_net)

Returns the topological ordering of the underlying graph of the given petrinet, where transitions and places are both graph nodes

Parameters:

input_net - The petri net

Returns:

Either false if the petrinet is cyclic, or a hashmap that maps DirectedGraphNodes to their order numbers if the petrinet is not cyclic

topologicalSort

public static java.util.Optional<java.util.ArrayDeque<org.processmining.models.graphbased.directed.DirectedGraphNode>> topologicalSort(org.processmining.models.graphbased.directed.petrinet.Petrinet input_net,
                                                                                                                                       org.processmining.models.graphbased.directed.DirectedGraphNode start_place)

Returns the topological ordering of the underlying graph of the given petrinet, where transitions and places are both graph nodes

Parameters:

input_net - The petri net

Returns:

Either false if the petrinet is cyclic, or a hashmap that maps DirectedGraphNodes to their order numbers if the petrinet is not cyclic

extractPredecessors

public static java.util.List<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode> extractPredecessors(org.processmining.models.graphbased.directed.petrinet.Petrinet input_net,
                                                                                                                               org.processmining.models.graphbased.directed.DirectedGraphNode t)

Returns the predecessors of the given node in the petri net, i.e. if the given node is a place, the predecessors will be transitions, and vice versa

Parameters:

input_net - A stochastic petri net that contains the node t

t - A node (transition or place) in the input net

Returns:

A list of predecessors of the given node

extractSuccessors

public static java.util.List<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode> extractSuccessors(org.processmining.models.graphbased.directed.petrinet.Petrinet input_net,
                                                                                                                             org.processmining.models.graphbased.directed.DirectedGraphNode t)

Returns the successors of the given node in the petri net, i.e. if the given node is a place, the successors will be transitions, and vice versa

Parameters:

input_net - A stochastic petri net that contains the node t

t - A node (transition or place) in the input net

Returns:

A list of successors of the given node

getExpectedDurationsForMarkings

public static java.util.Map<org.processmining.workflownetanalyzer.plugins.WorkflowNetAnalyzer.Timestamp,WorkflowNetAnalyzerResult> getExpectedDurationsForMarkings(org.processmining.models.graphbased.directed.petrinet.StochasticNet input_net,
                                                                                                                                                                   java.util.Collection<org.processmining.models.semantics.petrinet.Marking> initialMarkings)

Parameters:

input_net - the input net

initialMarkings - a collection of markings for which the expected remaining time should be computed

Returns:

a map that maps each initial marking to a workflownetanalyzerresult containing the remaining expected time from the marking