@Deprecated
public class PetriNetUtils
extends java.lang.Object
Constructor and Description |
---|
PetriNetUtils()
Deprecated.
|
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)
Deprecated.
|
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)
Deprecated.
|
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)
Deprecated.
|
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.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)