public class WorkflowNetUtils
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static Place |
getInputPlace(Petrinet net)
Returns the input place of this net.
|
static Place |
getOutputPlace(Petrinet net)
Returns the output place of this net.
|
static java.util.SortedSet<Place> |
getSinkPlaces(Petrinet net)
Returns the set of sink places of this net.
|
static java.util.SortedSet<Place> |
getSourcePlaces(Petrinet net)
Returns the set of source places of this net.
|
static java.util.SortedSet<PetrinetNode> |
getUnconnectedNodes(Petrinet net)
Returns the set of unconnected nodes of this net.
|
static boolean |
isValidWFNet(Petrinet net)
This method checks whether:
1) There is exactly one input place,
2) there is exactly one output place,
3) all nodes are on a path from the input place to the output place.
|
static java.lang.Object[] |
shortCircuit(org.processmining.framework.plugin.PluginContext context,
Petrinet net) |
public static boolean isValidWFNet(Petrinet net)
net
- the net to be checked for being a valid WF netpublic static Place getInputPlace(Petrinet net)
net
- the net of which the input place is requestedpublic static Place getOutputPlace(Petrinet net)
net
- the net of which the output place is requestedpublic static java.util.SortedSet<Place> getSourcePlaces(Petrinet net)
net
- the net of which the set of source places is requestedpublic static java.util.SortedSet<Place> getSinkPlaces(Petrinet net)
net
- the net of which the set of sink places is requestedpublic static java.util.SortedSet<PetrinetNode> getUnconnectedNodes(Petrinet net)
net
- the net of which the set of unconnected nodes is requestedpublic static java.lang.Object[] shortCircuit(org.processmining.framework.plugin.PluginContext context, Petrinet net)