public class PetriNetUtils
extends java.lang.Object
Constructor and Description |
---|
PetriNetUtils() |
Modifier and Type | Method and Description |
---|---|
static org.processmining.models.semantics.petrinet.Marking |
apply(org.processmining.models.semantics.petrinet.Marking marking,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> map) |
static java.util.Set<org.processmining.models.semantics.petrinet.Marking> |
apply(java.util.Set<org.processmining.models.semantics.petrinet.Marking> markings,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> map) |
static org.processmining.models.graphbased.directed.petrinet.Petrinet |
cloneNet(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeMap,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionMap) |
static org.processmining.models.graphbased.directed.petrinet.Petrinet |
cloneNet(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeMap,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionMap,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Arc,org.processmining.models.graphbased.directed.petrinet.elements.Arc> arcMap) |
public static org.processmining.models.graphbased.directed.petrinet.Petrinet cloneNet(org.processmining.models.graphbased.directed.petrinet.Petrinet net, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeMap, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionMap)
public static org.processmining.models.graphbased.directed.petrinet.Petrinet cloneNet(org.processmining.models.graphbased.directed.petrinet.Petrinet net, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeMap, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionMap, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Arc,org.processmining.models.graphbased.directed.petrinet.elements.Arc> arcMap)
public static org.processmining.models.semantics.petrinet.Marking apply(org.processmining.models.semantics.petrinet.Marking marking, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> map)
public static java.util.Set<org.processmining.models.semantics.petrinet.Marking> apply(java.util.Set<org.processmining.models.semantics.petrinet.Marking> markings, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> map)