public class AcceptingPetriNetUtils
extends java.lang.Object
Constructor and Description |
---|
AcceptingPetriNetUtils() |
Modifier and Type | Method and Description |
---|---|
static org.processmining.acceptingpetrinet.models.AcceptingPetriNet |
cloneNet(org.processmining.acceptingpetrinet.models.AcceptingPetriNet origNet) |
static org.processmining.acceptingpetrinet.models.AcceptingPetriNet |
cloneNet(org.processmining.acceptingpetrinet.models.AcceptingPetriNet origNet,
java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,org.processmining.models.graphbased.directed.DirectedGraphElement> map) |
public static org.processmining.acceptingpetrinet.models.AcceptingPetriNet cloneNet(org.processmining.acceptingpetrinet.models.AcceptingPetriNet origNet, java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,org.processmining.models.graphbased.directed.DirectedGraphElement> map)
public static org.processmining.acceptingpetrinet.models.AcceptingPetriNet cloneNet(org.processmining.acceptingpetrinet.models.AcceptingPetriNet origNet)