public class PetriNetUtils
extends java.lang.Object
Constructor and Description |
---|
PetriNetUtils() |
Modifier and Type | Method and Description |
---|---|
static java.util.Set<java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> |
getDuplicates(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getEndPlaces(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getInvTransitions(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getStartPlaces(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static org.processmining.models.graphbased.directed.petrinet.Petrinet |
newPetriNet(java.lang.String name,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> places,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> trans,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Arc> arcs,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.models.graphbased.directed.petrinet.PetrinetNode> map) |
public static org.processmining.models.graphbased.directed.petrinet.Petrinet newPetriNet(java.lang.String name, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> places, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> trans, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Arc> arcs, java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.models.graphbased.directed.petrinet.PetrinetNode> map)
public static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getInvTransitions(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public static java.util.Set<java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> getDuplicates(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> getStartPlaces(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> getEndPlaces(org.processmining.models.graphbased.directed.petrinet.Petrinet net)